net.sf.tweety.logics.rdl.reasoner

Class NaiveDefaultReasoner

java.lang.Object

net.sf.tweety.logics.rdl.reasoner.NaiveDefaultReasoner

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 NaiveDefaultReasoner
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
NaiveDefaultReasoner()

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)

Methods inherited from class java.lang.Object

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

Constructor Detail

NaiveDefaultReasoner

public NaiveDefaultReasoner()

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>