Package org.tweetyproject.arg.aba.syntax
Class AbaTheory<T extends Formula>
java.lang.Object
org.tweetyproject.arg.aba.syntax.AbaTheory<T>
- Type Parameters:
T
- is the type of the language that the ABA theory's rules range over
- All Implemented Interfaces:
BeliefBase
An implementation of Assumption Based Argumentation.
- Author:
- Nils Geilen (geilenn@uni-koblenz.de)
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
void
void
addAssumption
(T assumption) void
addNegation
(T formula, T negation) Adds a negation of form not formula = negationboolean
attacks
(Collection<Assumption<T>> attackers, Collection<Assumption<T>> attackeds) Checks whether a set of assumptions attacks another set of assumptions.boolean
boolean
defends
(Collection<Assumption<T>> defendor, Assumption<T> defended) Checks whether a set of arguments defends an argument.Computes all admissible extensions.Computes all context-free extensions.getAllDeductions
(Collection<Assumption<T>> assumptions) Computes all possible extensions.getClosure
(Collection<Assumption<T>> assumptions) A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.Returns the signature of the language of this knowledge base.getRules()
boolean
isAdmissible
(AbaExtension<T> ext) Checks whether a set of arguments is admissible.boolean
isClosed
(Collection<Assumption<T>> assumptions) A set of assumptions is closed iff it equals its closure.boolean
isConflictFree
(Collection<Assumption<T>> ext) Checks whether a set of arguments is conflict-free.boolean
isFlat()
An ABA theory is flat iff all subsets of its argumentation set are closedboolean
Checks whether the given two formulas are negations of each othervoid
setAssumptions
(Collection<Assumption<T>> assumptions) toString()
-
Constructor Details
-
AbaTheory
public AbaTheory()
-
-
Method Details
-
getAllDeductions
- Returns:
- all deductions that can be derived from this theory
-
getAllDeductions
- Parameters:
assumptions
- the set of assumptions used for the derivation- Returns:
- all deductions that can be derived from this theory
-
getClosure
A closure is the set of assumptions that can be derived from a set of assumptions via inference rules.- Parameters:
assumptions
- a set of assumptions- Returns:
- the closure of assumptions
-
isClosed
A set of assumptions is closed iff it equals its closure.- Parameters:
assumptions
- a set of assumptions- Returns:
- true iff the set of assumptions is closed under this argumentation theory
-
isFlat
public boolean isFlat()An ABA theory is flat iff all subsets of its argumentation set are closed- Returns:
- true iff the theory is flat
-
add
- Parameters:
rule
- an assumption or an inference rule or a negation that is added to the theory
-
add
- Parameters:
rules
- assumptions or inference rules or negations that are added to the theory
-
addAssumption
- Parameters:
assumption
- a formula that is used as an assumption in the theory
-
addNegation
Adds a negation of form not formula = negation- Parameters:
formula
- a formulanegation
- it's complement
-
negates
Checks whether the given two formulas are negations of each other- Parameters:
formula
- a formulanegation
- a formula- Returns:
- true iff the two formulas are negations of each other
-
attacks
- Parameters:
atter
- the attacking deductionatted
- the attacked assumption- Returns:
- true iff atter attacks atted
-
getRules
- Returns:
- the rules
-
getAssumptions
- Returns:
- the assumptions
-
getNegations
- Returns:
- the negations
-
setAssumptions
- Parameters:
assumptions
- the assumptions to set
-
attacks
Checks whether a set of assumptions attacks another set of assumptions.- Parameters:
attackers
- set of assumptionsattackeds
- set of assumptions- Returns:
- true iff the first set of assumptions attacks the second set
-
defends
Checks whether a set of arguments defends an argument.- Parameters:
defendor
- the defending setdefended
- the assumption which shall be defended- Returns:
- true iff defendor defends defended
-
isConflictFree
Checks whether a set of arguments is conflict-free.- Parameters:
ext
- a set of arguments- Returns:
- true iff ext is conflict-free
-
getAllExtensions
Computes all possible extensions.- Returns:
- the powerset of the assumptions
-
getAllConflictFreeExtensions
Computes all context-free extensions.- Returns:
- all context-free extensions
-
isAdmissible
Checks whether a set of arguments is admissible.- Parameters:
ext
- the set- Returns:
- true iff ext is admissible
-
getAllAdmissbleExtensions
Computes all admissible extensions.- Returns:
- all admissible extensions
-
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.
-
asDungTheory
- Returns:
- a Dung Theory derived from this ABA theory
-
toString
- Specified by:
toString
in interfaceBeliefBase
- Overrides:
toString
in classObject
-