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

Package class diagram package IInferenceOperator
All Known Implementing Classes:
CausalRejection, SURI

public interface IInferenceOperator

this interface models a basic inference operator. an inference operator is responsible for creating a belief state (a consistent elp), selecting an answer set from the elp's solutions, clear extended literals from that answer set and provide a list of rejected literals or rules.


Method Summary
 ELP createBeliefState(java.util.List<InformationObject> ioList)
          this method builds a belief state from a list of information objects.
 java.util.Map<java.lang.String,java.util.List<ELPLiteral>> getRejectSet()
          returns the literals being rejected in the answer set analyzed by selectAnswerSet.
 AnswerSet selectAnswerSet(java.util.List<AnswerSet> asl, DLV dlv)
          this method evaluates a collection of answer sets and returns the "best" answer set. it is used in situations where multiple answer sets arise from an asp solver. additionally, any literals introduced during belief state construction, which are part of the inference's extended alphabet has to be removed here!
 void setSavePredicates(java.util.Set<java.lang.String> savePreds)
          assigns a set of "save" functor names to the inference.
 

Method Detail

createBeliefState

ELP createBeliefState(java.util.List<InformationObject> ioList)
this method builds a belief state from a list of information objects.

Parameters:
ioList - list of information objects
Returns:
belief state (encoded as an elp)

selectAnswerSet

AnswerSet selectAnswerSet(java.util.List<AnswerSet> asl,
                          DLV dlv)
this method evaluates a collection of answer sets and returns the "best" answer set. it is used in situations where multiple answer sets arise from an asp solver. additionally, any literals introduced during belief state construction, which are part of the inference's extended alphabet has to be removed here!

Parameters:
asl - a list of answer sets
dlv - instance to dlv
Returns:
answer set to be transformed into a belief set

getRejectSet

java.util.Map<java.lang.String,java.util.List<ELPLiteral>> getRejectSet()
returns the literals being rejected in the answer set analyzed by selectAnswerSet.

Returns:
functor-hashed lists of rejected literals

setSavePredicates

void setSavePredicates(java.util.Set<java.lang.String> savePreds)
assigns a set of "save" functor names to the inference. a save predicate is assumed to cause no conflicts and can be written directly into the edb (and answer set).

Parameters:
savePreds - set of predicates which should not be transformed