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

Inheritance: InferenceProcedure

Mostra file Open project: PaulMineau/AIMA.Net

Public Methods

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

Method Details

FOLTFMResolution() public method

public FOLTFMResolution ( ) : System
return	System

FOLTFMResolution() public method

public FOLTFMResolution ( FOLTFMResolutionTracer tracer ) : System
tracer	FOLTFMResolutionTracer
return	System

FOLTFMResolution() public method

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

ask() public method

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

getMaxQueryTime() public method

public getMaxQueryTime ( ) : long
return	long

getTracer() public method

public getTracer ( ) : FOLTFMResolutionTracer
return	FOLTFMResolutionTracer

setMaxQueryTime() public method

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

setTracer() public method

public setTracer ( FOLTFMResolutionTracer tracer ) : void
tracer	FOLTFMResolutionTracer
return	void