Uses of Interface
net.sf.tweety.commons.QualitativeReasoner
-
-
-
Uses of QualitativeReasoner in net.sf.tweety.arg.aba.reasoner
Classes in net.sf.tweety.arg.aba.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
CompleteReasoner<T extends Formula>
class
FlatABAReasoner<T extends Formula>
class
GeneralABAReasoner<T extends Formula>
class
IdealReasoner<T extends Formula>
class
PreferredReasoner<T extends Formula>
class
StableReasoner<T extends Formula>
class
WellFoundedReasoner<T extends Formula>
-
Uses of QualitativeReasoner in net.sf.tweety.arg.adf.reasoner
Classes in net.sf.tweety.arg.adf.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractDialecticalFrameworkReasoner
Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementationsclass
AdmissibleInterpretationReasoner
class
NaiveInterpretationReasoner
class
SatModelReasoner
-
Uses of QualitativeReasoner in net.sf.tweety.arg.aspic.reasoner
Classes in net.sf.tweety.arg.aspic.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractAspicReasoner<T extends Invertable>
The abstract ancestor of all Aspic reasoner implementationsclass
DirectionalAspicReasoner<T extends Invertable>
Computes a restricted AF by only considering relevant arguments to a query.class
ModuleBasedAspicReasoner<T extends Invertable>
Slightly optimised reasoner for ASPIC.class
RandomAspicReasoner<T extends Invertable>
This class implements an approximate reasoner for ASPIC+ that randomly samples arguments.class
SimpleAspicReasoner<T extends Invertable>
-
Uses of QualitativeReasoner in net.sf.tweety.arg.dung.reasoner
Classes in net.sf.tweety.arg.dung.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractDungReasoner
Ancestor class for all AAF reasoners.class
AbstractExtensionReasoner
Ancestor class for all extension-based reasoners.class
AbstractSatExtensionReasoner
Uses a provided SAT solver to solve reasoning problems in AAFs.class
ProboReasoner
This reasoner makes use of an external executable for solving reasoning problems in abstract argumentation.class
SatCompleteReasoner
Uses a SAT solver to determine complete extensions.class
SatStableReasoner
Uses a SAT solver to determine stable extensions.class
SimpleAdmissibleReasoner
This reasoner for Dung theories performs inference on the admissible extensions.class
SimpleCF2Reasoner
This reasoner for Dung theories performs inference on the CF2 extensions.class
SimpleCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.class
SimpleConflictFreeReasoner
This reasoner for Dung theories performs inference on the conflict-free extensions.class
SimpleGroundedReasoner
This reasoner for Dung theories performs inference on the grounded extension.class
SimpleIdealReasoner
This reasoner for Dung theories performs inference on the ideal extension.class
SimplePreferredReasoner
This reasoner for Dung theories performs inference on the preferred extensions.class
SimpleSccCompleteReasoner
This reasoner for Dung theories performs inference on the complete extensions.class
SimpleSemiStableReasoner
This reasoner for Dung theories performs inference on the semi-stable extensions.class
SimpleStableReasoner
This reasoner for Dung theories performs inference on the stable extensions.class
SimpleStageReasoner
This reasoner for Dung theories performs inference on the stage extensions.class
StratifiedLabelingReasoner
This class implements a stratified labeling reasoner. -
Uses of QualitativeReasoner in net.sf.tweety.arg.lp.reasoner
Classes in net.sf.tweety.arg.lp.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
ArgumentationReasoner
This class models a reasoner for extended logic programming based arguments using the fixpoint semantics from [1] parameterised by a notion of attack x for the opponent and another notion of attack y as a defense for the proponent.class
LiteralReasoner
This class extends the default argumentation reasoner to the reasoning about literals in the set of arguments constructible from an extended logic program p. -
Uses of QualitativeReasoner in net.sf.tweety.arg.saf.reasoner
Classes in net.sf.tweety.arg.saf.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
OutputReasoner
This class models an abstract reasoner for structured argumentation frameworks. -
Uses of QualitativeReasoner in net.sf.tweety.logics.cl.reasoner
Classes in net.sf.tweety.logics.cl.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractConditionalLogicReasoner
Abstract ancestor for all reasoner for conditional logic.class
CReasoner
This class models a c-reasoner for conditional logic.class
RuleBasedCReasoner
This is a reasoner using c-representation and rules to solve these c-representations.class
SimpleCReasoner
This class models a brute force c-reasoner for conditional logic.class
ZReasoner
This class models a z-reasoner for conditional logic. -
Uses of QualitativeReasoner in net.sf.tweety.logics.dl.reasoner
Classes in net.sf.tweety.logics.dl.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
NaiveDlReasoner
Naive reasoner for the description logic ALC (as represented by this library). -
Uses of QualitativeReasoner in net.sf.tweety.logics.fol.reasoner
Classes in net.sf.tweety.logics.fol.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
EFOLReasoner
Invokes E (http://eprover.org), an automated theorem prover for first-order logic, and returns its results.class
FolReasoner
Abstract FOL Prover to be implemented by concrete solversclass
Prover9FolReasoner
Invokes Prover9 ( https://www.cs.unm.edu/~mccune/mace4/), an automated theorem prover for first-order logic, and returns its results.class
SimpleFolReasoner
Uses a naive brute force search procedure for theorem proving.class
SpassFolReasoner
Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics. -
Uses of QualitativeReasoner in net.sf.tweety.logics.ml.reasoner
Classes in net.sf.tweety.logics.ml.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractMlReasoner
Abstract modal reasoner to be implemented by concrete reasoners.class
MleanCoPReasoner
Invokes MleanCoP (http://www.leancop.de/mleancop/), a compact automated theorem prover for modal first-order logic based on the clausal connection calculus.class
SimpleMlReasoner
This class implements inference for modal logic using a brute-force approach.class
SPASSMlReasoner
Invokes SPASS (http://www.mpi-inf.mpg.de/departments/automation-of-logic/software/spass-workbench/), an automated theorem prover for first-order logic, modal logic and description logics. -
Uses of QualitativeReasoner in net.sf.tweety.logics.pl.reasoner
Classes in net.sf.tweety.logics.pl.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
AbstractPlReasoner
Abstract class for propositional logic reasoners.class
SatReasoner
Uses the default SAT reasoner to perform reasoning in propositional logicclass
SimplePlReasoner
Naive classical inference (checks all interpretations for satisfiability). -
Uses of QualitativeReasoner in net.sf.tweety.logics.rcl.reasoner
Classes in net.sf.tweety.logics.rcl.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
SimpleRelationalCReasoner
This class models a relational brute force c-reasoner for relational conditional logic. -
Uses of QualitativeReasoner in net.sf.tweety.logics.rdl.reasoner
Classes in net.sf.tweety.logics.rdl.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
SimpleDefaultReasoner
Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees. -
Uses of QualitativeReasoner in net.sf.tweety.lp.asp.reasoner
Classes in net.sf.tweety.lp.asp.reasoner that implement QualitativeReasoner Modifier and Type Class Description class
ASPSolver
This class provides a common interface for asp solvers.class
ClingoSolver
Invokes Clingo (Part of the Potassco project), an ASP system that grounds and solves logic programs, and returns computed answer sets.class
DLVSolver
Wrapper class for the DLV answer set solver command line utility.
-