net.sf.tweety.arg.dung.reasoner

Class GrossiModgilRankingReasoner

java.lang.Object

net.sf.tweety.arg.dung.reasoner.AbstractDungReasoner

net.sf.tweety.arg.dung.reasoner.GrossiModgilRankingReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,DungTheory,ArgumentRanking>, net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>, net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

public class GrossiModgilRankingReasoner
extends AbstractDungReasoner
implements net.sf.tweety.commons.ModelProvider<Argument,DungTheory,ArgumentRanking>

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 and Description
GrossiModgilRankingReasoner()

Method Summary

Modifier and Type	Method and Description
Collection<Extension>	getAllMNCompleteExtensions(DungTheory theory, int m, int n) Returns all mn-complete extensions.
Collection<Extension>	getAllMNGroundedExtensions(DungTheory theory, int m, int n) Returns all mn-grounded extensions.
Collection<Extension>	getAllMNPreferredExtensions(DungTheory theory, int m, int n) Returns all mn-preferred extensions.
Collection<Extension>	getAllMStableExtensions(DungTheory theory, int m) Returns all m-stable extensions.
ArgumentRanking	getModel(DungTheory bbase)
Collection<ArgumentRanking>	getModels(DungTheory bbase)
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	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.
Boolean	query(DungTheory beliefbase, Argument formula)

Methods inherited from class java.lang.Object

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

Constructor Detail

GrossiModgilRankingReasoner

public GrossiModgilRankingReasoner()

Method Detail

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> 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> 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> 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> getAllMStableExtensions(DungTheory theory,
                                                     int m)

Returns all m-stable extensions.

Parameters:

theory - a Dung theory

m - some integer

n - some integer

Returns:

all m-stable extensions.

getModels

public Collection<ArgumentRanking> getModels(DungTheory bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,ArgumentRanking>

getModel

public ArgumentRanking getModel(DungTheory bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,DungTheory,ArgumentRanking>

query

public Boolean query(DungTheory beliefbase,
                     Argument formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,DungTheory,Argument>

Specified by:

query in class AbstractDungReasoner