Package net.sf.tweety.arg.delp.syntax

Class DelpArgument

java.lang.Object

net.sf.tweety.arg.delp.syntax.DelpArgument

All Implemented Interfaces:

net.sf.tweety.commons.Formula

public class DelpArgument
extends Object
implements net.sf.tweety.commons.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, net.sf.tweety.logics.fol.syntax.FolFormula conclusion)	constructor; initializes this argument with the given parameters
DelpArgument(net.sf.tweety.logics.fol.syntax.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<net.sf.tweety.logics.fol.syntax.FolFormula>	getAttackOpportunities(DefeasibleLogicProgram delp)	Computes the set of literals that disagree with the conclusion of a subargument of this argument
net.sf.tweety.logics.fol.syntax.FolFormula	getConclusion()	returns the conclusion of this argument
DelpArgument	getDisagreementSubargument(net.sf.tweety.logics.fol.syntax.FolFormula lit, DefeasibleLogicProgram delp)	Computes the disagreement subargument of this argument for the given literal
Set<DelpRule>	getRulesWithHead(net.sf.tweety.logics.fol.syntax.FolFormula l)	Returns all defeasible rules of the support of this argument with the given literal as head
net.sf.tweety.commons.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

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

DelpArgument

public DelpArgument(net.sf.tweety.logics.fol.syntax.FolFormula conclusion)

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

Parameters:

conclusion - a literal

DelpArgument

public DelpArgument(Set<DefeasibleRule> support,
                    net.sf.tweety.logics.fol.syntax.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 Detail

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<net.sf.tweety.logics.fol.syntax.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(net.sf.tweety.logics.fol.syntax.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(net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.logics.fol.syntax.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 net.sf.tweety.commons.Signature getSignature()

Always null.

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Returns:

null

equals

public boolean equals(Object o)

Overrides:

equals in class Object

hashCode

public int hashCode()

Overrides:

hashCode in class Object