Modifier and Type | Method and Description |
---|---|
private java.util.Set<DLPLiteral> |
ArgumentationKnowledgeBase.getDerivableLiterals(java.util.Collection<Rule> rules)
This method returns the set of conclusions of all rules in the collection
of rules given.
|
private java.util.Set<DLPLiteral> |
ArgumentationKnowledgeBase.getOpenLiterals(java.util.Collection<Rule> rules)
Returns the set of non-default-negated literals that are part of the premise
of some rule but not the conclusion of some other rule
|
Modifier and Type | Method and Description |
---|---|
boolean |
LiteralReasoner.isJustified(DLPLiteral arg)
A literal is called x/y-justified, if a x/y-justified
argument with conclusion arg can be constructed from p.
|
boolean |
LiteralReasoner.isOverruled(DLPLiteral arg)
A literal is called x/y-overruled, iff it is not x/y-justified.
|
Modifier and Type | Method and Description |
---|---|
private boolean |
ArgumentationKnowledgeBase.isTrue(Rule rule,
java.util.Set<DLPLiteral> literals)
Returns true iff each non-default-negated literal in the premise
of rule is contained in the set of literals
|
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPLiteral> |
Argument.getAssumptions()
Returns the set of assumptions, i.e.
|
java.util.Set<DLPLiteral> |
Argument.getConclusions()
Returns the set of conclusions of this argument, which is made up of
the heads of all rules contained in this argument.
|
Modifier and Type | Method and Description |
---|---|
FolFormula |
AspFolTranslator.toFOL(DLPLiteral source) |
Modifier and Type | Method and Description |
---|---|
private boolean |
SdInconsistencyMeasure.isConsistent(java.util.Collection<DLPLiteral> c)
Checks whether the given set of literals is consistent, i.e.
|
Modifier and Type | Field and Description |
---|---|
private java.util.Map<DLPLiteral,java.lang.String> |
CredibilityRevision.literalMap
a map used during the creation of the credibility logic program
|
Modifier and Type | Method and Description |
---|---|
private java.lang.String |
CredibilityRevision.translateLiteral(DLPLiteral lit)
Helper method: creates a string representing the literal and an literal
representing the prioritzed version of the literal.
|
Modifier and Type | Method and Description |
---|---|
DLPLiteral |
InstantiateVisitor.visit(ASTAtom node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPLiteral> |
InstantiateVisitor.visit(ASTHead node,
java.lang.Object data) |
Modifier and Type | Class and Description |
---|---|
class |
DLPAtom
this class models an atom, which is a basic structure for
building literals and rules for logic programs
|
class |
DLPNeg
This class models strict negation for atoms.
|
Modifier and Type | Field and Description |
---|---|
(package private) DLPLiteral |
DLPNot.lit |
Modifier and Type | Field and Description |
---|---|
private AssociativeFormulaSupport<DLPLiteral> |
DLPHead.assocSupport |
Modifier and Type | Method and Description |
---|---|
DLPLiteral |
DLPNeg.cloneWithAddedTerm(Term<?> term) |
DLPLiteral |
DLPLiteral.cloneWithAddedTerm(Term<?> term)
Creates a copy of the literal and adds the
given term as argument to the end of the argument
list.
|
DLPLiteral |
DLPLiteral.complement() |
DLPLiteral |
DLPHead.get(int index) |
DLPLiteral |
DLPHead.remove(int index) |
DLPLiteral |
DLPHead.set(int index,
DLPLiteral element) |
DLPLiteral |
DLPLiteral.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
java.util.List<DLPLiteral> |
DLPHead.getFormulas() |
java.util.SortedSet<DLPLiteral> |
DLPAtom.getLiterals() |
java.util.SortedSet<DLPLiteral> |
DLPNeg.getLiterals() |
java.util.SortedSet<DLPLiteral> |
Rule.getLiterals() |
java.util.SortedSet<DLPLiteral> |
DLPNot.getLiterals() |
java.util.SortedSet<DLPLiteral> |
DLPHead.getLiterals() |
java.util.SortedSet<DLPLiteral> |
Aggregate.getLiterals() |
java.util.SortedSet<DLPLiteral> |
Comparative.getLiterals() |
java.util.SortedSet<DLPLiteral> |
Arithmetic.getLiterals() |
java.util.SortedSet<DLPLiteral> |
DLPElement.getLiterals() |
java.util.Iterator<DLPLiteral> |
DLPHead.iterator() |
java.util.ListIterator<DLPLiteral> |
DLPHead.listIterator() |
java.util.ListIterator<DLPLiteral> |
DLPHead.listIterator(int index) |
java.util.List<DLPLiteral> |
DLPHead.subList(int fromIndex,
int toIndex) |
Modifier and Type | Method and Description |
---|---|
boolean |
DLPHead.add(DLPLiteral arg0) |
void |
DLPHead.add(int index,
DLPLiteral element) |
void |
Program.addFact(DLPLiteral fact) |
int |
DLPAtom.compareTo(DLPLiteral o) |
int |
DLPNeg.compareTo(DLPLiteral o) |
DLPLiteral |
DLPHead.set(int index,
DLPLiteral element) |
void |
Rule.setConclusion(DLPLiteral literal) |
Modifier and Type | Method and Description |
---|---|
boolean |
DLPHead.addAll(java.util.Collection<? extends DLPLiteral> arg0) |
boolean |
DLPHead.addAll(int index,
java.util.Collection<? extends DLPLiteral> c) |
Program |
Program.reduct(java.util.Collection<DLPLiteral> state)
Returns the reduct of this program wrt.
|
Constructor and Description |
---|
DLPHead(DLPLiteral literal)
Ctor: Generates a head with one literal
|
DLPNot(DLPLiteral inner) |
Rule(DLPLiteral head)
Ctor: Create a rule with the given head, cause there are no
body elements the created rule is a fact.
|
Rule(DLPLiteral head,
DLPElement body) |
Rule(DLPLiteral head,
java.util.List<DLPElement> litsBody) |
Constructor and Description |
---|
Rule(java.util.List<DLPLiteral> litsHead,
java.util.List<DLPElement> litsBody) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<DLPLiteral> |
AnswerSetList.getFactsByName(java.lang.String name) |
java.util.Set<DLPLiteral> |
AnswerSetList.getFactsByName(java.lang.String name,
int policy)
Returns all the literals in the answer-set which have a given name.
|
java.util.Set<DLPLiteral> |
AnswerSet.getLiteralsWithName(java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
boolean |
AnswerSetList.holdsAll(DLPLiteral q)
this method returns ture iff all
answer sets support q.
|
boolean |
AnswerSetList.holdsOne(DLPLiteral q)
this method returns true if at least one
answer set support q.
|
Constructor and Description |
---|
AnswerSet(java.util.Collection<DLPLiteral> lits,
int level,
int weight) |