SUBTOPICS

Condition - Logical Conditions Index - Literal keyed index Decision Tree - Symbolic decision tree Planning - Nonlinear Planner

Symbolic Logic

This module deals with symbolic logic.

Much of the code in this module is based on idea's found in 'Artifical Intelligence a Modern Approach' by Stuart Russel and Peter norvig, published by Prentice Hall.

Normal classes:

StateC	Abstract state description.
VarC	Variable
BindSetC	Set of bindings.
LiteralC	Literalol
LiteralIterC	Abstract iterator through a set of literals.
BindSetBodyC	Set of bindings.
TupleC	Tuple of literals.
LListC	Logical List.
LiteralMapListIterC	Literal map list iterator.
LiteralMapIterC	Abstract literal map iterator.
LiteralIter1C	Dummy iterator for cases where there are only 1 or zero solutions.
StateSetC	Set based implementation of a set.
LiteralFilterIterC	Filter the results of another iterator.

Normal functions:

Indent(int)	Helper function for producing debug output.
Literal(void)	Create an anonymous symbol.
operator <<(ostream &,const LiteralC &)
Var(void)	Creat an anonymous variable.
operator <<(ostream &,const BindSetC &)	output stream
operator <<(istream &,BindSetC &)	input stream
Tuple(const LiteralC &)	Create a tuple with 1 paramiter
Tuple(const LiteralC &,const LiteralC &)	Create a tuple with 2 paramiters
Tuple(const LiteralC &,const LiteralC &,const LiteralC &)	Create a tuple with 3 paramiters
Unify(const LiteralC &,const LiteralC &,BindSetC &)	Unify s1 and s2 with binds bs.
Unify(const LiteralC &,const LiteralC &)	Test if s1 and s2 can be unified.
operator <<(ostream &,const StateC &)	Write out to stream.
operator >>(istream &,StateC &)	Read in from stream.

Advanced classes:

BindC	Information about a single binding.
LiteralIterWrapC	Wrap a simple iterator with one derived from LiteralIterC.
StateOrIterC	Iterate through possible solutions in a state for a 'or' condition.
StateAndIterC	Iterate through possible solutions in a state for a 'or' condition.

Advanced functions:

operator <<(ostream &,const BindC &)	output stream
operator <<(istream &,BindC &)	input stream

Develop classes:

VarBodyC	Variable body.
LiteralBodyC	Literal body
TupleBodyC	Tuple of literals.
LListBodyC	Logical List.
LiteralIterWrapBodyC	Abstract iterator through a set of literals.
LiteralIterBodyC	Abstract iterator through a set of literals.
LiteralMapListIterBodyC	Literal map list iterator.
StateBodyC	Abstract state description.
LiteralMapIterBodyC	Abstract literal map iterator.
LiteralIter1BodyC	Dummy iterator for cases where there are only 1 or zero solutions.
StateOrIterBodyC	Iterate through possible solutions in a state for a 'or' condition.
StateSetBodyC	Set based implementation of a set.
LiteralFilterIterBodyC	Filter the results of another iterator.
StateAndBackTrackPointC	Backtrack point for StateAndIterC.
StateAndIterBodyC	Iterate through possible solutions in a state for a 'or' condition.
NamedLiteralBodyC	Named literal body.
NamedLiteralC	Named literal.
NamedVarBodyC	Named literal body.
NamedVarC	Named literal.

Develop functions:

Literal(const char *)

Create a named symbol.

Default functions:

LoadState(IStreamC &,StateC &)	Load data into stream.
LoadState(const StringC &,StateC &)	Load data from a file into a state.
SaveState(OStreamC &,StateC &)	Save data into stream.
SaveState(const StringC &,StateC &)	Save data to file from state.