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

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

Méthodes publiques

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

Method Details

ttCheckAll() public méthode

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
Résultat bool

ttEntails() public méthode

public ttEntails ( KnowledgeBase kb, String alpha ) : bool
kb KnowledgeBase
alpha String
Résultat bool