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

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

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

Метод	Описание
PLFCEntails ( ) : System
plfcEntails ( KnowledgeBase kb, String s ) : bool
plfcEntails ( KnowledgeBase kb, Symbol q ) : bool

Приватные методы

Метод	Описание
asHornClauses ( List sentences ) : List
countisZero ( HornClause hornClause ) : bool
decrementCount ( HornClause hornClause ) : void
inferred ( Symbol p ) : bool

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

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

public PLFCEntails ( ) : System
Результат	System

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

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

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

public plfcEntails ( KnowledgeBase kb, Symbol q ) : bool
kb	KnowledgeBase
q	AIMA.Core.Logic.Propositional.Parsing.Ast.Symbol
Результат	bool