C# Class AIMA.Core.Logic.Propositional.Algorithms.PLResolution

Datei anzeigen Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	Description
plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
plResolution ( KnowledgeBase kb, String alpha ) : bool
plResolution ( String kbs, String alphaString ) : bool
plResolve ( Sentence clause1, Sentence clause2 ) : List

Private Methods

Method	Description
createResolventClause ( ClauseSymbols cs, Symbol toRemove ) : Sentence
filterOutClausesWithTwoComplementaryLiterals ( List clauses ) : List
getCombinationPairs ( List clausesList ) : List>

Method Details

plResolution() public method

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

plResolution() public method

public plResolution ( KnowledgeBase kb, String alpha ) : bool
kb	KnowledgeBase
alpha	String
return	bool

plResolution() public method

public plResolution ( String kbs, String alphaString ) : bool
kbs	String
alphaString	String
return	bool

plResolve() public method

public plResolve ( Sentence clause1, Sentence clause2 ) : List
clause1	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
clause2	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
return	List