net.sf.tweety.arg.dung

Class StableReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.dung.AbstractExtensionReasoner

net.sf.tweety.arg.dung.StableReasoner

public class StableReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the stable extensions. Computes the set of all stable extensions, i.e., all conflict-free sets that attack each other argument.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
StableReasoner(BeliefBase beliefBase) Creates a new stable reasoner for the given knowledge base using sceptical inference.
StableReasoner(BeliefBase beliefBase, int inferenceType) Creates a new stable reasoner for the given knowledge base.

Method Summary

Modifier and Type	Method and Description
protected java.util.Set<Extension>	computeExtensions() Computes the extensions this reasoner bases upon.
protected PlBeliefSet	getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in, java.util.Map<Argument,Proposition> out, java.util.Map<Argument,Proposition> undec) Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.
private java.util.Set<Extension>	getStableExtensions(Extension ext) Auxiliary method to compute the set of all stable extensions

Methods inherited from class net.sf.tweety.arg.dung.AbstractExtensionReasoner

getExtensions, getInferenceType, getPropositionalCharacterisation, getReasonerForSemantics, query

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

StableReasoner

public StableReasoner(BeliefBase beliefBase,
                      int inferenceType)

Creates a new stable reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

inferenceType - The inference type for this reasoner.

StableReasoner

public StableReasoner(BeliefBase beliefBase)

Creates a new stable reasoner for the given knowledge base using sceptical inference.

Parameters:

beliefBase - The knowledge base for this reasoner.

Method Detail

computeExtensions

protected java.util.Set<Extension> computeExtensions()

Description copied from class: AbstractExtensionReasoner

Computes the extensions this reasoner bases upon.

Specified by:

computeExtensions in class AbstractExtensionReasoner

Returns:

A set of extensions.

getStableExtensions

private java.util.Set<Extension> getStableExtensions(Extension ext)

Auxiliary method to compute the set of all stable extensions

Parameters:

arguments - a set of arguments to be refined to yield a stable extension

Returns:

the set of stable extensions that are a subset of arguments

getPropositionalCharacterisationBySemantics

protected PlBeliefSet getPropositionalCharacterisationBySemantics(java.util.Map<Argument,Proposition> in,
                                                                  java.util.Map<Argument,Proposition> out,
                                                                  java.util.Map<Argument,Proposition> undec)

Description copied from class: AbstractExtensionReasoner

Returns the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.

Specified by:

getPropositionalCharacterisationBySemantics in class AbstractExtensionReasoner

Parameters:

in - propositional variables of in arguments.

out - propositional variables of out arguments.

undec - propositional variables of undec arguments.

Returns:

the semantic-specific propositional characterization of the underlying Dung theory, see getPropositionalCharacterisation.