aima.logic.propositional.algorithms
Class KnowledgeBase

java.lang.Object
  aima.logic.propositional.algorithms.KnowledgeBase

public class KnowledgeBase
extends java.lang.Object

Constructor Summary

KnowledgeBase()

Method Summary

boolean	askWithDpll(java.lang.String queryString)
boolean	askWithTTEntails(java.lang.String queryString)
Sentence	asSentence()
java.util.List	getSentences()
int	size()
void	tell(java.lang.String aSentence)
void	tellAll(java.lang.String[] percepts)
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)

tellAll

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

size

public int size()

asSentence

public Sentence asSentence()

askWithDpll

public boolean askWithDpll(java.lang.String queryString)

askWithTTEntails

public boolean askWithTTEntails(java.lang.String queryString)

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getSentences

public java.util.List getSentences()