public void TestMethod1()
        {
            bases.RuleBase.ReadRules("REstudent.BED");

            ConclusionClass conclusionClass = new ConclusionClass(bases, _viewModel);

            conclusionClass.BackwardConclude(bases.RuleBase.RulesList[3]);
        }
Exemple #2
0
        public void BackwardConcludeAction(Rule rule)
        {
            _bases.FactBase     = _bases.OrginalFactBase;
            _bases.ArgumentBase = _bases.OrginalArgumentBase;



            conclusion.BackwardConclude(rule);
        }