C# 클래스 AIMA.Core.Logic.FOL.Inference.FOLOTTERLikeTheoremProver

상속: InferenceProcedure

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net

공개 메소드들

메소드	설명
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