C# Класс AIMA.Core.Logic.FOL.Inference.FOLModelElimination

Наследование: InferenceProcedure

Показать файл Открыть проект Примеры использования класса

Открытые методы

Метод	Описание
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