Class ParameterisedArgumentativeSelectiveRevisionOperator
- java.lang.Object
-
- net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<ASPRule>
-
- net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator
-
- All Implemented Interfaces:
BaseRevisionOperator<ASPRule>
public class ParameterisedArgumentativeSelectiveRevisionOperator extends MultipleBaseRevisionOperator<ASPRule>
This class represents a selective revision using the base revision approach from [1] for the inner revision and the sceptical argumentative transformation function from [2]. The selective revision operator is parameterised by two notions of attack used by the argumentation framework utilised by the transformation function. In [2] it is shown that there are at least 5 classes of distinct plausible instantiations of this operator: a/a, d/d, sa/sa, sa/a, and ca/ca where "a" stands for Attack, "d" for Defeat, "sa" for Strong Attack and "ca" for Confident Attack. For further details see the parameterisedhierarchy tweety project and [2]. [1] Kruempelmann, Patrick und Gabriele Kern-Isberner: Belief Base Change Operations for Answer Set Programming. In: Cerro, Luis Farinas, Andreas Herzig und Jerome Mengin (Herausgeber): Proceedings of the 13th European conference on Logics in Artificial Intelligence, Band 7519, Seiten 294-306, Toulouse, France, 2012. Springer Berlin Heidelberg. [2] Homann, Sebastian: Master thesis: Argumentationsbasierte selektive Revision von erweiterten logischen Programmen. 2013- Author:
- Sebastian Homann
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType
-
Constructor Summary
Constructors Constructor Description ParameterisedArgumentativeSelectiveRevisionOperator(ASPSolver solver, AttackStrategy attackRelation, AttackStrategy defenseRelation, ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type)
Constructs a new selective revision operator using the given attack relations and a asp solver.
-
Method Summary
-
Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator
revise
-
-
-
-
Constructor Detail
-
ParameterisedArgumentativeSelectiveRevisionOperator
public ParameterisedArgumentativeSelectiveRevisionOperator(ASPSolver solver, AttackStrategy attackRelation, AttackStrategy defenseRelation, ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type)
Constructs a new selective revision operator using the given attack relations and a asp solver.- Parameters:
solver
- an answer set solverattackRelation
- a notion of attackdefenseRelation
- a notion of attacktype
- the type of transformation
-
-
Method Detail
-
revise
public java.util.Collection<ASPRule> revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)
Description copied from class:MultipleBaseRevisionOperator
Revises the first collection of formulas by the second collection of formulas.- Specified by:
revise
in classMultipleBaseRevisionOperator<ASPRule>
- Parameters:
base
- some collection of formulas.formulas
- some formulas.- Returns:
- the revised collection.
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-