Package net.sf.tweety.arg.prob.dynamics
Interface ChangeOperator
-
- All Known Implementing Classes:
AbstractPAChangeOperator
,PARevisionOperator
,PAUpdateOperator
public interface ChangeOperator
This interface provides common methods for change operators for probabilistic argumentation.- Author:
- Matthias Thimm
-
-
Method Summary
Modifier and Type Method Description 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.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.
-
-
-
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.
-
-