private static void Modificator(ITypizedDecorArray <INode <double> > z, IList <double[]> inSample, IList <double> exactResult, int iterationCount)
{
var alg = new RegressionAlgorithm(z.A.Node, inSample, exactResult);
alg.Run(iterationCount);
z.A.Replace(alg.GetResult());
}
/// <summary>
/// Using resolution rule: A V B, C V !B |- A V C.
/// </summary>
/// <param name="z"></param>
private static void Modificator(ITypizedDecorArray<MultipleOr, SkolemPredicateNode, MultipleOr, SkolemPredicateNode> z)
{
var rules = UnificationService.GetUnificationRules(z.B.Node, z.D.Node);
UnificationService.Unificate(z.A.Node, rules);
UnificationService.Unificate(z.C.Node, rules);
var aChildren = z.A.Node.Children.ToList();
var cChildren = z.C.Node.Children.ToList();
aChildren.Remove(z.B.Node);
cChildren.Remove(z.D.Node);
z.A.Replace(new MultipleOr(aChildren.ToArray()));
z.C.Replace(new MultipleOr(cChildren.ToArray()));
}
/// <summary>
/// Using resolution rule: A V B, C V !B |- A V C.
/// </summary>
/// <param name="z"></param>
private static void Modificator(ITypizedDecorArray <MultipleOr, SkolemPredicateNode, MultipleOr, SkolemPredicateNode> z)
{
var rules = UnificationService.GetUnificationRules(z.B.Node, z.D.Node);
UnificationService.Unificate(z.A.Node, rules);
UnificationService.Unificate(z.C.Node, rules);
var aChildren = z.A.Node.Children.ToList();
var cChildren = z.C.Node.Children.ToList();
aChildren.Remove(z.B.Node);
cChildren.Remove(z.D.Node);
z.A.Replace(new MultipleOr(aChildren.ToArray()));
z.C.Replace(new MultipleOr(cChildren.ToArray()));
}
private static void Modificator(ITypizedDecorArray<INode<double>> z, IList<double[]> inSample, IList<double> exactResult, int iterationCount)
{
var alg = new RegressionAlgorithm(z.A.Node, inSample, exactResult);
alg.Run(iterationCount);
z.A.Replace(alg.GetResult());
}
