|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.udo.cs.ie.cowbots.bdi.brf.operators.IdentTableOperator
public class 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.
Field Summary | |
---|---|
(package private) java.util.Set<java.lang.String> |
identifiers
|
(package private) java.util.Set<java.lang.String> |
identPredicates
|
(package private) java.util.Map<java.lang.String,java.util.List<java.lang.String>> |
termLookup
|
Constructor Summary | |
---|---|
IdentTableOperator()
default constructor |
Method Summary | |
---|---|
java.util.List<java.lang.String> |
allIdentifiers(java.lang.String term)
returns all known predicates associated with a term |
void |
deleteFacts(java.util.Set<ELPLiteral> toDel)
the optional operation deleteFacts is not supported by this operator. |
ELP |
getStateProgram()
method that returns an extended logical programm (or null) that is concatenated to the belief state, therefore bypassing any belief state construction. |
java.util.Set<java.lang.String> |
identPredicates()
returns the set of functor names that represent all identifier predicates |
void |
init(org.w3c.dom.Element config)
default initialization routine, will be called by the revision engine with a configuration description in xml |
boolean |
isKindOf(java.lang.String term,
java.lang.String identPredicate)
checks if a given term is true for a given identifier |
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.Set<java.lang.String> identPredicates
java.util.Set<java.lang.String> identifiers
java.util.Map<java.lang.String,java.util.List<java.lang.String>> termLookup
Constructor Detail |
---|
public IdentTableOperator()
Method Detail |
---|
public void init(org.w3c.dom.Element config)
IKnowledgeOperator
init
in interface IKnowledgeOperator
config
- XML Element describing operator setuppublic boolean update(java.util.List<InformationObject> updates, BeliefBase bb)
IKnowledgeOperator
update
in interface IKnowledgeOperator
updates
- new information objectsbb
- operator's belief base
public boolean isKindOf(java.lang.String term, java.lang.String identPredicate)
IdentTable
isKindOf
in interface IdentTable
term
- argument to checkidentPredicate
- identifier predicate
public java.util.List<java.lang.String> allIdentifiers(java.lang.String term)
IdentTable
allIdentifiers
in interface IdentTable
term
- term to lookup
public void deleteFacts(java.util.Set<ELPLiteral> toDel)
deleteFacts
in interface IKnowledgeOperator
toDel
- set of (head) literals to purge from the belief basepublic java.util.Set<java.lang.String> identPredicates()
IdentTable
identPredicates
in interface IdentTable
public void processBeliefSet(BeliefSet bs, BeliefBase base)
IKnowledgeOperator
processBeliefSet
in interface IKnowledgeOperator
public ELP getStateProgram()
IKnowledgeOperator
getStateProgram
in interface IKnowledgeOperator
public void reset()
IKnowledgeOperator
reset
in interface IKnowledgeOperator
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |