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

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

Public Methods

Method Description
ttCheckAll ( Sentence kbSentence, Sentence querySentence, List symbols, Model model ) : bool
ttEntails ( KnowledgeBase kb, String alpha ) : bool

Method Details

ttCheckAll() public method

public ttCheckAll ( Sentence kbSentence, Sentence querySentence, List symbols, Model model ) : bool
kbSentence AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
querySentence AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
symbols List
model Model
return bool

ttEntails() public method

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