Package org.tweetyproject.arg.dung.reasoner

Class IncompleteReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.IncompleteReasoner
All Implemented Interfaces:
ModelProvider<Argument,IncompleteTheory,Extension<IncompleteTheory>>, QualitativeReasoner<IncompleteTheory,Argument>, Reasoner<Boolean,IncompleteTheory,Argument>
public class IncompleteReasoner extends Object implements QualitativeReasoner<IncompleteTheory,Argument>, ModelProvider<Argument,IncompleteTheory,Extension<IncompleteTheory>>
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<IncompleteTheory>>> getAllModels(IncompleteTheory theory)
      Computes all model sets that can arise from the completions of the given incomplete theory.
      Parameters:
      theory - incomplete theory
      Returns:
      all possible models

    • getPossibleModels

      public Collection<Extension<IncompleteTheory>> getPossibleModels(IncompleteTheory theory)
      Computes the set of extensions that occur in at least one completion of the given incomplete theory.
      Parameters:
      theory - incomplete theory
      Returns:
      all possible models

    • getNecessaryModels

      public Collection<Extension<IncompleteTheory>> getNecessaryModels(IncompleteTheory theory)
      Computes the set of extensions that occur in every completion of the given incomplete theory.
      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

    • query

      public Boolean query(IncompleteTheory beliefbase, Argument formula)
      Description copied from interface: QualitativeReasoner
      Queries the given belief base with the provided formula and returns a boolean result. The result indicates whether the formula is entailed or satisfied by the belief base according to the qualitative reasoning method implemented by the reasoner.
      Specified by:
      query in interface QualitativeReasoner<IncompleteTheory,Argument>
      Specified by:
      query in interface Reasoner<Boolean,IncompleteTheory,Argument>
      Parameters:
      beliefbase - The belief base to be queried.
      formula - The formula for which the query is made.
      Returns:
      `TRUE` if the formula is entailed or satisfied by the belief base, `FALSE` otherwise.

    • query

      public Boolean query(IncompleteTheory beliefbase, Argument formula, InferenceMode mode, IncompleteReasoner.Type type)
      Determines acceptability of an argument under the given parameters
      Parameters:
      beliefbase - some incomplete theory
      formula - some argument
      mode - the inference mode
      type - the type of inference (possible or necessary)
      Returns:
      "true" if the argument is acceptable wrt this reasoner under the given parameters

    • isInstalled

      public boolean isInstalled()
      Description copied from interface: QualitativeReasoner
      Checks whether the underlying solver or reasoning mechanism used by this reasoner is installed and available for use. This can be helpful when the reasoner depends on external tools or libraries for performing the reasoning tasks.
      Specified by:
      isInstalled in interface QualitativeReasoner<IncompleteTheory,Argument>
      Returns:
      whether the solver is installed

    • getModels

      public Collection<Extension<IncompleteTheory>> getModels(IncompleteTheory bbase)
      Description copied from interface: ModelProvider
      Returns a characterizing model of the given belief base
      Specified by:
      getModels in interface ModelProvider<Argument,IncompleteTheory,Extension<IncompleteTheory>>
      Parameters:
      bbase - some belief base
      Returns:
      the (selected) models of the belief base

    • getModels

      public Collection<Extension<IncompleteTheory>> getModels(IncompleteTheory bbase, IncompleteReasoner.Type type)
      Determine the models
      Parameters:
      bbase - some incomplete theory
      type - the inference type
      Returns:
      the models for the given theory and inference type

    • getModel

      public Extension<IncompleteTheory> getModel(IncompleteTheory bbase)
      Description copied from interface: ModelProvider
      Returns a single (dedicated) model of the given belief base. If the implemented method allows for more than one dedicated model, the selection may be non-deterministic.
      Specified by:
      getModel in interface ModelProvider<Argument,IncompleteTheory,Extension<IncompleteTheory>>
      Parameters:
      bbase - some belief base
      Returns:
      a selected model of the belief base.

    • queryAll

      public Collection<Argument> queryAll(IncompleteTheory bbase, IncompleteReasoner.Type type, InferenceMode inferenceMode)
      Determines the set of arguments that is acceptable wrt this reasoner and the given parameters
      Parameters:
      bbase - some incomplete theory
      type - the type of inference (possible or necessary)
      inferenceMode - the inference mode
      Returns:
      The set of arguments that is acceptable wrt this reasoner and the given parameters