Class DelpArgument
java.lang.Object
org.tweetyproject.arg.delp.syntax.DelpArgument
- All Implemented Interfaces:
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
ConstructorDescriptionDelpArgument
(Set<DefeasibleRule> support, FolFormula conclusion) constructor; initializes this argument with the given parametersDelpArgument
(FolFormula conclusion) constructor; initializes the conclusion of this argument with the given literal -
Method Summary
Modifier and TypeMethodDescriptionboolean
Computes the set of literals that disagree with the conclusion of a subargument of this argumentreturns the conclusion of this argumentComputes the disagreement subargument of this argument for the given literalReturns all defeasible rules of the support of this argument with the given literal as headAlways null.returns the support of this argumentint
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 argumentboolean
isSubargumentOf
(DelpArgument argument) Checks whether this argument is a subargument of the given argumenttoString()
-
Constructor Details
-
DelpArgument
constructor; initializes the conclusion of this argument with the given literal- Parameters:
conclusion
- a literal
-
DelpArgument
constructor; initializes this argument with the given parameters- Parameters:
support
- a set of defeasible rulesconclusion
- a literal (must not be NULL)
-
-
Method Details
-
isSubargumentOf
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
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
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
Computes the disagreement subargument of this argument for the given literal- Parameters:
lit
- a literaldelp
- a defeasible logic program- Returns:
- the disagreement subargument for
lit
ornull
if there is no disagreement subargument
-
getRulesWithHead
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
returns the conclusion of this argument- Returns:
- the conclusion of this argument
-
getSupport
returns the support of this argument- Returns:
- the support of this argument
-
toString
-
getSignature
Always null.- Specified by:
getSignature
in interfaceFormula
- Returns:
null
-
equals
-
hashCode
public int hashCode()
-