aima.core.logic.fol.kb

Class FOLKnowledgeBase

java.lang.Object

aima.core.logic.fol.kb.FOLKnowledgeBase

public class FOLKnowledgeBase
extends java.lang.Object

A First Order Logic (FOL) Knowledge Base.

Author:

Ciaran O'Reilly

Constructor Summary

Constructors

Constructor and Description
FOLKnowledgeBase(FOLDomain domain)
FOLKnowledgeBase(FOLDomain domain, InferenceProcedure inferenceProcedure)
FOLKnowledgeBase(FOLDomain domain, InferenceProcedure inferenceProcedure, Unifier unifier)

Method Summary

Modifier and Type	Method and Description
InferenceResult	ask(Sentence query)
InferenceResult	ask(java.lang.String querySentence)
void	clear()
java.util.Set<Variable>	collectAllVariables(Sentence sentence)
java.util.Set<Clause>	convertToClauses(Sentence sentence)
CNF	convertToCNF(Sentence sentence)
Literal	createAnswerLiteral(Sentence forQuery)
java.util.Set<java.util.Map<Variable,Term>>	fetch(java.util.List<Literal> literals)
java.util.Set<java.util.Map<Variable,Term>>	fetch(Literal l)
java.util.Set<Clause>	getAllClauses()
java.util.List<Clause>	getAllDefiniteClauseImplications()
java.util.List<Clause>	getAllDefiniteClauses()
InferenceProcedure	getInferenceProcedure()
int	getNumberFacts()
int	getNumberRules()
java.util.List<Sentence>	getOriginalSentences()
protected FOLParser	getParser()
boolean	isRenaming(Literal l)
boolean	isRenaming(Literal l, java.util.List<Literal> possibleMatches)
void	setInferenceProcedure(InferenceProcedure inferenceProcedure)
Chain	standardizeApart(Chain chain)
Clause	standardizeApart(Clause clause)
Sentence	standardizeApart(Sentence sentence)
Literal	subst(java.util.Map<Variable,Term> theta, Literal l)
Sentence	subst(java.util.Map<Variable,Term> theta, Sentence aSentence)
Term	subst(java.util.Map<Variable,Term> theta, Term term)
void	tell(java.util.List<? extends Sentence> sentences)
void	tell(Sentence sentence)
Sentence	tell(java.lang.String sentence)
java.lang.String	toString()
java.util.Map<Variable,Term>	unify(FOLNode x, FOLNode y)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

FOLKnowledgeBase

public FOLKnowledgeBase(FOLDomain domain)

FOLKnowledgeBase

public FOLKnowledgeBase(FOLDomain domain,
                        InferenceProcedure inferenceProcedure)

FOLKnowledgeBase

public FOLKnowledgeBase(FOLDomain domain,
                        InferenceProcedure inferenceProcedure,
                        Unifier unifier)

Method Detail

clear

public void clear()

getInferenceProcedure

public InferenceProcedure getInferenceProcedure()

setInferenceProcedure

public void setInferenceProcedure(InferenceProcedure inferenceProcedure)

tell

public Sentence tell(java.lang.String sentence)

tell

public void tell(java.util.List<? extends Sentence> sentences)

tell

public void tell(Sentence sentence)

ask

public InferenceResult ask(java.lang.String querySentence)

Parameters:

querySentence -

Returns:

an InferenceResult.

ask

public InferenceResult ask(Sentence query)

getNumberFacts

public int getNumberFacts()

getNumberRules

public int getNumberRules()

getOriginalSentences

public java.util.List<Sentence> getOriginalSentences()

getAllDefiniteClauses

public java.util.List<Clause> getAllDefiniteClauses()

getAllDefiniteClauseImplications

public java.util.List<Clause> getAllDefiniteClauseImplications()

getAllClauses

public java.util.Set<Clause> getAllClauses()

fetch

public java.util.Set<java.util.Map<Variable,Term>> fetch(Literal l)

fetch

public java.util.Set<java.util.Map<Variable,Term>> fetch(java.util.List<Literal> literals)

unify

public java.util.Map<Variable,Term> unify(FOLNode x,
                                          FOLNode y)

subst

public Sentence subst(java.util.Map<Variable,Term> theta,
                      Sentence aSentence)

subst

public Literal subst(java.util.Map<Variable,Term> theta,
                     Literal l)

subst

public Term subst(java.util.Map<Variable,Term> theta,
                  Term term)

standardizeApart

public Sentence standardizeApart(Sentence sentence)

standardizeApart

public Clause standardizeApart(Clause clause)

standardizeApart

public Chain standardizeApart(Chain chain)

collectAllVariables

public java.util.Set<Variable> collectAllVariables(Sentence sentence)

convertToCNF

public CNF convertToCNF(Sentence sentence)

convertToClauses

public java.util.Set<Clause> convertToClauses(Sentence sentence)

createAnswerLiteral

public Literal createAnswerLiteral(Sentence forQuery)

isRenaming

public boolean isRenaming(Literal l)

isRenaming

public boolean isRenaming(Literal l,
                          java.util.List<Literal> possibleMatches)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getParser

protected FOLParser getParser()