Package net.sf.tweety.arg.prob.dynamics
Interface ChangeOperator
-
- All Known Implementing Classes:
AbstractPAChangeOperator,PARevisionOperator,PAUpdateOperator
public interface ChangeOperatorThis interface provides common methods for change operators for probabilistic argumentation.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method Description ProbabilisticExtensionchange(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.ProbabilisticExtensionchange(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.
-
-
-
Method Detail
-
change
ProbabilisticExtension 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.- Parameters:
ppa- some partial probability assignment.theory- some theory.- Returns:
- the closest probabilistic extension that is adequate for observing the theory in the state ppa.
-
change
ProbabilisticExtension 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.- Parameters:
p- some probabilistic extension.theory- some theory.- Returns:
- the closest probabilistic extension that is adequate for observing the theory in the state p.
-
-