C# Class AIMA.Core.Logic.FOL.KB.FOLKnowledgeBase

Datei anzeigen Open project: PaulMineau/AIMA.Net Class Usage Examples

Public Methods

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

Protected Methods

Method	Description
getParser ( ) : FOLParser

Private Methods

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

Method Details

FOLKnowledgeBase() public method

public FOLKnowledgeBase ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
return	System

FOLKnowledgeBase() public method

public FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
inferenceProcedure	InferenceProcedure
return	System

FOLKnowledgeBase() public method

public FOLKnowledgeBase ( FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
inferenceProcedure	InferenceProcedure
unifier	AIMA.Core.Logic.FOL.Unifier
return	System

ToString() public method

public ToString ( ) : String
return	String

ask() public method

public ask ( Sentence aQuery ) : InferenceResult
aQuery	Sentence
return	InferenceResult

ask() public method

public ask ( String aQuerySentence ) : InferenceResult
aQuerySentence	String
return	InferenceResult

clear() public method

public clear ( ) : void
return	void

collectAllVariables() public method

public collectAllVariables ( Sentence aSentence ) : List
aSentence	Sentence
return	List

convertToCNF() public method

public convertToCNF ( Sentence aSentence ) : CNF
aSentence	Sentence
return	AIMA.Core.Logic.FOL.KB.Data.CNF

convertToClauses() public method

public convertToClauses ( Sentence aSentence ) : List
aSentence	Sentence
return	List

createAnswerLiteral() public method

public createAnswerLiteral ( Sentence forQuery ) : Literal
forQuery	Sentence
return	AIMA.Core.Logic.FOL.KB.Data.Literal

fetch() public method

public fetch ( List literals ) : Term>>.List
literals	List
return	Term>>.List

fetch() public method

public fetch ( Literal l ) : Term>>.List
l	AIMA.Core.Logic.FOL.KB.Data.Literal
return	Term>>.List

getAllClauses() public method

public getAllClauses ( ) : List
return	List

getAllDefiniteClauseImplications() public method

public getAllDefiniteClauseImplications ( ) : List
return	List

getAllDefiniteClauses() public method

public getAllDefiniteClauses ( ) : List
return	List

getInferenceProcedure() public method

public getInferenceProcedure ( ) : InferenceProcedure
return	InferenceProcedure

getNumberFacts() public method

public getNumberFacts ( ) : int
return	int

getNumberRules() public method

public getNumberRules ( ) : int
return	int

getOriginalSentences() public method

public getOriginalSentences ( ) : List
return	List

getParser() protected method

protected getParser ( ) : FOLParser
return	AIMA.Core.Logic.FOL.Parsing.FOLParser

isRenaming() public method

public isRenaming ( Literal l ) : bool
l	AIMA.Core.Logic.FOL.KB.Data.Literal
return	bool

isRenaming() public method

public isRenaming ( Literal l, List possibleMatches ) : bool
l	AIMA.Core.Logic.FOL.KB.Data.Literal
possibleMatches	List
return	bool

setInferenceProcedure() public method

public setInferenceProcedure ( InferenceProcedure inferenceProcedure ) : void
inferenceProcedure	InferenceProcedure
return	void

standardizeApart() public method

public standardizeApart ( Chain aChain ) : Chain
aChain	AIMA.Core.Logic.FOL.KB.Data.Chain
return	AIMA.Core.Logic.FOL.KB.Data.Chain

standardizeApart() public method

public standardizeApart ( Clause aClause ) : Clause
aClause	Clause
return	Clause

standardizeApart() public method

public standardizeApart ( Sentence aSentence ) : Sentence
aSentence	Sentence
return	Sentence

subst() public method

public subst ( Term>.Dictionary theta, Literal l ) : Literal
theta	Term>.Dictionary
l	AIMA.Core.Logic.FOL.KB.Data.Literal
return	AIMA.Core.Logic.FOL.KB.Data.Literal

subst() public method

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
return	Sentence

subst() public method

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
return	Term

tell() public method

public tell ( String aSentence ) : Sentence
aSentence	String
return	Sentence

tell() public method

public tell ( List sentences ) : void
sentences	List
return	void

tell() public method

public tell ( Sentence aSentence ) : void
aSentence	Sentence
return	void

unify() public method

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
return	Term>.Dictionary