| 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)  |