net.sf.tweety.logics.pl.analysis

Class DalalDistance

java.lang.Object

net.sf.tweety.logics.pl.analysis.PossibleWorldDistance

net.sf.tweety.logics.pl.analysis.DalalDistance

All Implemented Interfaces:

net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>

public class DalalDistance
extends PossibleWorldDistance

This class models the dalal distance measure between possible worlds, see e.g. [Grant, Hunter. Distance-based Measures of Inconsistency, ECSQARU'13]. It returns the number of propositions two possible possible worlds differ.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
DalalDistance()

Method Summary

Modifier and Type	Method and Description
double	distance(PossibleWorld a, PossibleWorld b)

Methods inherited from class net.sf.tweety.logics.pl.analysis.PossibleWorldDistance

distance

Methods inherited from class java.lang.Object

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

Constructor Detail

DalalDistance

public DalalDistance()

Method Detail

distance

public double distance(PossibleWorld a,
                       PossibleWorld b)

Specified by:

distance in interface net.sf.tweety.commons.analysis.InterpretationDistance<PossibleWorld,PropositionalFormula>

Specified by:

distance in class PossibleWorldDistance