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

Inheritance: InferenceProcedure

Show file Open project: PaulMineau/AIMA.Net

Public Methods

Method	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

Method	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 method

public FOLOTTERLikeTheoremProver ( ) : System
return	System

FOLOTTERLikeTheoremProver() public method

public FOLOTTERLikeTheoremProver ( bool useParamodulation ) : System
useParamodulation	bool
return	System

FOLOTTERLikeTheoremProver() public method

public FOLOTTERLikeTheoremProver ( long maxQueryTime ) : System
maxQueryTime	long
return	System

FOLOTTERLikeTheoremProver() public method

public FOLOTTERLikeTheoremProver ( long maxQueryTime, bool useParamodulation ) : System
maxQueryTime	long
useParamodulation	bool
return	System

ask() public method

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

getClauseFilter() public method

public getClauseFilter ( ) : ClauseFilter
return	ClauseFilter

getClauseSimplifier() public method

public getClauseSimplifier ( ) : ClauseSimplifier
return	ClauseSimplifier

getLightestClauseHeuristic() public method

public getLightestClauseHeuristic ( ) : LightestClauseHeuristic
return	LightestClauseHeuristic

getMaxQueryTime() public method

public getMaxQueryTime ( ) : long
return	long

isUseParamodulation() public method

public isUseParamodulation ( ) : bool
return	bool

setClauseFilter() public method

public setClauseFilter ( ClauseFilter clauseFilter ) : void
clauseFilter	ClauseFilter
return	void

setClauseSimplifier() public method

public setClauseSimplifier ( ClauseSimplifier clauseSimplifier ) : void
clauseSimplifier	ClauseSimplifier
return	void

setLightestClauseHeuristic() public method

public setLightestClauseHeuristic ( LightestClauseHeuristic lightestClauseHeuristic ) : void
lightestClauseHeuristic	LightestClauseHeuristic
return	void

setMaxQueryTime() public method

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime	long
return	void

setUseParamodulation() public method

public setUseParamodulation ( bool useParamodulation ) : void
useParamodulation	bool
return	void