T
- is the type of the language that the ASPIC theory's rules range overpublic class AspicArgumentationTheory<T extends Invertable> extends RuleSet<InferenceRule<T>> implements BeliefBase
Modifier and Type | Field and Description |
---|---|
private java.util.Comparator<AspicArgument<T>> |
order
An order over this system's arguments, needed for their defeat relation
|
private RuleFormulaGenerator<T> |
rfgen
Used to transform ASPIC inference rules into words of the language they range over
|
private static long |
serialVersionUID |
Constructor and Description |
---|
AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
Constructs a new ASPIC argumentation theory
|
Modifier and Type | Method and Description |
---|---|
void |
addAxiom(T axiom)
Adds an additional axiom, i.e.
|
void |
addOrdinaryPremise(T prem)
Adds an additional ordinary, i.e.
|
void |
addRule(InferenceRule<T> rule)
Adds an additional inference rule
|
DungTheory |
asDungTheory()
This method transfers this Aspic+ theory into a Dung style srhumentation system
|
java.util.Collection<AspicArgument<T>> |
getArguments()
Expands this systems's inference rules into a tree arguments
|
java.util.Comparator<AspicArgument<T>> |
getOrder() |
RuleFormulaGenerator<T> |
getRuleFormulaGenerator()
Returns the generator to transform rules into words of the language they range over
|
Signature |
getSignature()
Returns the signature of the language of this knowledge base.
|
void |
setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the arguments
|
void |
setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
Set a new generator to transform rules into words of the language they range over
|
java.lang.String |
toString() |
getConclusions, getPremises, getRulesWithConclusion, getSyntacticModule
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
addAll, containsAll, retainAll, toArray, toArray
finalize, getClass, notify, notifyAll, wait, wait, wait
private static final long serialVersionUID
private java.util.Comparator<AspicArgument<T extends Invertable>> order
private RuleFormulaGenerator<T extends Invertable> rfgen
public AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
rfgen
- function to map defeasible rules to labelspublic void setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
rfg
- is the new formula generatorpublic RuleFormulaGenerator<T> getRuleFormulaGenerator()
public void addRule(InferenceRule<T> rule)
rule
- the rule to be addedpublic void addAxiom(T axiom)
axiom
- the axiom's conclusionpublic void addOrdinaryPremise(T prem)
prem
- the premise's conclusionpublic DungTheory asDungTheory()
public java.util.Collection<AspicArgument<T>> getArguments()
public void setOrder(java.util.Comparator<AspicArgument<T>> order)
order
- the new orderpublic java.util.Comparator<AspicArgument<T>> getOrder()
public java.lang.String toString()
toString
in interface BeliefBase
toString
in class java.util.AbstractCollection<InferenceRule<T extends Invertable>>
public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase