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

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

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

Метод	Описание
plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
plResolution ( KnowledgeBase kb, String alpha ) : bool
plResolution ( String kbs, String alphaString ) : bool
plResolve ( Sentence clause1, Sentence clause2 ) : List

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

Метод	Описание
createResolventClause ( ClauseSymbols cs, Symbol toRemove ) : Sentence
filterOutClausesWithTwoComplementaryLiterals ( List clauses ) : List
getCombinationPairs ( List clausesList ) : List>

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

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

public plResolution ( KnowledgeBase kb, Sentence alpha ) : bool
kb	KnowledgeBase
alpha	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	bool

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

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

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

public plResolution ( String kbs, String alphaString ) : bool
kbs	String
alphaString	String
Результат	bool

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

public plResolve ( Sentence clause1, Sentence clause2 ) : List
clause1	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
clause2	AIMA.Core.Logic.Propositional.Parsing.Ast.Sentence
Результат	List