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 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.abstract 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.
-
-
-
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:ChangeOperator
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.- Specified by:
change
in 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:ChangeOperator
Given 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:
change
in 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.
-
-