|
|||||||||
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.CausalRejection
public class CausalRejection
implementation of update programs based on causal rejection (proposed by eiter et. al).
Field Summary | |
---|---|
protected ELP |
updProgram
|
Constructor Summary | |
---|---|
CausalRejection()
|
Method Summary | |
---|---|
protected ELP |
buildTestProgram(ELP up)
this method creates a test program for strictly minimal answer sets |
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. |
protected ELPLiteral |
indexLiteral(ELPLiteral l,
int index)
creates an indexed version of a literal, with proper sign |
protected ELPLiteral |
inverse(ELPLiteral l)
returns the negation of a positive or strict negated literal |
protected ELPAtom |
isRejRule(ELPRule r)
this method returns the rej-Literal, if it is in the head of a rule |
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. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
protected ELP updProgram
Constructor Detail |
---|
public CausalRejection()
Method Detail |
---|
public ELP createBeliefState(java.util.List<InformationObject> ioList)
IInferenceOperator
createBeliefState
in interface IInferenceOperator
ioList
- list of information objects
protected ELPLiteral indexLiteral(ELPLiteral l, int index)
l
- literal a(X) to indexindex
- index of literal
protected ELPLiteral inverse(ELPLiteral l)
l
-
public AnswerSet selectAnswerSet(java.util.List<AnswerSet> asl, DLV dlv)
IInferenceOperator
selectAnswerSet
in interface IInferenceOperator
asl
- a list of answer setsdlv
- instance to dlv
protected ELP buildTestProgram(ELP up)
up
- update sequence to create test for
protected ELPAtom isRejRule(ELPRule r)
r
- rule to test
public java.util.Map<java.lang.String,java.util.List<ELPLiteral>> getRejectSet()
IInferenceOperator
getRejectSet
in interface IInferenceOperator
public void setSavePredicates(java.util.Set<java.lang.String> savePreds)
IInferenceOperator
setSavePredicates
in interface IInferenceOperator
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 |