Package org.tweetyproject.arg.dung.reasoner

Class IncompleteReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
public class IncompleteReasoner extends Object
incomlete argumentation framework class
Author:
Sebastian Franke

  • Constructor Details

    • IncompleteReasoner

      public IncompleteReasoner(Semantics semantics)
      constructor for direct initialization of semantics
      Parameters:
      semantics - the Dung semantics

  • Method Details

    • getAllModels

      public Collection<Collection<Extension<DungTheory>>> getAllModels(IncompleteTheory theory)
      Parameters:
      theory - incomplete theory
      Returns:
      all possible models

    • VerificationNecessary

      public boolean VerificationNecessary(IncompleteTheory theory, Set<Argument> arg)
      Parameters:
      theory - incomplete theory
      arg - argument to be checked
      Returns:
      if the argument is part of all extensions of all instances

    • VerificationPossible

      public boolean VerificationPossible(IncompleteTheory theory, Set<Argument> arg)
      Parameters:
      theory - incomplete theory
      arg - argument to be checked
      Returns:
      if the argument is part of any extensions of all instances

    • credulousAcceptance

      public boolean credulousAcceptance(IncompleteTheory theory, Argument arg)
      Parameters:
      theory - the theory
      arg - an argument
      Returns:
      whether arg is credulously accepted

    • skepticalAcceptance

      public boolean skepticalAcceptance(IncompleteTheory theory, Argument arg)
      Parameters:
      theory - the theory
      arg - an argument
      Returns:
      whether arg is skeptically accepted

    • existence

      public boolean existence(IncompleteTheory theory)
      Parameters:
      theory - the theory
      Returns:
      if an extension exists

    • setSemantics

      public static void setSemantics(Semantics semantics)
      manually sets the semantics
      Parameters:
      semantics - the Dung semantics

    • isInstalled

      public boolean isInstalled()
      Returns:
      wether the solver is installed