ai.logic
Class HornKnowledgeBase

java.lang.Object
  ai.logic.HornKnowledgeBase

public class HornKnowledgeBase

extends java.lang.Object

A Knowledge base of Horn clauses.

Author:

Jill Zimmerman -- jill.zimmerman@goucher.edu

Field Summary

java.util.Hashtable

table A table of sentences indexed by the inferred clause

Constructor Summary

HornKnowledgeBase()

Method Summary

java.util.Vector	ask(Logic query) Query the knowledge base This uses the backChain algorithm to return a list of answers
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

Field Detail

table

public java.util.Hashtable table

A table of sentences indexed by the inferred clause

Constructor Detail

HornKnowledgeBase

public HornKnowledgeBase()

Method Detail

tell

public void tell(Logic statement)

Add a statement to the knowledge base

ask

public java.util.Vector ask(Logic query)

Query the knowledge base This uses the backChain algorithm to return a list of answers