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 |
---|---|
private java.util.Set<Argument> |
ArgumentationKnowledgeBase.getArguments(java.util.LinkedList<Rule> rules)
Recursively constructions minimal arguments in a bottom-up fashion.
|
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
|
Constructor and Description |
---|
Argument(Rule rule) |
Constructor and Description |
---|
Argument(java.util.List<Rule> rules) |
Modifier and Type | Field and Description |
---|---|
(package private) Rule |
ArgumentationReasonerTest.r1 |
(package private) Rule |
ArgumentationReasonerTest.r2 |
(package private) Rule |
ArgumentationReasonerTest.r3 |
(package private) Rule |
ArgumentationReasonerTest.r4 |
(package private) Rule |
ArgumentationReasonerTest.r5 |
(package private) Rule |
ArgumentationReasonerTest.r6 |
(package private) Rule |
ArgumentationReasonerTest.r7 |
(package private) Rule |
ArgumentationReasonerTest.r8 |
Modifier and Type | Method and Description |
---|---|
(package private) NLPRule |
AspNlpTranslator.toNLP(Rule rule)
Translates the given ASP rule to a NLP-rule.
|
Modifier and Type | Field and Description |
---|---|
private SelectionFunction<Rule> |
ELPBaseRevisionOperator.selection |
private SelectionFunction<Rule> |
ScreenedMaxichoiceConsolidation.selection |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
ScreenedMaxichoiceConsolidation.consolidate(java.util.Collection<Rule> p) |
java.util.Collection<Rule> |
ELPBaseRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<Rule> remainderSets) |
java.util.Collection<Rule> |
MonotoneGlobalMaxichoiceSelectionFunction.select(ScreenedRemainderSets remainderSets)
Selects the maximal remainder set from the set of all remainder sets according to
a total order on all extended logic programs.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
ScreenedMaxichoiceConsolidation.consolidate(java.util.Collection<Rule> p) |
java.util.Collection<Rule> |
ELPBaseRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
ELPBaseRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
MonotoneGlobalMaxichoiceSelectionFunction.select(RemainderSets<Rule> remainderSets) |
Constructor and Description |
---|
ELPBaseRevisionOperator(Solver solver,
SelectionFunction<Rule> selection) |
ScreenedMaxichoiceConsolidation(Program screen,
SelectionFunction<Rule> selection,
Solver solver)
Creates a new screened maxi-choice consolidation operator with the given screen,
selection function and a link to an answer set solver.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<Rule> base,
Rule formula) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<Rule> base,
Rule formula) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
SimpleRevisionComparePresenter.MockOperator.revise(java.util.Collection<Rule> base,
Rule formula) |
Modifier and Type | Method and Description |
---|---|
protected static java.util.List<Pair<Rule,Rule>> |
PreferenceHandling.getConflictingRules(Program p1,
Program p2)
Helper method: Finds all pairs of conflicting rules in program p1 and p2.
|
protected static java.util.List<Pair<Rule,Rule>> |
PreferenceHandling.getConflictingRules(Program p1,
Program p2)
Helper method: Finds all pairs of conflicting rules in program p1 and p2.
|
Modifier and Type | Method and Description |
---|---|
Program |
PreferenceHandling.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
Program |
PreferenceHandling.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
Program |
CredibilityRevision.revise(java.util.List<java.util.Collection<Rule>> ol) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
ParameterisedArgumentativeSelectiveRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
ScepticalLiteralTransformationFunction.transform(java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
NaiveLiteralTransformationFunction.transform(java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
ScepticalLiteralTransformationFunction.transform(Rule rule)
"Transforms" the single rule by either accepting or rejecting it.
|
java.util.Collection<Rule> |
NaiveLiteralTransformationFunction.transform(Rule rule)
"Transforms" the single fact by either accepting or rejecting it.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
ScepticalLiteralTransformationFunction.transform(Rule rule)
"Transforms" the single rule by either accepting or rejecting it.
|
java.util.Collection<Rule> |
NaiveLiteralTransformationFunction.transform(Rule rule)
"Transforms" the single fact by either accepting or rejecting it.
|
Modifier and Type | Method and Description |
---|---|
java.util.Collection<Rule> |
ParameterisedArgumentativeSelectiveRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
ParameterisedArgumentativeSelectiveRevisionOperator.revise(java.util.Collection<Rule> base,
java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
ScepticalLiteralTransformationFunction.transform(java.util.Collection<Rule> formulas) |
java.util.Collection<Rule> |
NaiveLiteralTransformationFunction.transform(java.util.Collection<Rule> formulas) |
Constructor and Description |
---|
NaiveLiteralTransformationFunction(java.util.Collection<Rule> beliefSet,
AttackStrategy attackRelation,
AttackStrategy defenseRelation)
Creates a new naive transformation function for literals.
|
ScepticalLiteralTransformationFunction(java.util.Collection<Rule> beliefSet,
AttackStrategy attackRelation,
AttackStrategy defenseRelation)
Creates a new sceptical transformation function for literals.
|
Modifier and Type | Method and Description |
---|---|
static Rule |
ASPParser.parseRule(java.io.Reader reader) |
static Rule |
ASPParser.parseRule(java.lang.String rule) |
Rule |
InstantiateVisitor.visit(ASTRule node,
java.lang.Object data) |
Modifier and Type | Method and Description |
---|---|
Rule |
Rule.clone() |
Rule |
Rule.substitute(Term<?> v,
Term<?> t) |
Modifier and Type | Method and Description |
---|---|
int |
Rule.compareTo(Rule arg0) |
Constructor and Description |
---|
Rule(Rule other)
Copy-Ctor: Makes a deep copy of the given rule
|
Constructor and Description |
---|
Program(java.util.Collection<Rule> base)
Add all rules from base to this program.
|