C# Класс AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver

Наследование: InferenceProcedure

Показать файл Открыть проект

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

Метод	Описание
FOLOTTERLikeTheoremProver ( ) : System
FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System
ask ( FOLKnowledgeBase KB, Sentence alpha ) : InferenceResult
getClauseFilter ( ) : ClauseFilter
getClauseSimplifier ( ) : ClauseSimplifier
getLightestClauseHeuristic ( ) : LightestClauseHeuristic
getMaxQueryTime ( ) : long
isUseParamodulation ( ) : bool
setClauseFilter ( ClauseFilter clauseFilter ) : void
setClauseSimplifier ( ClauseSimplifier clauseSimplifier ) : void
setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
setMaxQueryTime ( long maxQueryTime ) : void
setUseParamodulation ( bool useParamodulation ) : void

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

Метод	Описание
infer ( Clause clause, List usable ) : List
lookForUnitRefutation ( OTTERAnswerHandler ansHandler, IndexedClauses idxdClauses, Clause clause, List sos, List usable ) : void
otter ( OTTERAnswerHandler ansHandler, IndexedClauses idxdClauses, List sos, List usable ) : InferenceResult
process ( OTTERAnswerHandler ansHandler, IndexedClauses idxdClauses, List clauses, List sos, List usable ) : void

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

FOLOTTERLikeTheoremProver() публичный метод

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

FOLOTTERLikeTheoremProver() публичный метод

public FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
useParamodulation	bool
Результат	System

FOLOTTERLikeTheoremProver() публичный метод

public FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
maxQueryTime	long
Результат	System

FOLOTTERLikeTheoremProver() публичный метод

public FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System
maxQueryTime	long
useParamodulation	bool
Результат	System

ask() публичный метод

public ask ( FOLKnowledgeBase KB, Sentence alpha ) : InferenceResult
KB	AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase
alpha	Sentence
Результат	InferenceResult

getClauseFilter() публичный метод

public getClauseFilter ( ) : ClauseFilter
Результат	ClauseFilter

getClauseSimplifier() публичный метод

public getClauseSimplifier ( ) : ClauseSimplifier
Результат	ClauseSimplifier

getLightestClauseHeuristic() публичный метод

public getLightestClauseHeuristic ( ) : LightestClauseHeuristic
Результат	LightestClauseHeuristic

getMaxQueryTime() публичный метод

public getMaxQueryTime ( ) : long
Результат	long

isUseParamodulation() публичный метод

public isUseParamodulation ( ) : bool
Результат	bool

setClauseFilter() публичный метод

public setClauseFilter ( ClauseFilter clauseFilter ) : void
clauseFilter	ClauseFilter
Результат	void

setClauseSimplifier() публичный метод

public setClauseSimplifier ( ClauseSimplifier clauseSimplifier ) : void
clauseSimplifier	ClauseSimplifier
Результат	void

setLightestClauseHeuristic() публичный метод

public setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
lightestClauseHeuristic	LightestClauseHeuristic
Результат	void

setMaxQueryTime() публичный метод

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime	long
Результат	void

setUseParamodulation() публичный метод

public setUseParamodulation ( bool useParamodulation ) : void
useParamodulation	bool
Результат	void