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

상속: InferenceProcedure

파일 보기 프로젝트 열기: PaulMineau/AIMA.Net 1 사용 예제들

공개 메소드들

메소드	설명
FOLModelElimination ( ) : System
FOLModelElimination ( FOLModelEliminationTracer tracer ) : System
FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System
FOLModelElimination ( long maxQueryTime ) : System
ask ( FOLKnowledgeBase kb, Sentence aQuery ) : InferenceResult
createChainsFromClauses ( List clauses ) : List
getMaxQueryTime ( ) : long
setMaxQueryTime ( long maxQueryTime ) : void

비공개 메소드들

메소드	설명
recursiveDLS ( int maxDepth, int currentDepth, Chain nearParent, IndexedFarParents indexedFarParents, AnswerHandler ansHandler ) : void
tryCancellation ( Chain c ) : Chain
tryDropping ( Chain c ) : Chain

메소드 상세

FOLModelElimination() 공개 메소드

public FOLModelElimination ( ) : System
리턴	System

FOLModelElimination() 공개 메소드

public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System
tracer	FOLModelEliminationTracer
리턴	System

FOLModelElimination() 공개 메소드

public FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System
tracer	FOLModelEliminationTracer
maxQueryTime	long
리턴	System

FOLModelElimination() 공개 메소드

public FOLModelElimination ( long maxQueryTime ) : System
maxQueryTime	long
리턴	System

ask() 공개 메소드

public ask ( FOLKnowledgeBase kb, Sentence aQuery ) : InferenceResult
kb	AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase
aQuery	Sentence
리턴	InferenceResult

createChainsFromClauses() 공개 메소드

public createChainsFromClauses ( List clauses ) : List
clauses	List
리턴	List

getMaxQueryTime() 공개 메소드

public getMaxQueryTime ( ) : long
리턴	long

setMaxQueryTime() 공개 메소드

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime	long
리턴	void