Package org.tweetyproject.arg.aspic.syntax

Class AspicArgumentationTheory<T extends Invertable>

java.lang.Object

java.util.AbstractCollection<InferenceRule<T>>

java.util.AbstractSet<InferenceRule<T>>

java.util.HashSet<InferenceRule<T>>

org.tweetyproject.commons.util.rules.RuleSet<InferenceRule<T>>

org.tweetyproject.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:

Serializable, Cloneable, Iterable<InferenceRule<T>>, Collection<InferenceRule<T>>, Set<InferenceRule<T>>, BeliefBase

public class AspicArgumentationTheory<T extends Invertable>
extends RuleSet<InferenceRule<T>>
implements BeliefBase

According to Modgil and Prakken, 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

Author:

Nils Geilen, Matthias Thimm

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 axiom, i.e.
void	addOrdinaryPremise(T prem)	Adds an ordinary premise, i.e.
void	addRule(InferenceRule<T> rule)	Adds an inference rule
DungTheory	asDungTheory()	This method transfers this Aspic+ theory into a Dung style argumentation system
DungTheory	asDungTheory(boolean simplifyArgumentStructure)	This method transfers this Aspic+ theory into a Dung style argumentation system
Collection<AspicArgument<T>>	getArguments()	Expands this system's inference rules into a tree arguments
Signature	getMinimalSignature()	Returns the signature of the language of this knowledge base.
Comparator<AspicArgument<T>>	getOrder()
RuleFormulaGenerator<T>	getRuleFormulaGenerator()	Returns the generator to transform rules into words of the language they range over
Set<InferenceRule<T>>	groundFolRules()
void	setOrder(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
String	toString()

Methods inherited from class org.tweetyproject.commons.util.rules.RuleSet

getConclusions, getPremises, getRulesWithConclusion, getSyntacticModule

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, newHashSet, remove, size, spliterator, toArray, toArray

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.Set

addAll, containsAll, equals, hashCode, removeAll, retainAll

Constructor Details

AspicArgumentationTheory

public AspicArgumentationTheory(RuleFormulaGenerator<T> rfgen)

Constructs a new ASPIC argumentation theory

Parameters:

rfgen - function to map defeasible rules to labels

Method Details

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 inference rule

Parameters:

rule - the rule to be added

addAxiom

public void addAxiom(T axiom)

Adds an axiom, i.e. a strict rule without premise

Parameters:

axiom - the axiom's conclusion

addOrdinaryPremise

public void addOrdinaryPremise(T prem)

Adds an ordinary premise, 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" then AspicArgument 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 Set<InferenceRule<T>> groundFolRules()

Returns:

a set of ground fol rules

getArguments

public Collection<AspicArgument<T>> getArguments()

Expands this system's inference rules into a tree arguments

Returns:

the arguments constructed from this system's inference rules

setOrder

public void setOrder(Comparator<AspicArgument<T>> order)

Sets a new order over the arguments

Parameters:

order - the new order

getOrder

public Comparator<AspicArgument<T>> getOrder()

Returns:

the order over the systems's arguments

toString

public String toString()

Specified by:

toString in interface BeliefBase

Overrides:

toString in class 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 interface BeliefBase

Returns:

the signature of the language of this knowledge base.