Package net.sf.tweety.arg.adf.reasoner

Class AbstractDialecticalFrameworkReasoner

java.lang.Object

net.sf.tweety.arg.adf.reasoner.AbstractDialecticalFrameworkReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>, net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>, net.sf.tweety.commons.Reasoner<Boolean,AbstractDialecticalFramework,Argument>

Direct Known Subclasses:

AdmissibleInterpretationReasoner, NaiveInterpretationReasoner, SatModelReasoner

public abstract class AbstractDialecticalFrameworkReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>, net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

Ancestor class for all adf reasoner TODO: may be replaced with an interface with default implementations

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFrameworkReasoner()

Method Summary

Modifier and Type	Method	Description
abstract Interpretation	getModel(AbstractDialecticalFramework bbase)
abstract Collection<Interpretation>	getModels(AbstractDialecticalFramework bbase)
Boolean	query(AbstractDialecticalFramework beliefbase, Argument formula)
Boolean	query(AbstractDialecticalFramework beliefbase, Argument formula, net.sf.tweety.commons.InferenceMode inferenceMode)	Queries the given AAF for the given argument using the given inference type.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDialecticalFrameworkReasoner

public AbstractDialecticalFrameworkReasoner()

Method Detail

query

public Boolean query(AbstractDialecticalFramework beliefbase,
                     Argument formula)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<AbstractDialecticalFramework,Argument>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,AbstractDialecticalFramework,Argument>

query

public Boolean query(AbstractDialecticalFramework beliefbase,
                     Argument formula,
                     net.sf.tweety.commons.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<Interpretation> getModels(AbstractDialecticalFramework bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>

getModel

public abstract Interpretation getModel(AbstractDialecticalFramework bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<Argument,AbstractDialecticalFramework,Interpretation>