edu.udo.cs.ie.cowbots.bdi.brf
Interface IKnowledgeOperator

Package class diagram package IKnowledgeOperator
All Known Implementing Classes:
exKnowledge, exMapOperator, ExpansionOperator, IdentTableOperator, MapUpdate

public interface IKnowledgeOperator

basic interface for all kinds of knowledge operators from the Cowbot BDI Model.


Method Summary
 void deleteFacts(java.util.Set<ELPLiteral> toDel)
          method that might ist called by the revision engine for facts occuring in the reject set of an inference operator. each knowledge operator is free to process or ignore the call.
 ELP getStateProgram()
          method that returns an extended logical programm (or null) that is concatenated to the belief state, therefore bypassing any belief state construction.
 void init(org.w3c.dom.Element config)
          default initialization routine, will be called by the revision engine with a configuration description in xml
 void processBeliefSet(BeliefSet bs, BeliefBase base)
          method that is called after the revision (asp call and answer set clearance) to add/delete beliefs to the belief set. the behavior depends on the implemented knowledge operator semantics.
 void reset()
          resets the knowledge operator, putting it back into a neutral state.
 boolean update(java.util.List<InformationObject> updates, BeliefBase bb)
          this method integrates information objects into the belief base.
 

Method Detail

init

void init(org.w3c.dom.Element config)
default initialization routine, will be called by the revision engine with a configuration description in xml

Parameters:
config - XML Element describing operator setup

update

boolean update(java.util.List<InformationObject> updates,
               BeliefBase bb)
this method integrates information objects into the belief base.

Parameters:
updates - new information objects
bb - operator's belief base
Returns:
true if something changed (false otherwise).

deleteFacts

void deleteFacts(java.util.Set<ELPLiteral> toDel)
method that might ist called by the revision engine for facts occuring in the reject set of an inference operator. each knowledge operator is free to process or ignore the call.

Parameters:
toDel - set of (head) literals to purge from the belief base

processBeliefSet

void processBeliefSet(BeliefSet bs,
                      BeliefBase base)
method that is called after the revision (asp call and answer set clearance) to add/delete beliefs to the belief set. the behavior depends on the implemented knowledge operator semantics.

Parameters:
bs -
base -

getStateProgram

ELP getStateProgram()
method that returns an extended logical programm (or null) that is concatenated to the belief state, therefore bypassing any belief state construction.

Returns:
null or elp to add to the belief state

reset

void reset()
resets the knowledge operator, putting it back into a neutral state.