Class 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