edu.udo.cs.ie.cowbots.internalActions.experimental2
Class exRevision

Package class diagram package exRevision
java.lang.Object
  extended by edu.udo.cs.ie.cowbots.bdi.brf.CRevisionComponent
      extended by edu.udo.cs.ie.cowbots.bdi.brf.CowbotRevision
          extended by edu.udo.cs.ie.cowbots.internalActions.experimental2.exRevision
All Implemented Interfaces:
IEpistemicState

public class exRevision
extends CowbotRevision

fast version of the cowbot revision class, does not call dlv at all, and can only perform a basic map revision of cow and agent positions and the time predicate. all other revisions or updates are performed in the ex-knowledge operators.


Field Summary
 
Fields inherited from class edu.udo.cs.ie.cowbots.bdi.brf.CowbotRevision
belAdd, belDel, beliefBase, beliefSet, bsOldUpdate, directMessageAccept, dlv, exploredCells, extendedRevision, infop, prn, reviseFull, rewrite, scenarioMap, simulationID, ui
 
Constructor Summary
exRevision()
           
 
Method Summary
protected  java.lang.String getXY(ELPLiteral l)
           
protected  void reviseEx()
          extended revision. makes extensive use of the map and identtable operators. can purge elps from the belief base if the reject set of an inference operator tells to reject something.
 
Methods inherited from class edu.udo.cs.ie.cowbots.bdi.brf.CowbotRevision
addBelief, addProgram, addUserProgram, computeBeliefs, copyMap, delBelief, dumpBB, getBeliefBase, getBeliefs, getBeliefsAsELP, getBeliefSet, getChangeOfBeliefs, getEpistemicState, getExploredCells, getMap, getMessages, getProgram, getWorldTime, init, internalInit, newRevisionMode, processMessages, pruneBeliefBase, queueMessage, reset, revise_belief, revise_percepts, reviseSimple, reviseState, setNewBeliefs, transformELP2Jason, transformJasonToELP, transformJasonToELP
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

exRevision

public exRevision()
Method Detail

reviseEx

protected void reviseEx()
Description copied from class: CowbotRevision
extended revision. makes extensive use of the map and identtable operators. can purge elps from the belief base if the reject set of an inference operator tells to reject something.

Overrides:
reviseEx in class CowbotRevision

getXY

protected java.lang.String getXY(ELPLiteral l)