Я пытаюсь научиться использовать кодирование для представления логических знаний и, в конечном итоге, ML/AI.
Я всегда получаю одну и ту же ошибку: формула не закрыта. понять, где проблема в моем Код. < /p>
Вот код: < /p>
public class SimpleFolExample {
public static void main(String[] args) throws ParserException, IOException {
// Create FOL signature
FolSignature signature = new FolSignature(true);
// Add sorts
// Add sorts
Sort sortPerson = new Sort("Person");
signature.add(sortPerson);
// Add constants
Constant alice = new Constant("Alice", sortPerson);
Constant bob = new Constant("Bob", sortPerson);
Constant James = new Constant("James", sortPerson);
signature.add(alice, bob, James);
// Add predicates
// Add predicates
List personPredicateSorts = new ArrayList();
personPredicateSorts.add(sortPerson);
Predicate person = new Predicate("Person", personPredicateSorts);
signature.add(person); // Add predicates to the signature
// Add the 'Knows' predicate (assuming it relates persons)
List knowsPredicateSorts = new ArrayList();
knowsPredicateSorts.add(sortPerson);
knowsPredicateSorts.add(sortPerson);
Predicate knows = new Predicate("Knows", knowsPredicateSorts);
signature.add(knows);
// Display the signature
System.out.println("Signature: " + signature);
// Parse formulas using the signature
FolParser parser = new FolParser();
parser.setSignature(signature); // Set the FOL signature for the parser
FolBeliefSet beliefSet = new FolBeliefSet();
FolFormula f1 = (FolFormula) parser.parseFormula("Knows(Alice, Bob)");
FolFormula f2 = (FolFormula) parser.parseFormula("Knows(Bob, James)");
beliefSet.add(f1, f2);
System.out.println("\nParsed Belief Base: " + beliefSet);
// Use the reasoner to query the knowledge base
FolReasoner.setDefaultReasoner(new SimpleFolReasoner());
FolReasoner prover = FolReasoner.getDefaultReasoner();
FolFormula query = (FolFormula) parser.parseFormula("exists X:(Knows(Alice, X))");
System.out.println("Query: " + query + "\nResult: " + prover.query(beliefSet, query));
}
}
< /code>
Вот ошибка: < /p>
Signature: [_Any = {}, Person = {Bob, Alice, James}], [==(_Any,_Any), /==(_Any,_Any), Person(Person), Knows(Person,Person)], []
Parsed Belief Base: { Knows(Bob,James), Knows(Alice,Bob) }
Exception in thread "main" java.lang.IllegalArgumentException: The given formula exists X: (Knows(Alice,X)) is not closed.
at org.tweetyproject.logics.fol.reasoner.SimpleFolReasoner.query(SimpleFolReasoner.java:45)
at org.tweetyproject.logics.fol.examples.SimpleFolExample.main(SimpleFolExample.java:82
Подробнее здесь: https://stackoverflow.com/questions/781 ... rder-logic
