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

Inheritance: InferenceProcedure

Afficher le fichier Open project: PaulMineau/AIMA.Net

Méthodes publiques

Méthode	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 méthode

public FOLTFMResolution ( ) : System
Résultat	System

FOLTFMResolution() public méthode

public FOLTFMResolution ( FOLTFMResolutionTracer tracer ) : System
tracer	FOLTFMResolutionTracer
Résultat	System

FOLTFMResolution() public méthode

public FOLTFMResolution ( long maxQueryTime ) : System
maxQueryTime	long
Résultat	System

ask() public méthode

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

getMaxQueryTime() public méthode

public getMaxQueryTime ( ) : long
Résultat	long

getTracer() public méthode

public getTracer ( ) : FOLTFMResolutionTracer
Résultat	FOLTFMResolutionTracer

setMaxQueryTime() public méthode

public setMaxQueryTime ( long maxQueryTime ) : void
maxQueryTime	long
Résultat	void

setTracer() public méthode

public setTracer ( FOLTFMResolutionTracer tracer ) : void
tracer	FOLTFMResolutionTracer
Résultat	void