Package net.sf.tweety.arg.prob.dynamics
Class AbstractPAChangeOperator
- java.lang.Object
-
- net.sf.tweety.arg.prob.dynamics.AbstractPAChangeOperator
-
- All Implemented Interfaces:
ChangeOperator
- Direct Known Subclasses:
PARevisionOperator,PAUpdateOperator
public abstract class AbstractPAChangeOperator extends java.lang.Object implements ChangeOperator
Provides common functionality for change operators based on probabilistic semantics.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description AbstractPAChangeOperator(PASemantics semantics, RealVectorNorm norm, SimpleRealValuedFunction f)Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.
-
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.abstract 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.
-
-
-
Constructor Detail
-
AbstractPAChangeOperator
public AbstractPAChangeOperator(PASemantics semantics, RealVectorNorm norm, SimpleRealValuedFunction f)
Creates a new change operator for the given semantics that uses the specified norm for distance measuring and the given function for optimizing.- Parameters:
semantics- the semantics used for change.norm- the norm used for distance measurement between probabilistic extensions.f- the function that is maximized on the set of probabilistic extensions with minimal distance.
-
-
Method Detail
-
change
public abstract ProbabilisticExtension change(PartialProbabilityAssignment ppa, DungTheory theory)
Description copied from interface:ChangeOperatorGiven 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.- Specified by:
changein interfaceChangeOperator- 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
public ProbabilisticExtension change(ProbabilisticExtension p, DungTheory theory)
Description copied from interface:ChangeOperatorGiven a probabilistic extension and an argumentation theory, compute the closest probabilistic extension that is adequate for observing the theory in the state p.- Specified by:
changein interfaceChangeOperator- Parameters:
p- some probabilistic extension.theory- some theory.- Returns:
- the closest probabilistic extension that is adequate for observing the theory in the state p.
-
-