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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	Description
PLFCEntails ( ) : System
plfcEntails ( KnowledgeBase kb, String s ) : bool
plfcEntails ( KnowledgeBase kb, Symbol q ) : bool

Private Methods

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

Method Details

PLFCEntails() public méthode

public PLFCEntails ( ) : System
Résultat	System

plfcEntails() public méthode

public plfcEntails ( KnowledgeBase kb, String s ) : bool
kb	KnowledgeBase
s	String
Résultat	bool

plfcEntails() public méthode

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