edu::tum::cs::logic::KnowledgeBase Class Reference

Public Member Functions
Vector< Formula >	getFormulas ()
Integer	getTemplateID (Formula f)
KnowledgeBase	ground (Database db, WorldVariables worldVars, boolean simplify) throws Exception
Iterator< Formula >	iterator ()
	KnowledgeBase (String filename) throws IOException, ParseException
	KnowledgeBase ()
int	size ()
Protected Attributes
Vector< Formula >	formulas
HashMap< Formula, Integer >	templateIDs

Detailed Description

class that represents a logical knowledge base

Definition at line 22 of file KnowledgeBase.java.

edu::tum::cs::logic::KnowledgeBase::KnowledgeBase ( ) [inline]

Definition at line 29 of file KnowledgeBase.java.

edu::tum::cs::logic::KnowledgeBase::KnowledgeBase ( String filename ) throws IOException, ParseException [inline]

constructor that reads a number of .-terminated formula statements from a file

Parameters:

filename

Exceptions:

	IOException
	ParseException

Definition at line 40 of file KnowledgeBase.java.

Vector<Formula> edu::tum::cs::logic::KnowledgeBase::getFormulas ( ) [inline]

Definition at line 65 of file KnowledgeBase.java.

Integer edu::tum::cs::logic::KnowledgeBase::getTemplateID ( Formula f ) [inline]

Definition at line 99 of file KnowledgeBase.java.

KnowledgeBase edu::tum::cs::logic::KnowledgeBase::ground	(	Database	db,
		WorldVariables	worldVars,
		boolean	simplify
	)			throws Exception `[inline]`

grounds this knowledge base (using a set of entities and the corresponding set of ground atoms)

Parameters:

	db
	worldVars	the set of ground atoms
	simplify	whether to use the evidence in the database to simplify ground formulas

Exceptions:

Exception

Definition at line 77 of file KnowledgeBase.java.

Iterator<Formula> edu::tum::cs::logic::KnowledgeBase::iterator ( ) [inline]

Definition at line 91 of file KnowledgeBase.java.

int edu::tum::cs::logic::KnowledgeBase::size ( ) [inline]

Definition at line 95 of file KnowledgeBase.java.

Definition at line 23 of file KnowledgeBase.java.

stores for ground KBs the index of the original formula from which the formula was instantiated

Definition at line 27 of file KnowledgeBase.java.

The documentation for this class was generated from the following file: