Package org.tweetyproject.arg.rankings.reasoner

Class IteratedGradedDefenseReasoner

java.lang.Object

org.tweetyproject.arg.rankings.reasoner.AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

org.tweetyproject.arg.rankings.reasoner.IteratedGradedDefenseReasoner

All Implemented Interfaces:

ModelProvider<Argument,DungTheory,LatticePartialOrder<Argument,DungTheory>>, PostulateEvaluatable<Argument>

public class IteratedGradedDefenseReasoner
extends AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

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()	Default Constructor

Method Summary

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

IteratedGradedDefenseReasoner

public IteratedGradedDefenseReasoner()

Default Constructor

Method Details

gradedDefense

public Collection<Argument> gradedDefense(DungTheory theory,
 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 Collection<Argument> gradedNeutrality(DungTheory theory,
 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,
 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,
 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,
 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,
 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,
 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,
 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 Collection<Extension<DungTheory>> 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 Collection<Extension<DungTheory>> 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 Collection<Extension<DungTheory>> 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 Collection<Extension<DungTheory>> 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 Collection<LatticePartialOrder<Argument,DungTheory>> 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 LatticePartialOrder<Argument,DungTheory> 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.

isInstalled

public boolean isInstalled()

natively installed

Specified by:

isInstalled in class AbstractRankingReasoner<LatticePartialOrder<Argument,DungTheory>>

Returns:

is installed status