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 void ConjunctionNormalForm_IsCorrectWithSingleFact()
{
// Arrange
var singleFact = new LogicFact(SocketDomain.Color, "value", LogicOperation.Operation.None, true);
var singleRules = new LogicRule();
singleRules.AddLast(singleFact);
// Act
var cnfStatement = LogicRule.ConjunctionNormalFrom(singleRules);
// Assert
Assert.True(singleFact.Equals(cnfStatement.First.Value), "Исходный факт не соответствует полученному");
}
public void ConjunctionNormalForm_IsCorrectWithDisjunction()
{
// Arrange
var disjunctionFactA = new LogicFact(SocketDomain.Color, "valueA", LogicOperation.Operation.Disjunction);
var disjunctionFactB = new LogicFact(SocketDomain.HousingColor, "valueB", LogicOperation.Operation.None);
var disjunctionRules = new LogicRule();
disjunctionRules.AddLast(disjunctionFactA);
disjunctionRules.AddLast(disjunctionFactB);
// Act
disjunctionRules = LogicRule.ConjunctionNormalFrom(disjunctionRules);
Assert.True(disjunctionFactA.Equals(disjunctionRules.First.Value));
Assert.True(disjunctionFactB.Equals(disjunctionRules.Last.Value));
}
public void ConjunctionNormalForm_IsCorrectWithImplication()
{
var implicationFactA = new LogicFact(SocketDomain.Material, "valueA", LogicOperation.Operation.Conjunction);
var implicationFactB =
new LogicFact(SocketDomain.HousingMaterial, "valueB", LogicOperation.Operation.Implication);
var implicationResult = new LogicFact(SocketDomain.SocketName, "valueC", LogicOperation.Operation.None);
var implicationRules = new LogicRule();
implicationRules.AddLast(implicationFactA);
implicationRules.AddLast(implicationFactB);
implicationRules.AddLast(implicationResult);
implicationRules = LogicRule.ConjunctionNormalFrom(implicationRules);
var cnfImplicationFactA =
new LogicFact(SocketDomain.Material, "valueA", LogicOperation.Operation.Disjunction, true);
var cnfImplicationFactB = new LogicFact(SocketDomain.HousingMaterial, "valueB",
LogicOperation.Operation.Disjunction, true);
Assert.True(cnfImplicationFactA.Equals(implicationRules.First.Value));
Assert.True(cnfImplicationFactB.Equals(implicationRules.First?.Next?.Value));
Assert.True(implicationResult.Equals(implicationRules.Last.Value));
}