net.sf.tweety.logics.commons.analysis

Class ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S>>

java.lang.Object

net.sf.tweety.logics.commons.analysis.ShapleyCulpabilityMeasure<S,T>

All Implemented Interfaces:

CulpabilityMeasure<S,T>

public class ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S>>
extends java.lang.Object
implements CulpabilityMeasure<S,T>

This class implements the Shapley culpability measure.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Map<Pair<T,S>,java.lang.Double>	archive Stores previously computed culpability values.
private BeliefSetInconsistencyMeasure<S>	inconsistencyMeasure The inconsistency measure this Shapley culpability measure bases on.

Constructor Summary

Constructors

Constructor and Description
ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S> inconsistencyMeasure) Creates a new Shapley culpability measure that bases on the given inconsistency measure.

Method Summary

Modifier and Type	Method and Description
java.lang.Double	culpabilityMeasure(T beliefSet, S formula) Returns the degree of responsibility of the given formula to cause inconsistency in the given belief set (NOTE: the formula should be in the given belief set).
private java.util.Set<Pair<java.util.Collection<S>,java.util.Collection<S>>>	getSubsets(T kb, S f) Computes all pairs (k,k') of knowledge bases k,k'\subseteq kb, such that k = k' \cup {pc}.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

inconsistencyMeasure

private BeliefSetInconsistencyMeasure<S extends Formula> inconsistencyMeasure

The inconsistency measure this Shapley culpability measure bases on.

archive

private java.util.Map<Pair<T extends BeliefSet<S>,S extends Formula>,java.lang.Double> archive

Stores previously computed culpability values.

Constructor Detail

ShapleyCulpabilityMeasure

public ShapleyCulpabilityMeasure(BeliefSetInconsistencyMeasure<S> inconsistencyMeasure)

Creates a new Shapley culpability measure that bases on the given inconsistency measure.

Parameters:

inconsistencyMeasure - an inconsistency measure.

Method Detail

culpabilityMeasure

public java.lang.Double culpabilityMeasure(T beliefSet,
                                           S formula)

Description copied from interface: CulpabilityMeasure

Returns the degree of responsibility of the given formula to cause inconsistency in the given belief set (NOTE: the formula should be in the given belief set).

Specified by:

culpabilityMeasure in interface CulpabilityMeasure<S extends Formula,T extends BeliefSet<S>>

Parameters:

beliefSet - a belief set.

Returns:

a Double indicating the degree of inconsistency (NOTE: if the given formula does not appear in the given belief set the degree is defined to be zero).

getSubsets

private java.util.Set<Pair<java.util.Collection<S>,java.util.Collection<S>>> getSubsets(T kb,
                                                                                        S f)

Computes all pairs (k,k') of knowledge bases k,k'\subseteq kb, such that k = k' \cup {pc}.

Parameters:

kb - a knowledge base.

f - a formula.

Returns:

a set of pairs of knowledge bases.