C# Класс AIMA.Core.Logic.Propositional.Algorithms.TTEntails

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод Описание
ttCheckAll ( Sentence kbSentence, Sentence querySentence, List symbols, Model model ) : bool
ttEntails ( KnowledgeBase kb, String alpha ) : bool

Описание методов

ttCheckAll() публичный Метод

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
Результат bool

ttEntails() публичный Метод

public ttEntails ( KnowledgeBase kb, String alpha ) : bool
kb KnowledgeBase
alpha String
Результат bool