protected static void lovesAnimalDemo(InferenceProcedure ip)
{
StandardizeApartIndexicalFactory.flush();
FOLKnowledgeBase kb = FOLKnowledgeBaseFactory.createLovesAnimalKnowledgeBase(ip);
string kbStr = kb.ToString();
ICollection <Term> terms = CollectionFactory.CreateQueue <Term>();
terms.Add(new Constant("Curiosity"));
terms.Add(new Constant("Tuna"));
Predicate query = new Predicate("Kills", terms);
InferenceResult answer = kb.ask(query);
System.Console.WriteLine("Loves Animal Knowledge Base:");
System.Console.WriteLine(kbStr);
System.Console.WriteLine("Query: " + query);
foreach (Proof p in answer.getProofs())
{
System.Console.Write(ProofPrinter.printProof(p));
System.Console.WriteLine("");
}
}
/**
* Utility method for outputting InferenceResults in a formatted textual
* representation.
*
* @param ir
* an InferenceResult
* @return a String representation of the InferenceResult.
*/
public static String printInferenceResult(InferenceResult ir)
{
StringBuilder sb = new StringBuilder();
sb.Append("InferenceResult.isTrue=" + ir.isTrue());
sb.Append("\n");
sb.Append("InferenceResult.isPossiblyFalse=" + ir.isPossiblyFalse());
sb.Append("\n");
sb.Append("InferenceResult.isUnknownDueToTimeout="
+ ir.isUnknownDueToTimeout());
sb.Append("\n");
sb.Append("InferenceResult.isPartialResultDueToTimeout="
+ ir.isPartialResultDueToTimeout());
sb.Append("\n");
sb.Append("InferenceResult.#Proofs=" + ir.getProofs().Count);
sb.Append("\n");
int proofNo = 0;
List <Proof> proofs = ir.getProofs();
foreach (Proof p in proofs)
{
proofNo++;
sb.Append("InferenceResult.Proof#" + proofNo + "=\n"
+ ProofPrinter.printProof(p));
}
return(sb.ToString());
}
private static void kingsDemo1(InferenceProcedure ip)
{
StandardizeApartIndexicalFactory.flush();
FOLKnowledgeBase kb = FOLKnowledgeBaseFactory
.createKingsKnowledgeBase(ip);
String kbStr = kb.ToString();
List <Term> terms = new List <Term>();
terms.Add(new Constant("John"));
Predicate query = new Predicate("Evil", terms);
InferenceResult answer = kb.ask(query);
System.Console.WriteLine("Kings Knowledge Base:");
System.Console.WriteLine(kbStr);
System.Console.WriteLine("Query: " + query);
foreach (Proof p in answer.getProofs())
{
System.Console.Write(ProofPrinter.printProof(p));
System.Console.WriteLine("");
}
}
public List <string> GetProof(InferenceResult result)
{
var toReturn = new List <string>();
Iterator terator = result.getProofs().iterator();
while (terator.hasNext())
{
toReturn.AddRange(ProofPrinter.printProof((Proof)terator.next()).Split(new string[] { "\r\n", "\n" }, StringSplitOptions.RemoveEmptyEntries));
}
return(toReturn);
}
protected static void abcEqualityNoAxiomDemo(InferenceProcedure ip)
{
StandardizeApartIndexicalFactory.flush();
FOLKnowledgeBase kb = FOLKnowledgeBaseFactory.createABCEqualityKnowledgeBase(ip, false);
string kbStr = kb.ToString();
TermEquality query = new TermEquality(new Constant("A"), new Constant("C"));
InferenceResult answer = kb.ask(query);
System.Console.WriteLine("ABC Equality No Axiom Knowledge Base:");
System.Console.WriteLine(kbStr);
System.Console.WriteLine("Query: " + query);
foreach (Proof p in answer.getProofs())
{
System.Console.Write(ProofPrinter.printProof(p));
System.Console.WriteLine("");
}
}
protected static void weaponsDemo(InferenceProcedure ip)
{
StandardizeApartIndexicalFactory.flush();
FOLKnowledgeBase kb = FOLKnowledgeBaseFactory.createWeaponsKnowledgeBase(ip);
string kbStr = kb.ToString();
ICollection <Term> terms = CollectionFactory.CreateQueue <Term>();
terms.Add(new Variable("x"));
Predicate query = new Predicate("Criminal", terms);
InferenceResult answer = kb.ask(query);
System.Console.WriteLine("Weapons Knowledge Base:");
System.Console.WriteLine(kbStr);
System.Console.WriteLine("Query: " + query);
foreach (Proof p in answer.getProofs())
{
System.Console.Write(ProofPrinter.printProof(p));
System.Console.WriteLine("");
}
}
/**
* Utility method for outputting InferenceResults in a formatted textual
* representation.
*
* @param ir
* an InferenceResult
* @return a string representation of the InferenceResult.
*/
public static string printInferenceResult(InferenceResult ir)
{
IStringBuilder sb = TextFactory.CreateStringBuilder();
sb.Append("InferenceResult.isTrue=" + ir.isTrue());
sb.Append("\n");
sb.Append("InferenceResult.isPossiblyFalse=" + ir.isPossiblyFalse());
sb.Append("\n");
sb.Append("InferenceResult.isUnknownDueToTimeout=" + ir.isUnknownDueToTimeout());
sb.Append("\n");
sb.Append("InferenceResult.isPartialResultDueToTimeout=" + ir.isPartialResultDueToTimeout());
sb.Append("\n");
sb.Append("InferenceResult.#Proofs=" + ir.getProofs().Size());
sb.Append("\n");
int proofNo = 0;
foreach (Proof p in ir.getProofs())
{
proofNo++;
sb.Append("InferenceResult.Proof#" + proofNo + "=\n" + ProofPrinter.printProof(p));
}
return(sb.ToString());
}