|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
CausalRejection | implementation of update programs based on causal rejection (proposed by eiter et. al). |
ExpansionOperator | a knowledge operator that adds new information objects by expansion. |
IdentTableOperator | this class is the default implementation of an IdentTable operator. it associates identifiers with the first term, and assures that each unique identifier is only stored once in the belief base. |
MapUpdate | a specialized operator for handling map updates. |
SURI | a believe operator based on the ideas behind causal rejection, with constraint handling based upon revision programming. |
cowbot revision operator implementations
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |