Package net.sf.tweety.lp.asp.beliefdynamics.selectiverevision

Class ParameterisedArgumentativeSelectiveRevisionOperator

java.lang.Object

net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.lp.asp.syntax.ASPRule>

net.sf.tweety.lp.asp.beliefdynamics.selectiverevision.ParameterisedArgumentativeSelectiveRevisionOperator

All Implemented Interfaces:

net.sf.tweety.beliefdynamics.BaseRevisionOperator<net.sf.tweety.lp.asp.syntax.ASPRule>

public class ParameterisedArgumentativeSelectiveRevisionOperator
extends net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.lp.asp.syntax.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(net.sf.tweety.lp.asp.reasoner.ASPSolver solver, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation, net.sf.tweety.arg.lp.semantics.attack.AttackStrategy defenseRelation, ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type)	Constructs a new selective revision operator using the given attack relations and a asp solver.

Method Summary

Modifier and Type	Method	Description
Collection<net.sf.tweety.lp.asp.syntax.ASPRule>	revise(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> base, Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)
String	toString()

Methods inherited from class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

ParameterisedArgumentativeSelectiveRevisionOperator

public ParameterisedArgumentativeSelectiveRevisionOperator(net.sf.tweety.lp.asp.reasoner.ASPSolver solver,
                                                           net.sf.tweety.arg.lp.semantics.attack.AttackStrategy attackRelation,
                                                           net.sf.tweety.arg.lp.semantics.attack.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 solver

attackRelation - a notion of attack

defenseRelation - a notion of attack

type - the type of transformation

Method Detail

revise

public Collection<net.sf.tweety.lp.asp.syntax.ASPRule> revise(Collection<net.sf.tweety.lp.asp.syntax.ASPRule> base,
                                                              Collection<net.sf.tweety.lp.asp.syntax.ASPRule> formulas)

Specified by:

revise in class net.sf.tweety.beliefdynamics.MultipleBaseRevisionOperator<net.sf.tweety.lp.asp.syntax.ASPRule>

toString

public String toString()

Overrides:

toString in class Object