aima.core.logic.propositional.kb

Class KnowledgeBase

java.lang.Object

aima.core.logic.propositional.kb.KnowledgeBase

Direct Known Subclasses:

WumpusKnowledgeBase

public class KnowledgeBase
extends java.lang.Object

Author:

Ravi Mohan, Mike Stampone

Constructor Summary

Constructors

Constructor and Description
KnowledgeBase()

Method Summary

Modifier and Type	Method and Description
java.util.Set<Clause>	asCNF()
boolean	askWithTTEntails(java.lang.String queryString) Returns the answer to the specified question using the TT-Entails algorithm.
Sentence	asSentence() Returns the list of sentences in the knowledge base chained together as a single sentence.
java.util.List<Sentence>	getSentences() Returns the list of sentences in the knowledge base.
java.util.Set<PropositionSymbol>	getSymbols()
int	size() Returns the number of sentences in the knowledge base.
void	tell(Sentence aSentence) Adds the specified sentence to the knowledge base.
void	tell(java.lang.String aSentence) Adds the specified sentence to the knowledge base.
void	tellAll(java.lang.String[] percepts) Each time the agent program is called, it TELLS the knowledge base what it perceives.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

KnowledgeBase

public KnowledgeBase()

Method Detail

tell

public void tell(java.lang.String aSentence)

Adds the specified sentence to the knowledge base.

Parameters:

aSentence - a fact to be added to the knowledge base.

tell

public void tell(Sentence aSentence)

Adds the specified sentence to the knowledge base.

Parameters:

aSentence - a fact to be added to the knowledge base.

tellAll

public void tellAll(java.lang.String[] percepts)

Each time the agent program is called, it TELLS the knowledge base what it perceives.

Parameters:

percepts - what the agent perceives

size

public int size()

Returns the number of sentences in the knowledge base.

Returns:

the number of sentences in the knowledge base.

asSentence

public Sentence asSentence()

Returns the list of sentences in the knowledge base chained together as a single sentence.

Returns:

the list of sentences in the knowledge base chained together as a single sentence.

asCNF

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

Returns:

a Conjunctive Normal Form (CNF) representation of the Knowledge Base.

getSymbols

public java.util.Set<PropositionSymbol> getSymbols()

Returns:

a unique set of the symbols currently contained in the Knowledge Base.

askWithTTEntails

public boolean askWithTTEntails(java.lang.String queryString)

Returns the answer to the specified question using the TT-Entails algorithm.

Parameters:

queryString - a question to ASK the knowledge base

Returns:

the answer to the specified question using the TT-Entails algorithm.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSentences

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

Returns the list of sentences in the knowledge base.

Returns:

the list of sentences in the knowledge base.