Package org.tweetyproject.arg.extended.reasoner

Class AbstractRecursiveExtendedExtensionReasoner

java.lang.Object

org.tweetyproject.arg.extended.reasoner.AbstractRecursiveExtendedExtensionReasoner

Direct Known Subclasses:

SimpleRecursiveExtendedAdmissibleReasoner, SimpleRecursiveExtendedCompleteReasoner, SimpleRecursiveExtendedConflictFreeReasoner

public abstract class AbstractRecursiveExtendedExtensionReasoner
extends Object

Abstract extension reasoner for reasoning with recursive extended theories

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
AbstractRecursiveExtendedExtensionReasoner()	Default

Method Summary

Modifier and Type	Method	Description
abstract Collection<Collection<DungEntity>>	getModels(RecursiveExtendedTheory bbase)	Computes all models for the given theory
static AbstractRecursiveExtendedExtensionReasoner	getSimpleReasonerForSemantics(Semantics semantics)	Returns a simple recursive extended theory reasoner for the given semantics
boolean	isInstalled()	The reasoner is native and thus always installed
Boolean	query(RecursiveExtendedTheory beliefbase, Argument formula)	Queries the given belief base with a specified argument, using the default inference mode of skeptical reasoning.
Boolean	query(RecursiveExtendedTheory beliefbase, Argument formula, InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

AbstractRecursiveExtendedExtensionReasoner

public AbstractRecursiveExtendedExtensionReasoner()

Default

Method Details

getSimpleReasonerForSemantics

public static AbstractRecursiveExtendedExtensionReasoner getSimpleReasonerForSemantics(Semantics semantics)

Returns a simple recursive extended theory reasoner for the given semantics

Parameters:

semantics - some semantics

Returns:

a simple reasoner for the given semantics

query

public Boolean query(RecursiveExtendedTheory beliefbase,
 Argument formula)

Queries the given belief base with a specified argument, using the default inference mode of skeptical reasoning. This method checks whether the provided argument (formula) is entailed by the belief base under skeptical inference mode.

Parameters:

beliefbase - The belief base, represented as a RecursiveExtendedTheory, to be queried.

formula - The argument (formula) to be queried.

Returns:

TRUE if the formula is entailed by the belief base under skeptical reasoning, FALSE otherwise.

query

public Boolean query(RecursiveExtendedTheory beliefbase,
 Argument formula,
 InferenceMode inferenceMode)

Queries the given AAF for the given argument using the given inference type.

Parameters:

beliefbase - an AAF

formula - a single argument

inferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the argument is accepted

getModels

public abstract Collection<Collection<DungEntity>> getModels(RecursiveExtendedTheory bbase)

Computes all models for the given theory

Parameters:

bbase - some recursive extended theory

Returns:

the models of this theory wrt. some semantics

isInstalled

public boolean isInstalled()

The reasoner is native and thus always installed

Returns:

"true"