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

plResolution() public méthode

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

Exemple #1

Fichier : PLResolutionTest.cs Projet : 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)");
 }