Package net.sf.tweety.arg.rankings.reasoner

Class IteratedGradedDefenseReasoner

java.lang.Object

net.sf.tweety.arg.rankings.reasoner.AbstractRankingReasoner<LatticeArgumentRanking>

net.sf.tweety.arg.rankings.reasoner.IteratedGradedDefenseReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,LatticeArgumentRanking>, PostulateEvaluatable<Argument>

public class IteratedGradedDefenseReasoner
extends AbstractRankingReasoner<LatticeArgumentRanking>

This class implements the argument ranking approach of [Grossi, Modgil. On the Graded Acceptability of Arguments. IJCAI 2015] The used algorithms are simple brute force search algorithms.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
IteratedGradedDefenseReasoner()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<Extension>	getAllMNCompleteExtensions(DungTheory theory, int m, int n)	Returns all mn-complete extensions.
java.util.Collection<Extension>	getAllMNGroundedExtensions(DungTheory theory, int m, int n)	Returns all mn-grounded extensions.
java.util.Collection<Extension>	getAllMNPreferredExtensions(DungTheory theory, int m, int n)	Returns all mn-preferred extensions.
java.util.Collection<Extension>	getAllMStableExtensions(DungTheory theory, int m)	Returns all m-stable extensions.
LatticeArgumentRanking	getModel(DungTheory bbase)	Returns a single (dedicated) model of the given belief base.
java.util.Collection<LatticeArgumentRanking>	getModels(DungTheory bbase)	Returns a characterizing model of the given belief base
java.util.Collection<Argument>	gradedDefense(DungTheory theory, java.util.Collection<Argument> args, int m, int n)	Implements the graded defense function from Def.
java.util.Collection<Argument>	gradedNeutrality(DungTheory theory, java.util.Collection<Argument> args, int m)	Implements the graded neutrality function from Def.
boolean	isMConflictFree(DungTheory theory, java.util.Collection<Argument> args, int m)	Checks whether the given set of arguments is m-conflict-free, cf.
boolean	isMNAdmissible(DungTheory theory, java.util.Collection<Argument> args, int m, int n)	Checks whether the given set of arguments is mn-admissible, cf.
boolean	isMNComplete(DungTheory theory, java.util.Collection<Argument> args, int m, int n)	Checks whether the given set of arguments is mn-complete, cf.
boolean	isMNGrounded(DungTheory theory, java.util.Collection<Argument> args, int m, int n)	Checks whether the given set of arguments is mn-grounded, cf.
boolean	isMNPreferred(DungTheory theory, java.util.Collection<Argument> args, int m, int n)	Checks whether the given set of arguments is mn-preferred, cf.
boolean	isMStable(DungTheory theory, java.util.Collection<Argument> args, int m)	Checks whether the given set of arguments is m-stable, cf.

Methods inherited from class java.lang.Object

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

Constructor Detail

IteratedGradedDefenseReasoner

public IteratedGradedDefenseReasoner()

Method Detail

gradedDefense

public java.util.Collection<Argument> gradedDefense(DungTheory theory,
                                                    java.util.Collection<Argument> args,
                                                    int m,
                                                    int n)

Implements the graded defense function from Def. 5, i.e. gradedDefense_m_n(X) = { x | there are not more than m different y s.t. y attacks x and there are not more than n different z s.t. z attacks y and z is in X}

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer (indicating the number of attackers)

n - some integer (indicating the number of attackers of attackers)

Returns:

the set of arguments mn-defended by the given set of arguments

gradedNeutrality

public java.util.Collection<Argument> gradedNeutrality(DungTheory theory,
                                                       java.util.Collection<Argument> args,
                                                       int m)

Implements the graded neutrality function from Def. 6, i.e. gradedNeutrality_m(X) = {x | there are less than m arguments y from X that attack x}

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer (the number of attackers)

Returns:

the set of arguments m-neutral to args.

isMConflictFree

public boolean isMConflictFree(DungTheory theory,
                               java.util.Collection<Argument> args,
                               int m)

Checks whether the given set of arguments is m-conflict-free, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

Returns:

"true" iff args is m-conflict-free

isMNAdmissible

public boolean isMNAdmissible(DungTheory theory,
                              java.util.Collection<Argument> args,
                              int m,
                              int n)

Checks whether the given set of arguments is mn-admissible, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-admissible

isMNComplete

public boolean isMNComplete(DungTheory theory,
                            java.util.Collection<Argument> args,
                            int m,
                            int n)

Checks whether the given set of arguments is mn-complete, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-complete

isMStable

public boolean isMStable(DungTheory theory,
                         java.util.Collection<Argument> args,
                         int m)

Checks whether the given set of arguments is m-stable, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

Returns:

"true" iff args is m-stable

isMNGrounded

public boolean isMNGrounded(DungTheory theory,
                            java.util.Collection<Argument> args,
                            int m,
                            int n)

Checks whether the given set of arguments is mn-grounded, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-grounded

isMNPreferred

public boolean isMNPreferred(DungTheory theory,
                             java.util.Collection<Argument> args,
                             int m,
                             int n)

Checks whether the given set of arguments is mn-preferred, cf. Def. 9.

Parameters:

theory - a Dung theory

args - some set of arguments

m - some integer

n - some integer

Returns:

"true" iff args is mn-preferred

getAllMNCompleteExtensions

public java.util.Collection<Extension> getAllMNCompleteExtensions(DungTheory theory,
                                                                  int m,
                                                                  int n)

Returns all mn-complete extensions.

Parameters:

theory - a Dung theory

m - some integer

n - some integer

Returns:

all mn-complete extensions.

getAllMNPreferredExtensions

public java.util.Collection<Extension> getAllMNPreferredExtensions(DungTheory theory,
                                                                   int m,
                                                                   int n)

Returns all mn-preferred extensions.

Parameters:

theory - a Dung theory

m - some integer

n - some integer

Returns:

all mn-preferred extensions.

getAllMNGroundedExtensions

public java.util.Collection<Extension> getAllMNGroundedExtensions(DungTheory theory,
                                                                  int m,
                                                                  int n)

Returns all mn-grounded extensions.

Parameters:

theory - a Dung theory

m - some integer

n - some integer

Returns:

all mn-grounded extensions.

getAllMStableExtensions

public java.util.Collection<Extension> getAllMStableExtensions(DungTheory theory,
                                                               int m)

Returns all m-stable extensions.

Parameters:

theory - a Dung theory

m - some integer

Returns:

all m-stable extensions.

getModels

public java.util.Collection<LatticeArgumentRanking> getModels(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public LatticeArgumentRanking getModel(DungTheory bbase)

Description copied from interface: ModelProvider

Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.

Parameters:

bbase - some belief base

Returns:

a selected model of the belief base.