Package org.tweetyproject.arg.delp.syntax

Class DelpArgument

java.lang.Object

org.tweetyproject.arg.delp.syntax.DelpArgument

All Implemented Interfaces:

Formula

public class DelpArgument
extends Object
implements Formula

This class models a DeLP argument which comprises of a set of defeasible rules (the support) and a literal (the conclusion).

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
DelpArgument(Set<DefeasibleRule> support, FolFormula conclusion)	constructor; initializes this argument with the given parameters
DelpArgument(FolFormula conclusion)	constructor; initializes the conclusion of this argument with the given literal

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object o)
Set<FolFormula>	getAttackOpportunities(DefeasibleLogicProgram delp)	Computes the set of literals that disagree with the conclusion of a subargument of this argument
FolFormula	getConclusion()	returns the conclusion of this argument
DelpArgument	getDisagreementSubargument(FolFormula lit, DefeasibleLogicProgram delp)	Computes the disagreement subargument of this argument for the given literal
Set<DelpRule>	getRulesWithHead(FolFormula l)	Returns all defeasible rules of the support of this argument with the given literal as head
Signature	getSignature()	Always null.
Set<DefeasibleRule>	getSupport()	returns the support of this argument
int	hashCode()
boolean	isStrongSubargumentOf(DelpArgument argument)	Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argument
boolean	isSubargumentOf(DelpArgument argument)	Checks whether this argument is a subargument of the given argument
String	toString()

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

DelpArgument

public DelpArgument(FolFormula conclusion)

constructor; initializes the conclusion of this argument with the given literal

Parameters:

conclusion - a literal

DelpArgument

public DelpArgument(Set<DefeasibleRule> support,
 FolFormula conclusion)

constructor; initializes this argument with the given parameters

Parameters:

support - a set of defeasible rules

conclusion - a literal (must not be NULL)

Method Details

isSubargumentOf

public boolean isSubargumentOf(DelpArgument argument)

Checks whether this argument is a subargument of the given argument

Parameters:

argument - a DeLP argument

Returns:

true iff this argument is a subargument of the given argument

isStrongSubargumentOf

public boolean isStrongSubargumentOf(DelpArgument argument)

Checks whether this argument is a strong subargument of the given argument, i.e., if the support of this argument is a strict subset of the support of the given argument

Parameters:

argument - a DeLP argument

Returns:

true iff this argument is a strong subargument of the given argument

getAttackOpportunities

public Set<FolFormula> getAttackOpportunities(DefeasibleLogicProgram delp)

Computes the set of literals that disagree with the conclusion of a subargument of this argument

Parameters:

delp - a defeasible logic program

Returns:

the set of literals that disagree with the conclusion of a subargument of this argument

getDisagreementSubargument

public DelpArgument getDisagreementSubargument(FolFormula lit,
 DefeasibleLogicProgram delp)

Computes the disagreement subargument of this argument for the given literal

Parameters:

lit - a literal

delp - a defeasible logic program

Returns:

the disagreement subargument for lit or null if there is no disagreement subargument

getRulesWithHead

public Set<DelpRule> getRulesWithHead(FolFormula l)

Returns all defeasible rules of the support of this argument with the given literal as head

Parameters:

l - a literal

Returns:

a set defeasible rules

getConclusion

public FolFormula getConclusion()

returns the conclusion of this argument

Returns:

the conclusion of this argument

getSupport

public Set<DefeasibleRule> getSupport()

returns the support of this argument

Returns:

the support of this argument

toString

public String toString()

Overrides:

toString in class Object

getSignature

public Signature getSignature()

Always null.

Specified by:

getSignature in interface Formula

Returns:

null

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object