C# (CSharp) AIMA.Core.Logic.Propositional.Algorithms PLResolution.plResolution Examples

plResolution() public method

public plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
kb	KnowledgeBase
alpha	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	bool

Example #1

File: PLResolutionTest.cs Project: PaulMineau/AIMA.Net

 public void testMultipleClauseResolution()
 {
     // test (and fix) suggested by Huy Dinh. Thanks Huy!
     PLResolution plr = new PLResolution();
     KnowledgeBase kb = new KnowledgeBase();
     String fact = "((B11 <=> (P12 OR P21)) AND (NOT B11))";
     kb.tell(fact);
     plr.plResolution(kb, "(B)");
 }