Package org.tweetyproject.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 Details

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.