Class EafPreferenceRepresentationExample

java.lang.Object
org.tweetyproject.arg.eaf.examples.EafPreferenceRepresentationExample
public class EafPreferenceRepresentationExample extends Object
Demonstrates how epistemic preferences can be encoded within an EpistemicArgumentationFramework using logical implication and justification state preferences.

This example illustrates:

  • How preferences over arguments can be modeled using constraints like [](in(a) => in(r))
  • How justification state preferences can be expressed, e.g., requiring und(a) to be accepted if in(a) is accepted
  • How epistemic constraints influence the resulting labellings under different semantics

The scenario is based on a simple Dung theory with two mutually attacking arguments.

  • Constructor Details

    • EafPreferenceRepresentationExample

      public EafPreferenceRepresentationExample()

  • Method Details

    • main

      public static void main(String[] args)
      Entry point for the example demonstrating the encoding of preferences in an epistemic argumentation framework using logical implication over acceptance and justification states.

      Three different EAFs are created with varying constraints to express:

      • Simple preference over arguments (e.g., "if a is accepted, then r should be accepted")
      • Conditional preference (e.g., "if a is accepted or undecided, then r should be accepted")
      • Preference over justification states (e.g., "in(a) implies und(a)")
      The resulting epistemic labelling sets under different semantics (complete, stable) are printed to the console.
      Parameters:
      args - command-line arguments (not used).