net.sf.tweety.logics.rdl.reasoner

Class SimpleDefaultReasoner

java.lang.Object

net.sf.tweety.logics.rdl.reasoner.SimpleDefaultReasoner

All Implemented Interfaces:

net.sf.tweety.commons.ModelProvider<net.sf.tweety.logics.fol.syntax.FolFormula,DefaultTheory,Extension>, net.sf.tweety.commons.QualitativeReasoner<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Reasoner<Boolean,DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

public class SimpleDefaultReasoner
extends Object
implements net.sf.tweety.commons.QualitativeReasoner<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.ModelProvider<net.sf.tweety.logics.fol.syntax.FolFormula,DefaultTheory,Extension>

Implements a naive reasoner for default logic based on exhaustive application of defaults in process trees.

Author:

Matthias Thimm, Nils Geilen

Constructor Summary

Constructors

Constructor and Description
SimpleDefaultReasoner()

Method Summary

Modifier and Type	Method and Description
Extension	getModel(DefaultTheory bbase)
Collection<Extension>	getModels(DefaultTheory bbase)
Boolean	query(DefaultTheory theory, net.sf.tweety.logics.fol.syntax.FolFormula query)
Boolean	query(DefaultTheory theory, net.sf.tweety.logics.fol.syntax.FolFormula query, net.sf.tweety.commons.InferenceMode inferenceMode) Queries the given default theory for the given query using the given inference mode.

Methods inherited from class java.lang.Object

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

Constructor Detail

SimpleDefaultReasoner

public SimpleDefaultReasoner()

Method Detail

getModels

public Collection<Extension> getModels(DefaultTheory bbase)

Specified by:

getModels in interface net.sf.tweety.commons.ModelProvider<net.sf.tweety.logics.fol.syntax.FolFormula,DefaultTheory,Extension>

getModel

public Extension getModel(DefaultTheory bbase)

Specified by:

getModel in interface net.sf.tweety.commons.ModelProvider<net.sf.tweety.logics.fol.syntax.FolFormula,DefaultTheory,Extension>

query

public Boolean query(DefaultTheory theory,
                     net.sf.tweety.logics.fol.syntax.FolFormula query)

Specified by:

query in interface net.sf.tweety.commons.QualitativeReasoner<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

Specified by:

query in interface net.sf.tweety.commons.Reasoner<Boolean,DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

query

public Boolean query(DefaultTheory theory,
                     net.sf.tweety.logics.fol.syntax.FolFormula query,
                     net.sf.tweety.commons.InferenceMode inferenceMode)

Queries the given default theory for the given query using the given inference mode.

Parameters:

theory - a default theory

query - a formula

InferenceMode - either InferenceMode.SKEPTICAL or InferenceMode.CREDULOUS

Returns:

"true" if the formula is accepted