|
|||||||||
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.SURI
public class SURI
a believe operator based on the ideas behind causal rejection, with constraint handling based upon revision programming.
Field Summary | |
---|---|
(package private) java.util.Map<java.lang.String,java.util.List<ELPLiteral>> |
rejSet
|
(package private) java.util.Set<java.lang.String> |
savePreds
|
Constructor Summary | |
---|---|
SURI()
|
Method Summary | |
---|---|
protected void |
add2RejSet(ELPLiteral l)
inserts a literal into the reject set |
protected void |
cleanAnswerSet(java.util.Set<ELPLiteral> as)
removes extended predicates from an answer set, also builds internal reject tables |
protected void |
clearRejSet()
resets the reject set |
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 |
higher(ELPLiteral l,
java.lang.String index)
auxiliary function, creates a "higher_" literal from a literal. |
protected ELPLiteral |
indexLiteral(ELPLiteral l,
java.lang.String counter)
auxiliary function that creates an indexed (or priorized) version of a literal. |
protected ELPLiteral |
inverse(ELPLiteral l)
returns the inverse of a literal |
protected ELPLiteral |
max(ELPLiteral l,
java.lang.String index)
auxiliary function, creates a max literal from a literal. |
protected ELPLiteral |
rejLiteral(ELPLiteral l)
auxiliary function that creates a reject literal for a literal |
protected ELPLiteral |
rejLiteralIndex(ELPLiteral l,
java.lang.String p,
java.lang.String pPrime)
auxiliary function that create a priority comparison reject literal |
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 |
---|
java.util.Map<java.lang.String,java.util.List<ELPLiteral>> rejSet
java.util.Set<java.lang.String> savePreds
Constructor Detail |
---|
public SURI()
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, java.lang.String counter)
l
- atom with sign S and any predicate N, terms Tp
- priority 1pPrime
- priority 2
protected ELPLiteral rejLiteral(ELPLiteral l)
l
- atom with sign S and any predicate N, terms T
protected ELPLiteral rejLiteralIndex(ELPLiteral l, java.lang.String p, java.lang.String pPrime)
l
- atom with sign S and any predicate N, terms Tp
- priority 1pPrime
- priority 2
protected ELPLiteral inverse(ELPLiteral l)
l
- = (Not) ~L
protected ELPLiteral higher(ELPLiteral l, java.lang.String index)
l
- literal l with sign S (p=+, n=~), functor N, terms Tindex
- priority index
protected ELPLiteral max(ELPLiteral l, java.lang.String index)
l
- literal l with sign S (p=+, n=~), functor N, terms Tindex
- priority index
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 void cleanAnswerSet(java.util.Set<ELPLiteral> as)
as
- public java.util.Map<java.lang.String,java.util.List<ELPLiteral>> getRejectSet()
IInferenceOperator
getRejectSet
in interface IInferenceOperator
protected void clearRejSet()
protected void add2RejSet(ELPLiteral l)
l
- literal to be insertedpublic 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 |