//TODO: create a better name public bool PlResolution(string kbs, string alphaString) { KnowledgeBase kb = new KnowledgeBase(); kb.Tell(kbs); Sentence alpha = (Sentence) new PEParser().Parse(alphaString); return(this.PlResolution(kb, alpha)); }
public Sentence AsSentence() { ISet <Symbol> Asyms = GetAssignedSymbols(); KnowledgeBase tempKB = new KnowledgeBase(); if (Asyms == null) { Console.WriteLine("ERR: AsSentence() Asyms is null!!!"); } else { Console.WriteLine("DBG: Asyms.Count={0}", Asyms.Count); } foreach (Symbol k in Asyms) { try { if (IsTrue(k)) { tempKB.Tell("(" + k.Value + ")"); } else { tempKB.Tell("(NOT " + k.Value + ")"); } } catch (Exception e) { Console.WriteLine("ERR: AsSentence() ", e.Message, e.StackTrace); } } if (tempKB.Size() == 0) { Console.WriteLine("ERR: AsSentence() tempKB.Size==0"); } return(tempKB.AsSentence()); }