private bool Resolve(LogicFactSet statements, LogicFact result)
{
var currentStatements = new LogicFactSet();
// Если множество утверждений пусто - значит утверждение неверно
if (statements.Count == 0)
{
return(false);
}
var currentStatement = statements.First();
// Проверим, не найдено ли утверждение посылки
if (currentStatement.Count == 1 && currentStatement.First.Value.Equals(result))
{
return(true);
}
foreach (var statement in statements)
{
// Пропустим текущий элемент
if (statement == currentStatement)
{
continue;
}
// Проверим, не найдено ли утверждение посылки
if (statement.Count == 1 && statement.First.Value.Equals(result))
{
return(true);
}
foreach (var currentFact in currentStatement)
{
var domainExist = false;
foreach (var fact in statement)
{
if (fact.Domain == currentFact.Domain && fact.Negation != currentFact.Negation)
{
domainExist = true;
if (fact.Value.Equals(currentFact.Value))
{
currentStatements.Add(new LogicRule(statement.Where(p => !Equals(p, fact))));
}
break;
}
}
if (!domainExist)
{
currentStatements.Add(statement);
}
}
}
// Отладочный вывод
DebugWrite("".PadLeft(40, '-'));
DebugWrite(currentStatements.ToString());
return(Resolve(currentStatements, result));
}
public bool Processing(FactSet inputFacts, string socketName)
{
var statements = new LogicFactSet();
// Добавляем входные параметры, объединенные союзом "и"
var inputDomains = new List <SocketDomain>();
foreach (var inputFact in inputFacts.Facts.Where(p => !p.IsDefaultValue()))
{
inputDomains.Add(inputFact.Domain);
var logicInputFacts = new LogicRule();
logicInputFacts.AddLast(
new LogicFact(inputFact.Domain, inputFact.Value, LogicOperation.Operation.None));
statements.Add(logicInputFacts);
}
// Добавляем имеющиеся правила (отфильтрованные по входным св-м домена)
foreach (var factStatement in _rules)
{
var statementFiltered = new LogicRule(factStatement.Where(p => inputDomains.Contains(p.Domain)));
if (statementFiltered.Count == 0)
{
continue;
}
statementFiltered.Last.Value.RightOperation = LogicOperation.Operation.Implication;
statementFiltered.AddLast(factStatement.Last.Value);
statements.Add(statementFiltered);
}
// Добавляем отрицание утверждения
var socketNegation = new LogicRule();
socketNegation.AddLast(
new LogicFact(SocketDomain.SocketName, socketName, LogicOperation.Operation.None, true)
);
statements.Add(socketNegation);
// Выводим отладочную информацию первого шага
DebugWrite("".PadLeft(40, '-'));
DebugWrite("Начальная диспозиция: " + statements);
// Получаем конъюнктивную нормальную форму
var cnfStatements = new LogicFactSet();
foreach (var statement in statements)
{
cnfStatements.Add(LogicRule.ConjunctionNormalFrom(statement));
}
// Выводим отладочную информацию КНФ
DebugWrite("".PadLeft(40, '-'));
DebugWrite("Конъюнктивная нормальная форма: " + cnfStatements);
return(Resolve(
cnfStatements, new LogicFact(SocketDomain.SocketName, socketName, LogicOperation.Operation.None)
));
}
