Package org.tweetyproject.lp.asp.beliefdynamics.selectiverevision

Class ParameterisedArgumentativeSelectiveRevisionOperator

java.lang.Object

org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator<ASPRule>

org.tweetyproject.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

Modifier and Type	Method	Description
Collection<ASPRule>	revise(Collection<ASPRule> base, Collection<ASPRule> formulas)	Revises the first collection of formulas by the second collection of formulas.
String	toString()

Methods inherited from class org.tweetyproject.beliefdynamics.MultipleBaseRevisionOperator

revise

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 solver

attackRelation - a notion of attack

defenseRelation - a notion of attack

type - the type of transformation

Method Details

revise

public Collection<ASPRule> revise(Collection<ASPRule> base,
 Collection<ASPRule> formulas)

Description copied from class: MultipleBaseRevisionOperator

Revises the first collection of formulas by the second collection of formulas.

Specified by:

revise in class MultipleBaseRevisionOperator<ASPRule>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.

toString

public String toString()

Overrides:

toString in class Object