C# Класс AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase

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

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

Метод	Описание
FOLKnowledgeBase ( FOLDomain domain ) : System
FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure ) : System
FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier ) : System
ToString ( ) : String
ask ( Sentence aQuery ) : InferenceResult
ask ( String aQuerySentence ) : InferenceResult
clear ( ) : void
collectAllVariables ( Sentence aSentence ) : List
convertToCNF ( Sentence aSentence ) : CNF
convertToClauses ( Sentence aSentence ) : List
createAnswerLiteral ( Sentence forQuery ) : Literal
fetch ( List literals ) : Term>>.List
fetch ( Literal l ) : Term>>.List
getAllClauses ( ) : List
getAllDefiniteClauseImplications ( ) : List
getAllDefiniteClauses ( ) : List
getInferenceProcedure ( ) : InferenceProcedure
getNumberFacts ( ) : int
getNumberRules ( ) : int
getOriginalSentences ( ) : List
isRenaming ( Literal l ) : bool
isRenaming ( Literal l, List possibleMatches ) : bool
setInferenceProcedure ( InferenceProcedure inferenceProcedure ) : void
standardizeApart ( Chain aChain ) : Chain
standardizeApart ( Clause aClause ) : Clause
standardizeApart ( Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Literal l ) : Literal
subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
subst ( Term>.Dictionary theta, Term aTerm ) : Term
tell ( String aSentence ) : Sentence
tell ( List sentences ) : void
tell ( Sentence aSentence ) : void
unify ( FOLNode x, FOLNode y ) : Term>.Dictionary

Защищенные методы

Метод	Описание
getParser ( ) : FOLParser

Приватные методы

Метод	Описание
fetchMatchingFacts ( Literal l ) : List
getFactKey ( Literal l ) : String
indexFact ( Literal fact ) : void
recursiveFetch ( Term>.Dictionary theta, Literal l, List remainingLiterals, Term>.List possibleSubstitutions ) : void
store ( Sentence aSentence ) : void

Описание методов

FOLKnowledgeBase() публичный Метод

public FOLKnowledgeBase ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
Результат	System

FOLKnowledgeBase() публичный Метод

public FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
inferenceProcedure	InferenceProcedure
Результат	System

FOLKnowledgeBase() публичный Метод

public FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
inferenceProcedure	InferenceProcedure
unifier	AIMA.Core.Logic.FOL.Unifier
Результат	System

ToString() публичный Метод

public ToString ( ) : String
Результат	String

ask() публичный Метод

public ask ( Sentence aQuery ) : InferenceResult
aQuery	Sentence
Результат	InferenceResult

ask() публичный Метод

public ask ( String aQuerySentence ) : InferenceResult
aQuerySentence	String
Результат	InferenceResult

clear() публичный Метод

public clear ( ) : void
Результат	void

collectAllVariables() публичный Метод

public collectAllVariables ( Sentence aSentence ) : List
aSentence	Sentence
Результат	List

convertToCNF() публичный Метод

public convertToCNF ( Sentence aSentence ) : CNF
aSentence	Sentence
Результат	AIMA.Core.Logic.FOL.KB.Data.CNF

convertToClauses() публичный Метод

public convertToClauses ( Sentence aSentence ) : List
aSentence	Sentence
Результат	List

createAnswerLiteral() публичный Метод

public createAnswerLiteral ( Sentence forQuery ) : Literal
forQuery	Sentence
Результат	AIMA.Core.Logic.FOL.KB.Data.Literal

fetch() публичный Метод

public fetch ( List literals ) : Term>>.List
literals	List
Результат	Term>>.List

fetch() публичный Метод

public fetch ( Literal l ) : Term>>.List
l	AIMA.Core.Logic.FOL.KB.Data.Literal
Результат	Term>>.List

getAllClauses() публичный Метод

public getAllClauses ( ) : List
Результат	List

getAllDefiniteClauseImplications() публичный Метод

public getAllDefiniteClauseImplications ( ) : List
Результат	List

getAllDefiniteClauses() публичный Метод

public getAllDefiniteClauses ( ) : List
Результат	List

getInferenceProcedure() публичный Метод

public getInferenceProcedure ( ) : InferenceProcedure
Результат	InferenceProcedure

getNumberFacts() публичный Метод

public getNumberFacts ( ) : int
Результат	int

getNumberRules() публичный Метод

public getNumberRules ( ) : int
Результат	int

getOriginalSentences() публичный Метод

public getOriginalSentences ( ) : List
Результат	List

getParser() защищенный Метод

protected getParser ( ) : FOLParser
Результат	AIMA.Core.Logic.FOL.Parsing.FOLParser

isRenaming() публичный Метод

public isRenaming ( Literal l ) : bool
l	AIMA.Core.Logic.FOL.KB.Data.Literal
Результат	bool

isRenaming() публичный Метод

public isRenaming ( Literal l, List possibleMatches ) : bool
l	AIMA.Core.Logic.FOL.KB.Data.Literal
possibleMatches	List
Результат	bool

setInferenceProcedure() публичный Метод

public setInferenceProcedure ( InferenceProcedure inferenceProcedure ) : void
inferenceProcedure	InferenceProcedure
Результат	void

standardizeApart() публичный Метод

public standardizeApart ( Chain aChain ) : Chain
aChain	AIMA.Core.Logic.FOL.KB.Data.Chain
Результат	AIMA.Core.Logic.FOL.KB.Data.Chain

standardizeApart() публичный Метод

public standardizeApart ( Clause aClause ) : Clause
aClause	Clause
Результат	Clause

standardizeApart() публичный Метод

public standardizeApart ( Sentence aSentence ) : Sentence
aSentence	Sentence
Результат	Sentence

subst() публичный Метод

public subst ( Term>.Dictionary theta, Literal l ) : Literal
theta	Term>.Dictionary
l	AIMA.Core.Logic.FOL.KB.Data.Literal
Результат	AIMA.Core.Logic.FOL.KB.Data.Literal

subst() публичный Метод

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
Результат	Sentence

subst() публичный Метод

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
Результат	Term

tell() публичный Метод

public tell ( String aSentence ) : Sentence
aSentence	String
Результат	Sentence

tell() публичный Метод

public tell ( List sentences ) : void
sentences	List
Результат	void

tell() публичный Метод

public tell ( Sentence aSentence ) : void
aSentence	Sentence
Результат	void

unify() публичный Метод

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
Результат	Term>.Dictionary