Package org.tweetyproject.arg.dung.reasoner

Class ProboReasoner

java.lang.Object
org.tweetyproject.arg.dung.reasoner.AbstractDungReasoner
org.tweetyproject.arg.dung.reasoner.AbstractExtensionReasoner
org.tweetyproject.arg.dung.reasoner.ProboReasoner
All Implemented Interfaces:
ModelProvider<Argument,DungTheory,Extension<DungTheory>>, PostulateEvaluatable<Argument>, QualitativeReasoner<DungTheory,Argument>, Reasoner<Boolean,DungTheory,Argument>
public class ProboReasoner extends AbstractExtensionReasoner
This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation. That external executable must implement the probo interface standard for argumentation solvers (see argumentationcompetition.org).
Author:
Matthias Thimm, Nils Geilen

  • Constructor Details

    • ProboReasoner

      public ProboReasoner(String path_to_exec, Semantics semantics)
      Constructs a new instance of ProboReasoner
      Parameters:
      path_to_exec - the path to the probo-compliant solver
      semantics - The semantics to be used

    • ProboReasoner

      public ProboReasoner(String path_to_exec, Semantics semantics, Shell bash)
      Constructs a new instance of ProboReasoner
      Parameters:
      path_to_exec - the path to the probo-compliant solver
      semantics - The semantics to be used
      bash - the shell which should be used to run the solver

  • Method Details

    • query

      public Boolean query(DungTheory beliefbase, Argument formula, InferenceMode inferenceMode)
      Description copied from class: AbstractExtensionReasoner
      Queries the given AAF for the given argument using the given inference type.
      Overrides:
      query in class AbstractExtensionReasoner
      Parameters:
      beliefbase - an AAF
      formula - a single argument
      inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS
      Returns:
      "true" if the argument is accepted

    • getModels

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

    • getModel

      public Extension getModel(DungTheory 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.
      Parameters:
      bbase - some belief base
      Returns:
      a selected model of the belief base.

    • isInstalled

      public boolean isInstalled()
      this method always returns true because the solver is native
      Specified by:
      isInstalled in interface QualitativeReasoner<DungTheory,Argument>
      Overrides:
      isInstalled in class AbstractExtensionReasoner
      Returns:
      if the solver is installed