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:

ModelProvider<Argument,DungTheory,ArgumentRanking>, QualitativeReasoner<DungTheory,Argument>, Reasoner<java.lang.Boolean,DungTheory,Argument>

public class GrossiModgilRankingReasoner
extends AbstractDungReasoner
implements 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
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.
ArgumentRanking	getModel(DungTheory bbase) Returns a single (dedicated) model of the given belief base.
java.util.Collection<ArgumentRanking>	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.
private boolean	isContainedInAll(Argument y, java.util.Collection<Extension> exts) Checks whether the given argument "y" is contained in all sets of arguments in "args".
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.
private int	numOfAttackers(DungTheory theory, Argument y, java.util.Collection<Argument> x) Determines the number of attackers from x to y.
java.lang.Boolean	query(DungTheory beliefbase, Argument formula) Queries the given belief base for the given 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

numOfAttackers

private int numOfAttackers(DungTheory theory,
                           Argument y,
                           java.util.Collection<Argument> x)

Determines the number of attackers from x to y.

Parameters:

theory - a Dung theory.

y - some argument

x - some set of arguments

Returns:

the number of attackers from x to y.

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

n - some integer

Returns:

all m-stable extensions.

isContainedInAll

private boolean isContainedInAll(Argument y,
                                 java.util.Collection<Extension> exts)

Checks whether the given argument "y" is contained in all sets of arguments in "args".

Parameters:

y - some argument

exts - some set of sets of arguments

Returns:

"true" iff the given argument "y" is contained in all sets of arguments in "args".

getModels

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

Description copied from interface: ModelProvider

Returns a characterizing model of the given belief base

Specified by:

getModels in interface ModelProvider<Argument,DungTheory,ArgumentRanking>

Parameters:

bbase - some belief base

Returns:

the (selected) models of the belief base

getModel

public ArgumentRanking 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.

Specified by:

getModel in interface ModelProvider<Argument,DungTheory,ArgumentRanking>

Returns:

a selected model of the belief base.

query

public java.lang.Boolean query(DungTheory beliefbase,
                               Argument formula)

Description copied from interface: Reasoner

Queries the given belief base for the given formula.

Specified by:

query in interface QualitativeReasoner<DungTheory,Argument>

Specified by:

query in interface Reasoner<java.lang.Boolean,DungTheory,Argument>

Specified by:

query in class AbstractDungReasoner

Parameters:

beliefbase - a belief base

formula - a formula

Returns:

the answer to the query