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

Наследование: InferenceProcedure
Показать файл Открыть проект

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

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