C# Class AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver

Inheritance: InferenceProcedure

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode	Description
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

Private Methods

Méthode	Description
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

Method Details

FOLOTTERLikeTheoremProver() public méthode

public FOLOTTERLikeTheoremProver ( ) : System
Résultat	System

FOLOTTERLikeTheoremProver() public méthode

public FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
useParamodulation	bool
Résultat	System

FOLOTTERLikeTheoremProver() public méthode

public FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
maxQueryTime	long
Résultat	System

FOLOTTERLikeTheoremProver() public méthode

public FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System
maxQueryTime	long
useParamodulation	bool
Résultat	System

ask() public méthode

public ask ( FOLKnowledgeBase KB, Sentence alpha ) : InferenceResult
KB	AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase
alpha	Sentence
Résultat	InferenceResult

getClauseFilter() public méthode

public getClauseFilter ( ) : ClauseFilter
Résultat	ClauseFilter

getClauseSimplifier() public méthode

public getClauseSimplifier ( ) : ClauseSimplifier
Résultat	ClauseSimplifier

getLightestClauseHeuristic() public méthode

public getLightestClauseHeuristic ( ) : LightestClauseHeuristic
Résultat	LightestClauseHeuristic

getMaxQueryTime() public méthode

public getMaxQueryTime ( ) : long
Résultat	long

isUseParamodulation() public méthode

public isUseParamodulation ( ) : bool
Résultat	bool

setClauseFilter() public méthode

public setClauseFilter ( ClauseFilter clauseFilter ) : void
clauseFilter	ClauseFilter
Résultat	void

setClauseSimplifier() public méthode

public setClauseSimplifier ( ClauseSimplifier clauseSimplifier ) : void
clauseSimplifier	ClauseSimplifier
Résultat	void

setLightestClauseHeuristic() public méthode

public setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
lightestClauseHeuristic	LightestClauseHeuristic
Résultat	void

setMaxQueryTime() public méthode

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime	long
Résultat	void

setUseParamodulation() public méthode

public setUseParamodulation ( bool useParamodulation ) : void
useParamodulation	bool
Résultat	void