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

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

Field Summary

Fields

Modifier and Type	Field	Description
private AttackStrategy	attackRelation
private AttackStrategy	defenseRelation
private ASPSolver	solver
private ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType	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
java.util.Collection<ASPRule>	revise(java.util.Collection<ASPRule> base, java.util.Collection<ASPRule> formulas)	Revises the first collection of formulas by the second collection of formulas.
java.lang.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

Field Detail

solver

private ASPSolver solver

attackRelation

private AttackStrategy attackRelation

defenseRelation

private AttackStrategy defenseRelation

transformationType

private ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType transformationType

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 solver

attackRelation - a notion of attack

defenseRelation - a notion of attack

type - 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 class MultipleBaseRevisionOperator<ASPRule>

Parameters:

base - some collection of formulas.

formulas - some formulas.

Returns:

the revised collection.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object