Class ExtensionInconsistencyMeasure

java.lang.Object
org.tweetyproject.arg.dung.ExtensionInconsistencyMeasure
public class ExtensionInconsistencyMeasure extends Object
Author:
Timothy Gillespie

  • Constructor Details

    • ExtensionInconsistencyMeasure

      public ExtensionInconsistencyMeasure()

  • Method Details

    • setUpBeforeClass

      public static void setUpBeforeClass() throws Exception
      Sets up the argumentation framework used in the tests before all tests are executed. This method initializes the framework with arguments and attacks.
      Throws:
      Exception - if there is an error during the setup process.

    • preferredCountInconsistencyMeasure

      public void preferredCountInconsistencyMeasure()
      Tests the preferred count inconsistency measure. According to A. Hunter's paper, the expected value is derived from the count of preferred extensions minus one.

    • nonGroundedCountInconsistencyMeasure

      public void nonGroundedCountInconsistencyMeasure()
      Tests the non-grounded count inconsistency measure. This measure is supposed to reflect the count of non-grounded extensions present in the framework.

    • unstableCountInconsistencyMeasure

      public void unstableCountInconsistencyMeasure()
      Tests the unstable count inconsistency measure. This test checks for the count of stable extensions that can be achieved by minimally modifying the original framework.