net.sf.tweety.arg.aba

Class WellFoundedReasoner<T extends Formula>

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.aba.GeneralABAReasoner<T>

net.sf.tweety.arg.aba.WellFoundedReasoner<T>

Type Parameters:

T - the language of the underlying ABA theory

public class WellFoundedReasoner<T extends Formula>
extends GeneralABAReasoner<T>

Author:

Nils Geilen This reasoner for ABA theories performs inference on the ideal extension.

Constructor Summary

Constructors

Constructor and Description
WellFoundedReasoner(BeliefBase beliefBase, int inferenceType) Creates a new well-founded reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<Assumption<T>>>	computeExtensions()

Methods inherited from class net.sf.tweety.arg.aba.GeneralABAReasoner

getInferenceType, query, setInferenceType

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

Constructor Detail

WellFoundedReasoner

public WellFoundedReasoner(BeliefBase beliefBase,
                           int inferenceType)

Creates a new well-founded reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

inferenceType - The inference type for this reasoner.

Method Detail

computeExtensions

public java.util.Collection<java.util.Collection<Assumption<T>>> computeExtensions()

Specified by:

computeExtensions in class GeneralABAReasoner<T extends Formula>