|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
---|
ELP createBeliefState(java.util.List<InformationObject> ioList)
ioList
- list of information objects
AnswerSet selectAnswerSet(java.util.List<AnswerSet> asl, DLV dlv)
asl
- a list of answer setsdlv
- instance to dlv
java.util.Map<java.lang.String,java.util.List<ELPLiteral>> getRejectSet()
void setSavePredicates(java.util.Set<java.lang.String> savePreds)
savePreds
- set of predicates which should not be transformed
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |