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

Mostra file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

Method	Description
PLFCEntails ( ) : System
plfcEntails ( KnowledgeBase kb, String s ) : bool
plfcEntails ( KnowledgeBase kb, Symbol q ) : bool

Private Methods

Method	Description
asHornClauses ( List sentences ) : List
countisZero ( HornClause hornClause ) : bool
decrementCount ( HornClause hornClause ) : void
inferred ( Symbol p ) : bool

Method Details

PLFCEntails() public method

public PLFCEntails ( ) : System
return	System

plfcEntails() public method

public plfcEntails ( KnowledgeBase kb, String s ) : bool
kb	KnowledgeBase
s	String
return	bool

plfcEntails() public method

public plfcEntails ( KnowledgeBase kb, Symbol q ) : bool
kb	KnowledgeBase
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
return	bool