Package | Description |
---|---|
net.sf.tweety.arg.prob | |
net.sf.tweety.arg.prob.dynamics | |
net.sf.tweety.arg.prob.semantics |
Modifier and Type | Method and Description |
---|---|
boolean |
PartialProbabilityAssignment.isCompliant(ProbabilisticExtension pext)
Checks whether the given probabilistic extension is compliant with this
partial probability assignment, i.e.
|
Modifier and Type | Method and Description |
---|---|
ProbabilisticExtension |
PAUpdateOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
PARevisionOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
ChangeOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory)
Given a partial probability assignment ppa and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state ppa.
|
abstract ProbabilisticExtension |
AbstractPAChangeOperator.change(PartialProbabilityAssignment ppa,
DungTheory theory) |
ProbabilisticExtension |
ChangeOperator.change(ProbabilisticExtension p,
DungTheory theory)
Given a probabilistic extension and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state p.
|
ProbabilisticExtension |
AbstractPAChangeOperator.change(ProbabilisticExtension p,
DungTheory theory) |
Modifier and Type | Method and Description |
---|---|
ProbabilisticExtension |
ChangeOperator.change(ProbabilisticExtension p,
DungTheory theory)
Given a probabilistic extension and an argumentation theory, compute
the closest probabilistic extension that is adequate for observing the theory in
the state p.
|
ProbabilisticExtension |
AbstractPAChangeOperator.change(ProbabilisticExtension p,
DungTheory theory) |
Modifier and Type | Method and Description |
---|---|
static ProbabilisticExtension |
ProbabilisticExtension.getCharacteristicProbabilisticExtension(DungTheory theory,
AbstractArgumentationInterpretation i)
Returns the characteristic probabilistic extension of the given interpretation,
i.e.
|
Modifier and Type | Method and Description |
---|---|
boolean |
SemiOptimisticPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
SemiFoundedPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
RationalPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
PASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory)
Checks whether the given probabilistic extension satisfies the given
argumentation theory wrt.
|
boolean |
OptimisticPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
NeutralPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
JustifiablePASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
InvolutaryPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
FoundedPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
boolean |
CoherentPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |
abstract boolean |
AbstractPASemantics.satisfies(ProbabilisticExtension p,
DungTheory theory) |