Package com.agentfactory.logic.lang

The logic package contains the implementation of basic first order reasoning used by the AgentFactory interperter.

See:
Description

Class Summary

BeliefSentence	Class used to hold composits of beliefs to be used by agents.
FOS	This class represents First Order Structures (FOS)
LogicFactory	This is a factory class that contains methods that support the creation of logical items.
TerAND
TerImplication	TODO -- robertr -- remove the intrusion of ALPHA code into this core class.

Package com.agentfactory.logic.lang Description

The logic package contains the implementation of basic first order reasoning used by the AgentFactory interperter.