ai.logic
Class PropKnowledgeBase

java.lang.Object
  extended byai.logic.PropKnowledgeBase

public class PropKnowledgeBase
extends java.lang.Object

A Knowledge base of Propositional logic.

Author:
Jill Zimmerman -- jill.zimmerman@goucher.edu

Method Summary
 boolean ask(Logic statement)
          Query the knowledge base
 void tell(Logic statement)
          Add a statement to the knowledge base
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Method Detail

tell

public void tell(Logic statement)
Add a statement to the knowledge base


ask

public boolean ask(Logic statement)
Query the knowledge base