Package | Description |
---|---|
net.sf.tweety.arg.deductive.semantics.attacks | |
net.sf.tweety.arg.prob.test.deductive |
Modifier and Type | Class and Description |
---|---|
class |
CanonicalUndercut
This attack notion models the canonical undercut relation; A is defeated by B iff claim(B) =- \neg support(A).
|
class |
Defeat
This attack notion models the defeat relation; A is defeated by B iff claim(B) |- \neg support(A).
|
class |
DefeatingRebuttal
This attack notion models the defeating rebuttal relation; A is defeated by B iff claim(B) |- \neg claim(A).
|
class |
DirectDefeat
This attack notion models the direct defeat relation; A is defeated by B iff there is c in support(A) with claim(B) |- \neg c.
|
class |
DirectUndercut
This attack notion models the direct undercut relation; A is defeated by B iff there is c in support(A) with claim(B) == \neg c.
|
class |
Rebuttal
This attack notion models the rebuttal relation; A is defeated by B iff claim(B) == \neg claim(A).
|
class |
Undercut
This attack notion models the undercut relation; A is defeated by B iff there is C subset of support(A) with claim(B) == \neg C.
|
Modifier and Type | Field and Description |
---|---|
private Attack |
DeductiveArgMeReasoner.attack
The attack notion used for determining conflict between arguments.
|
Constructor and Description |
---|
DeductiveArgMeReasoner(BeliefBase beliefBase,
Attack attack)
Creates a new reasoner for the given knowledge base and attack relation.
|