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

상속: InferenceProcedure

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

공개 메소드들

메소드	설명
FOLTFMResolution ( ) : System
FOLTFMResolution ( FOLTFMResolutionTracer tracer ) : System
FOLTFMResolution ( long maxQueryTime ) : System
ask ( FOLKnowledgeBase KB, Sentence alpha ) : InferenceResult
getMaxQueryTime ( ) : long
getTracer ( ) : FOLTFMResolutionTracer
setMaxQueryTime ( long maxQueryTime ) : void
setTracer ( FOLTFMResolutionTracer tracer ) : void

메소드 상세

FOLTFMResolution() 공개 메소드

public FOLTFMResolution ( ) : System
리턴	System

FOLTFMResolution() 공개 메소드

public FOLTFMResolution ( FOLTFMResolutionTracer tracer ) : System
tracer	FOLTFMResolutionTracer
리턴	System

FOLTFMResolution() 공개 메소드

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

ask() 공개 메소드

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

getMaxQueryTime() 공개 메소드

public getMaxQueryTime ( ) : long
리턴	long

getTracer() 공개 메소드

public getTracer ( ) : FOLTFMResolutionTracer
리턴	FOLTFMResolutionTracer

setMaxQueryTime() 공개 메소드

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

setTracer() 공개 메소드

public setTracer ( FOLTFMResolutionTracer tracer ) : void
tracer	FOLTFMResolutionTracer
리턴	void