net.sf.tweety.logics.rdl

Class NaiveDefaultReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.logics.rdl.NaiveDefaultReasoner

public class NaiveDefaultReasoner
extends Reasoner

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

Author:

Matthias Thimm, Nils Geilen

Field Summary

Fields

Modifier and Type	Field and Description
(package private) DefaultProcessTree	tree

Constructor Summary

Constructors

Constructor and Description
NaiveDefaultReasoner(BeliefBase beliefBase)

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<FolFormula>>	getAllExtensions()
Answer	query(Formula query) This method determines the answer of the given query wrt.

Methods inherited from class net.sf.tweety.commons.Reasoner

getKnowledgeBase

Methods inherited from class java.lang.Object

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

Field Detail

tree

DefaultProcessTree tree

Constructor Detail

NaiveDefaultReasoner

public NaiveDefaultReasoner(BeliefBase beliefBase)

Method Detail

query

public Answer query(Formula query)

Description copied from class: Reasoner

This method determines the answer of the given query wrt. to the given knowledge base.

Specified by:

query in class Reasoner

Parameters:

query - a query.

Returns:

the answer to the query.

getAllExtensions

public java.util.Collection<java.util.Collection<FolFormula>> getAllExtensions()

Returns:

all extensions of the default theory