public class DelpArgument extends java.lang.Object implements Formula
Modifier and Type | Field and Description |
---|---|
private FolFormula |
conclusion
The conclusion of this argument (must be a literal)
|
private java.util.Set<DefeasibleRule> |
support
The support of this argument
|
Constructor and Description |
---|
DelpArgument(FolFormula conclusion)
constructor; initializes the conclusion of this argument with the given literal
|
DelpArgument(java.util.Set<DefeasibleRule> support,
FolFormula conclusion)
constructor; initializes this argument with the given parameters
|
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
java.util.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
|
java.util.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.
|
java.util.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
|
java.lang.String |
toString() |
private final java.util.Set<DefeasibleRule> support
private final FolFormula conclusion
public DelpArgument(FolFormula conclusion)
conclusion
- a literalpublic DelpArgument(java.util.Set<DefeasibleRule> support, FolFormula conclusion)
support
- a set of defeasible rulesconclusion
- a literal (must not be NULL)public boolean isSubargumentOf(DelpArgument argument)
argument
- a DeLP argumentpublic boolean isStrongSubargumentOf(DelpArgument argument)
argument
- a DeLP argumentpublic java.util.Set<FolFormula> getAttackOpportunities(DefeasibleLogicProgram delp)
delp
- a defeasible logic programpublic DelpArgument getDisagreementSubargument(FolFormula lit, DefeasibleLogicProgram delp)
lit
- a literaldelp
- a defeasible logic programpublic java.util.Set<DelpRule> getRulesWithHead(FolFormula l)
l
- a literalpublic FolFormula getConclusion()
public java.util.Set<DefeasibleRule> getSupport()
public java.lang.String toString()
toString
in class java.lang.Object
public Signature getSignature()
getSignature
in interface Formula
null
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object