Package net.sf.tweety.arg.aspic.syntax
Class AspicArgumentationTheory<T extends Invertable>
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractSet<E>
-
- java.util.HashSet<T>
-
- net.sf.tweety.commons.util.rules.RuleSet<InferenceRule<T>>
-
- net.sf.tweety.arg.aspic.syntax.AspicArgumentationTheory<T>
-
- Type Parameters:
T
- is the type of the language that the ASPIC theory's rules range over
- All Implemented Interfaces:
java.io.Serializable
,java.lang.Cloneable
,java.lang.Iterable<InferenceRule<T>>
,java.util.Collection<InferenceRule<T>>
,java.util.Set<InferenceRule<T>>
,BeliefBase
public class AspicArgumentationTheory<T extends Invertable> extends RuleSet<InferenceRule<T>> implements BeliefBase
- Author:
- Nils Geilen, Matthias Thimm According to Modgil and Prakken (http://www.cs.uu.nl/groups/IS/archive/henry/ASPICtutorial.pdf) this represents an argumentation theory (AS, KB) with - AS argumentation system (e.g. inference rules) - KB knowledge base and/or a corresponding structured argumentation framework (A,C,<=) with - A set of arguments - C set of attacks - <= order on the arguments and/or a corresponding abstract argumentation framework (A, D) with - A set of arguments - D defeat relationship
- See Also:
- Serialized Form
-
-
Constructor Summary
Constructors Constructor Description AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
Constructs a new ASPIC argumentation theory
-
Method Summary
Modifier and Type Method 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 ruleDungTheory
asDungTheory()
This method transfers this Aspic+ theory into a Dung style argumentation systemDungTheory
asDungTheory(boolean simplifyArgumentStructure)
This method transfers this Aspic+ theory into a Dung style argumentation systemjava.util.Collection<AspicArgument<T>>
getArguments()
Expands this systems's inference rules into a tree argumentsSignature
getMinimalSignature()
Returns the signature of the language of this knowledge base.java.util.Comparator<AspicArgument<T>>
getOrder()
RuleFormulaGenerator<T>
getRuleFormulaGenerator()
Returns the generator to transform rules into words of the language they range overjava.util.Set<InferenceRule<T>>
groundFolRules()
void
setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the argumentsvoid
setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
Set a new generator to transform rules into words of the language they range overjava.lang.String
toString()
-
Methods inherited from class net.sf.tweety.commons.util.rules.RuleSet
getConclusions, getPremises, getRulesWithConclusion, getSyntacticModule
-
Methods inherited from class java.util.HashSet
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
-
-
-
-
Constructor Detail
-
AspicArgumentationTheory
public AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)
Constructs a new ASPIC argumentation theory- Parameters:
rfgen
- function to map defeasible rules to labels
-
-
Method Detail
-
setRuleFormulaGenerator
public void setRuleFormulaGenerator(RuleFormulaGenerator<T> rfg)
Set a new generator to transform rules into words of the language they range over- Parameters:
rfg
- is the new formula generator
-
getRuleFormulaGenerator
public RuleFormulaGenerator<T> getRuleFormulaGenerator()
Returns the generator to transform rules into words of the language they range over- Returns:
- the formula generator
-
addRule
public void addRule(InferenceRule<T> rule)
Adds an additional inference rule- Parameters:
rule
- the rule to be added
-
addAxiom
public void addAxiom(T axiom)
Adds an additional axiom, i.e. a strict rule without premise- Parameters:
axiom
- the axiom's conclusion
-
addOrdinaryPremise
public void addOrdinaryPremise(T prem)
Adds an additional ordinary, i.e. a defeasible inference rule without premise- Parameters:
prem
- the premise's conclusion
-
asDungTheory
public DungTheory asDungTheory()
This method transfers this Aspic+ theory into a Dung style argumentation system- Returns:
- a dung theory constructed out of this system's arguments and their defeat relation according to order
-
asDungTheory
public DungTheory asDungTheory(boolean simplifyArgumentStructure)
This method transfers this Aspic+ theory into a Dung style argumentation system- Parameters:
simplifyArgumentStructure
- whether the argument class should be simplified; if "false" thenAspicArgument
is used as the argument class. If "true" then arguments are simplified by assigning names to each argument (the structure of the arguments is therefore lost).- Returns:
- a dung theory constructed out of this system's arguments and their defeat relation according to order
-
groundFolRules
public java.util.Set<InferenceRule<T>> groundFolRules()
-
getArguments
public java.util.Collection<AspicArgument<T>> getArguments()
Expands this systems's inference rules into a tree arguments- Returns:
- the arguments constructed from this systems's inference rules
-
setOrder
public void setOrder(java.util.Comparator<AspicArgument<T>> order)
Sets a new order over the arguments- Parameters:
order
- the new order
-
getOrder
public java.util.Comparator<AspicArgument<T>> getOrder()
- Returns:
- the order over the systems's arguments
-
toString
public java.lang.String toString()
- Specified by:
toString
in interfaceBeliefBase
- Overrides:
toString
in classjava.util.AbstractCollection<InferenceRule<T extends Invertable>>
-
getMinimalSignature
public Signature getMinimalSignature()
Description copied from interface:BeliefBase
Returns the signature of the language of this knowledge base.- Specified by:
getMinimalSignature
in interfaceBeliefBase
- Returns:
- the signature of the language of this knowledge base.
-
-