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

Afficher le fichier Open project: PaulMineau/AIMA.Net Class Usage Examples

Méthodes publiques

Méthode	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

Méthodes protégées

Méthode	Description
getParser ( ) : FOLParser

Private Methods

Méthode	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 méthode

public FOLKnowledgeBase ( FOLDomain domain ) : System
domain	AIMA.Core.Logic.FOL.Domain.FOLDomain
Résultat	System

FOLKnowledgeBase() public méthode

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

FOLKnowledgeBase() public méthode

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

ToString() public méthode

public ToString ( ) : String
Résultat	String

ask() public méthode

public ask ( Sentence aQuery ) : InferenceResult
aQuery	Sentence
Résultat	InferenceResult

ask() public méthode

public ask ( String aQuerySentence ) : InferenceResult
aQuerySentence	String
Résultat	InferenceResult

clear() public méthode

public clear ( ) : void
Résultat	void

collectAllVariables() public méthode

public collectAllVariables ( Sentence aSentence ) : List
aSentence	Sentence
Résultat	List

convertToCNF() public méthode

public convertToCNF ( Sentence aSentence ) : CNF
aSentence	Sentence
Résultat	AIMA.Core.Logic.FOL.KB.Data.CNF

convertToClauses() public méthode

public convertToClauses ( Sentence aSentence ) : List
aSentence	Sentence
Résultat	List

createAnswerLiteral() public méthode

public createAnswerLiteral ( Sentence forQuery ) : Literal
forQuery	Sentence
Résultat	AIMA.Core.Logic.FOL.KB.Data.Literal

fetch() public méthode

public fetch ( List literals ) : Term>>.List
literals	List
Résultat	Term>>.List

fetch() public méthode

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

getAllClauses() public méthode

public getAllClauses ( ) : List
Résultat	List

getAllDefiniteClauseImplications() public méthode

public getAllDefiniteClauseImplications ( ) : List
Résultat	List

getAllDefiniteClauses() public méthode

public getAllDefiniteClauses ( ) : List
Résultat	List

getInferenceProcedure() public méthode

public getInferenceProcedure ( ) : InferenceProcedure
Résultat	InferenceProcedure

getNumberFacts() public méthode

public getNumberFacts ( ) : int
Résultat	int

getNumberRules() public méthode

public getNumberRules ( ) : int
Résultat	int

getOriginalSentences() public méthode

public getOriginalSentences ( ) : List
Résultat	List

getParser() protected méthode

protected getParser ( ) : FOLParser
Résultat	AIMA.Core.Logic.FOL.Parsing.FOLParser

isRenaming() public méthode

public isRenaming ( Literal l ) : bool
l	AIMA.Core.Logic.FOL.KB.Data.Literal
Résultat	bool

isRenaming() public méthode

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

setInferenceProcedure() public méthode

public setInferenceProcedure ( InferenceProcedure inferenceProcedure ) : void
inferenceProcedure	InferenceProcedure
Résultat	void

standardizeApart() public méthode

public standardizeApart ( Chain aChain ) : Chain
aChain	AIMA.Core.Logic.FOL.KB.Data.Chain
Résultat	AIMA.Core.Logic.FOL.KB.Data.Chain

standardizeApart() public méthode

public standardizeApart ( Clause aClause ) : Clause
aClause	Clause
Résultat	Clause

standardizeApart() public méthode

public standardizeApart ( Sentence aSentence ) : Sentence
aSentence	Sentence
Résultat	Sentence

subst() public méthode

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

subst() public méthode

public subst ( Term>.Dictionary theta, Sentence aSentence ) : Sentence
theta	Term>.Dictionary
aSentence	Sentence
Résultat	Sentence

subst() public méthode

public subst ( Term>.Dictionary theta, Term aTerm ) : Term
theta	Term>.Dictionary
aTerm	Term
Résultat	Term

tell() public méthode

public tell ( String aSentence ) : Sentence
aSentence	String
Résultat	Sentence

tell() public méthode

public tell ( List sentences ) : void
sentences	List
Résultat	void

tell() public méthode

public tell ( Sentence aSentence ) : void
aSentence	Sentence
Résultat	void

unify() public méthode

public unify ( FOLNode x, FOLNode y ) : Term>.Dictionary
x	FOLNode
y	FOLNode
Résultat	Term>.Dictionary