|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.internalActions.experimental2.exKnowledge
public class exKnowledge
knowledge operator for the mapc contest, as a fall back if we are running into dlv execution time problems
Field Summary | |
---|---|
(package private) java.util.HashMap<java.lang.String,ELPLiteral> |
agentposition
|
(package private) java.util.HashMap<java.lang.String,java.util.Map<java.lang.String,ELPLiteral>> |
miniBB
|
Constructor Summary | |
---|---|
exKnowledge()
|
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. |
protected void |
init()
|
void |
init(org.w3c.dom.Element config)
default initialization routine, will be called by the revision engine with a configuration description in xml |
protected ELPLiteral |
newerFact(int timeTerm,
ELPLiteral a,
ELPLiteral b)
this method compares two literals based on their time-value encoded in a term argument. |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
java.util.HashMap<java.lang.String,ELPLiteral> agentposition
java.util.HashMap<java.lang.String,java.util.Map<java.lang.String,ELPLiteral>> miniBB
Constructor Detail |
---|
public exKnowledge()
Method Detail |
---|
protected void init()
public void deleteFacts(java.util.Set<ELPLiteral> toDel)
IKnowledgeOperator
deleteFacts
in interface IKnowledgeOperator
toDel
- set of (head) literals to purge from the belief basepublic ELP getStateProgram()
IKnowledgeOperator
getStateProgram
in interface IKnowledgeOperator
public void init(org.w3c.dom.Element config)
IKnowledgeOperator
init
in interface IKnowledgeOperator
config
- XML Element describing operator setuppublic void processBeliefSet(BeliefSet bs, BeliefBase base)
IKnowledgeOperator
processBeliefSet
in interface IKnowledgeOperator
public boolean update(java.util.List<InformationObject> updates, BeliefBase bb)
IKnowledgeOperator
update
in interface IKnowledgeOperator
updates
- new information objectsbb
- operator's belief base
protected ELPLiteral newerFact(int timeTerm, ELPLiteral a, ELPLiteral b)
timeTerm
- index of time terma
- literal ab
- literal a or null
public void reset()
IKnowledgeOperator
reset
in interface IKnowledgeOperator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |