public class ArgumentationKnowledgeBase extends BeliefSet<Argument>
Constructor and Description |
---|
ArgumentationKnowledgeBase(Program program) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<Argument> |
getArguments()
Returns all minimal arguments constructible from the extended logic program
|
private java.util.Set<Argument> |
getArguments(java.util.LinkedList<Rule> rules)
Recursively constructions minimal arguments in a bottom-up fashion.
|
private java.util.Set<DLPLiteral> |
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> |
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
|
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
private boolean |
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
|
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toString
private Program program
public ArgumentationKnowledgeBase(Program program)
public java.util.Set<Argument> getArguments()
private java.util.Set<Argument> getArguments(java.util.LinkedList<Rule> rules)
rules
- A set of rules already part of the argumentprivate java.util.Set<DLPLiteral> getOpenLiterals(java.util.Collection<Rule> rules)
rules
- a set of rulesprivate java.util.Set<DLPLiteral> getDerivableLiterals(java.util.Collection<Rule> rules)
rules
- a collection of rulesprivate boolean isTrue(Rule rule, java.util.Set<DLPLiteral> literals)
rule
- an elp ruleliterals
- a set of literalspublic Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase
getSignature
in class BeliefSet<Argument>