T
- is the type of the language that the ASPIC theory's rules range overpublic class AspicArgumentationTheory<T extends Invertable> extends java.lang.Object 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 java.util.Collection<InferenceRule<T>> |
rules
The inference rules this system's arguments will be created from,
correesponds to an argumentation theory (AS, KB) with
- AS argumentation system = rules with premises (p -> c)
- KB knowledge base = rules without premises (-> c)
|
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() |
java.util.Collection<InferenceRule<T>> |
getRules() |
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() |
private java.util.Collection<InferenceRule<T extends Invertable>> rules
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 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.util.Collection<InferenceRule<T>> getRules()
public java.lang.String toString()
toString
in interface BeliefBase
toString
in class java.lang.Object
public Signature getSignature()
BeliefBase
getSignature
in interface BeliefBase