private int CheckCondition(string condition, int i)
{
var conc = ConclusionClass.CheckIfStringIsFact(condition, _bases.FactBase.FactList);
//TODO:trzeba sprawdzic metodę która sprawdza czy string jest faktem
if (conc)
{
i++;
}
else
{
var value = ConclusionClass.FindConditionsOrReturnNull
(condition, _bases.RuleBase.RulesList);
if (value == null)
{
if (IsModel(condition) == false)
{
_viewModel.AskingForwardRuleValueMethod(condition);
i++;
}
else
{
if ((bool)_modelActions.ProcessModel(condition)) //todo: może byc jakiś problem
{
i++;
}
//todo:jeszcze trzeba będzie przelecieć przez
}
}
}
return(i);
}
public void Forward()
{
_bases.FactBase.FactList = new List <Fact>();
_bases.FactBase.ReadFacts(_viewModel.CurrentRuleBasePath); //todo: powinno zaladować fakty
try
{
foreach (var constrain in _bases.ConstrainBase.ConstrainList)
{
_constrainActions.AskForConstrainValue(constrain);
}
allConcrete = false;
while (allConcrete == false)
{
ReportConclusionResult();
foreach (var rule in _bases.RuleBase.RulesList)
{
// _conclusion.FindHelpfulAssets(rule);
bool isFact = ConclusionClass.CheckIfStringIsFact(rule.Conclusion, _bases.FactBase.FactList);
if (isFact == false)
{
int i = 0;
foreach (var condition in rule.Conditions)
{
i = CheckCondition(condition, i);
}
if (i == rule.Conditions.Count)
{
InputResult(rule);
break;
}
}
}
if (AskedConditions() == _bases.FactBase.FactList.Count)
{
allConcrete = true;
}
}
MessageBox.Show("Koniec wnioskowania wprzód na \n konsoli znajdują się jego rezultaty");
}
catch (ApplicationException ex)
{
MessageBox.Show("Wnioskowanie przerwane");
_viewModel.ExceptionValue = false;
}
}
private bool CheckStartCondition(string startCondition)
{
if (startCondition != _config.NoConditionInModel)
{
bool value = ConclusionClass.CheckIfStringIsFact(startCondition, bases.ModelsBase.ModelFactList);
if (value)
{
return(true);
}
var rules = ConclusionClass.FindRulesWithParticularConclusion(startCondition,
bases.RuleBase.RulesList);
var models = FindModels(startCondition);
//todo:trzeba sprawdzic jeszcze modele relacyjne
if (rules.Count == 0)
{
if (!models.Any())
{
return(viewModel.AskingStartConditionValue(startCondition));
}
}
if (!rules.Any())
{
foreach (var rule in rules)
{
bool startConditionValue = conclusionClass.BackwardConclude(rule);
if (startConditionValue)
{
return(true);
}
}
}
if (!models.Any())
{
bool startConditionValue = (bool)ProcessModel(startCondition);
if (startConditionValue)
{
return(true);
}
}
return(false);
}
return(true);
}