net.sf.tweety.arg.aba

Class FlatABAReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.aba.FlatABAReasoner

public class FlatABAReasoner
extends Reasoner

Author:

Nils Geilen This class models a reasoner over ABA formulae Can only be used with flat ABA theories because only those can be transformed into Dung frameworks

Field Summary

Fields

Modifier and Type	Field and Description
(package private) int	inferencetype
(package private) int	semantics

Constructor Summary

Constructors

Constructor and Description
FlatABAReasoner(BeliefBase beliefBase, int semantics, int inferencetype) Creates a new instance

Method Summary

Modifier and Type	Method and Description
java.util.Collection<java.util.Collection<Assumption<?>>>	getExtensions()
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

semantics

int semantics

inferencetype

int inferencetype

Constructor Detail

FlatABAReasoner

public FlatABAReasoner(BeliefBase beliefBase,
                       int semantics,
                       int inferencetype)

Creates a new instance

Parameters:

beliefBase - an ABATheory

semantics - an indicator for the used semantics (c.f. net.sf.tweety.arg.dung.semantics.Semantics)

inferencetype - an indicator for the used inference (c.f. net.sf.tweety.arg.dung.semantics.Semantics)

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.

getExtensions

public java.util.Collection<java.util.Collection<Assumption<?>>> getExtensions()