Package | Description |
---|---|
net.sf.tweety.arg.lp.reasoner | |
net.sf.tweety.arg.lp.semantics | |
net.sf.tweety.arg.lp.semantics.attack | |
net.sf.tweety.lp.asp.beliefdynamics.selectiverevision |
Modifier and Type | Field and Description |
---|---|
protected AttackStrategy |
ArgumentationReasoner.attackStrategy |
protected AttackStrategy |
ArgumentationReasoner.defenceStrategy |
Constructor and Description |
---|
ArgumentationReasoner(AttackStrategy attack,
AttackStrategy defence)
Creates a new ArgumentationReasoner parameterised
by a notion of attack for the opponent and another notion of attack for the defense
|
LiteralReasoner(AttackStrategy attack,
AttackStrategy defence)
Creates a new reasoner for reasoning about literals in an
extended logic program given by the beliefBase.
|
Modifier and Type | Field and Description |
---|---|
private AttackStrategy |
AttackRelation.strategy |
Constructor and Description |
---|
AttackRelation(ArgumentationKnowledgeBase kb,
AttackStrategy strategy)
Creates a new AttackRelation for an argumentation knowledgebase
and a certain notion of attack.
|
Modifier and Type | Class and Description |
---|---|
class |
Attack
This notion of attack models the attack relation.
|
class |
ConfidentAttack
This notion of attack models the confident attack relation.
|
class |
ConfidentRebut
This notion of attack models the strong rebut relation.
|
class |
Defeat
This notion of attack models the defeat relation.
|
class |
Rebut
This notion of attack models the rebut relation.
|
class |
StrongAttack
This notion of attack models the strong attack relation.
|
class |
StrongConfidentAttack
This notion of attack models the strong confident attack relation.
|
class |
StrongUndercut
This notion of attack models the strong undercut relation.
|
class |
Undercut
This notion of attack models the undercut relation.
|
Modifier and Type | Field and Description |
---|---|
private AttackStrategy |
ScepticalLiteralTransformationFunction.attackRelation |
private AttackStrategy |
ParameterisedArgumentativeSelectiveRevisionOperator.attackRelation |
private AttackStrategy |
NaiveLiteralTransformationFunction.attackRelation |
private AttackStrategy |
ScepticalLiteralTransformationFunction.defenseRelation |
private AttackStrategy |
ParameterisedArgumentativeSelectiveRevisionOperator.defenseRelation |
private AttackStrategy |
NaiveLiteralTransformationFunction.defenseRelation |
Constructor and Description |
---|
NaiveLiteralTransformationFunction(java.util.Collection<Rule> beliefSet,
AttackStrategy attackRelation,
AttackStrategy defenseRelation)
Creates a new naive transformation function for literals.
|
ParameterisedArgumentativeSelectiveRevisionOperator(Solver solver,
AttackStrategy attackRelation,
AttackStrategy defenseRelation,
ParameterisedArgumentativeSelectiveRevisionOperator.TransformationType type)
Constructs a new selective revision operator using the given attack relations
and a asp solver.
|
ScepticalLiteralTransformationFunction(java.util.Collection<Rule> beliefSet,
AttackStrategy attackRelation,
AttackStrategy defenseRelation)
Creates a new sceptical transformation function for literals.
|