Class IncompleteReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
public class IncompleteReasoner extends Object
Reasoner for incomplete argumentation frameworks
Author:
Sebastian Franke, Lars Bengel

  • Constructor Details

    • IncompleteReasoner

      public IncompleteReasoner(AbstractExtensionReasoner reasoner)
      constructor for direct initialization of reasoner
      Parameters:
      reasoner - some extension reasoner

    • 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

    • getPossibleModels

      public Collection<Extension<DungTheory>> getPossibleModels(IncompleteTheory theory)
      Computes the set of possible extensions
      Parameters:
      theory - incomplete theory
      Returns:
      all possible models

    • getNecessaryModels

      public Collection<Extension<DungTheory>> getNecessaryModels(IncompleteTheory theory)
      Computes the set of necessary extensions
      Parameters:
      theory - incomplete theory
      Returns:
      all necessary models

    • isPossibleCredulous

      public boolean isPossibleCredulous(IncompleteTheory theory, Argument arg)
      Decides whether the given argument is a possible credulous conclusion of the incomplete theory
      Parameters:
      theory - some incomplete theory
      arg - some argument
      Returns:
      "true" iff the argument is a possible credulous conclusion

    • isNecessaryCredulous

      public boolean isNecessaryCredulous(IncompleteTheory theory, Argument arg)
      Decides whether the given argument is a necessary credulous conclusion of the incomplete theory
      Parameters:
      theory - some incomplete theory
      arg - some argument
      Returns:
      "true" iff the argument is a necessary credulous conclusion

    • isPossibleSkeptical

      public boolean isPossibleSkeptical(IncompleteTheory theory, Argument arg)
      Decides whether the given argument is a possible skeptical conclusion of the incomplete theory
      Parameters:
      theory - some incomplete theory
      arg - some argument
      Returns:
      "true" iff the argument is a skeptical credulous conclusion

    • isNecessarySkeptical

      public boolean isNecessarySkeptical(IncompleteTheory theory, Argument arg)
      Decides whether the given argument is a necessary skeptical conclusion of the incomplete theory
      Parameters:
      theory - some incomplete theory
      arg - some argument
      Returns:
      "true" iff the argument is a necessary skeptical conclusion

    • isInstalled

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