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

Inheritance: InferenceProcedure

Show file Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

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

Private Methods

Method	Description
recursiveDLS ( int maxDepth, int currentDepth, Chain nearParent, IndexedFarParents indexedFarParents, AnswerHandler ansHandler ) : void
tryCancellation ( Chain c ) : Chain
tryDropping ( Chain c ) : Chain

Method Details

FOLModelElimination() public method

public FOLModelElimination ( ) : System
return	System

FOLModelElimination() public method

public FOLModelElimination ( FOLModelEliminationTracer tracer ) : System
tracer	FOLModelEliminationTracer
return	System

FOLModelElimination() public method

public FOLModelElimination ( FOLModelEliminationTracer tracer, long maxQueryTime ) : System
tracer	FOLModelEliminationTracer
maxQueryTime	long
return	System

FOLModelElimination() public method

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

ask() public method

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

createChainsFromClauses() public method

public createChainsFromClauses ( List clauses ) : List
clauses	List
return	List

getMaxQueryTime() public method

public getMaxQueryTime ( ) : long
return	long

setMaxQueryTime() public method

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