Uses of Class
org.tweetyproject.arg.prob.semantics.ProbabilisticExtension
-
Packages that use ProbabilisticExtension Package Description org.tweetyproject.arg.prob.dynamics org.tweetyproject.arg.prob.semantics org.tweetyproject.arg.prob.syntax -
-
Uses of ProbabilisticExtension in org.tweetyproject.arg.prob.dynamics
Methods in org.tweetyproject.arg.prob.dynamics that return ProbabilisticExtension Modifier and Type Method Description ProbabilisticExtension
AbstractPAChangeOperator. change(ProbabilisticExtension p, DungTheory theory)
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
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.ProbabilisticExtension
PARevisionOperator. change(PartialProbabilityAssignment ppa, DungTheory theory)
ProbabilisticExtension
PAUpdateOperator. change(PartialProbabilityAssignment ppa, DungTheory theory)
Methods in org.tweetyproject.arg.prob.dynamics with parameters of type ProbabilisticExtension Modifier and Type Method Description ProbabilisticExtension
AbstractPAChangeOperator. change(ProbabilisticExtension p, 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. -
Uses of ProbabilisticExtension in org.tweetyproject.arg.prob.semantics
Methods in org.tweetyproject.arg.prob.semantics that return ProbabilisticExtension Modifier and Type Method Description static ProbabilisticExtension
ProbabilisticExtension. getCharacteristicProbabilisticExtension(DungTheory theory, AbstractArgumentationInterpretation i)
Returns the characteristic probabilistic extension of the given interpretation, i.e.Methods in org.tweetyproject.arg.prob.semantics with parameters of type ProbabilisticExtension Modifier and Type Method Description abstract boolean
AbstractPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
CoherentPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
FoundedPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
InvolutaryPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
JustifiablePASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
NeutralPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
OptimisticPASemantics. 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
RationalPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
SemiFoundedPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
boolean
SemiOptimisticPASemantics. satisfies(ProbabilisticExtension p, DungTheory theory)
-
Uses of ProbabilisticExtension in org.tweetyproject.arg.prob.syntax
Methods in org.tweetyproject.arg.prob.syntax with parameters of type ProbabilisticExtension Modifier and Type Method Description boolean
PartialProbabilityAssignment. isCompliant(ProbabilisticExtension pext)
Checks whether the given probabilistic extension is compliant with this partial probability assignment, i.e.
-