net.sf.tweety.arg.dung

Class SccCompleteReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.dung.AbstractExtensionReasoner

net.sf.tweety.arg.dung.SccCompleteReasoner

public class SccCompleteReasoner
extends AbstractExtensionReasoner

This reasoner for Dung theories performs inference on the complete extensions. Computes the set of all complete extensions, i.e., all admissible sets that contain all their acceptable arguments. Exploits the structure of the strongly-connected components (SCCs) to determine extensions.

Author:

Matthias Thimm

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
java.util.Set<Extension>	computeExtensions() Computes the extensions this reasoner bases upon.
private java.util.Set<Extension>	computeExtensionsViaSccs(DungTheory theory, java.util.List<java.util.Collection<Argument>> sccs, int idx, java.util.Collection<Argument> in, java.util.Collection<Argument> out, java.util.Collection<Argument> undec) Computes extensions recursively following the SCC structure.
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.

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

SccCompleteReasoner

public SccCompleteReasoner(BeliefBase beliefBase,
                           int inferenceType)

Creates a new complete reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

inferenceType - The inference type for this reasoner.

SccCompleteReasoner

public SccCompleteReasoner(BeliefBase beliefBase)

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

Parameters:

beliefBase - The knowledge base for this reasoner.

Method Detail

computeExtensionsViaSccs

private java.util.Set<Extension> computeExtensionsViaSccs(DungTheory theory,
                                                          java.util.List<java.util.Collection<Argument>> sccs,
                                                          int idx,
                                                          java.util.Collection<Argument> in,
                                                          java.util.Collection<Argument> out,
                                                          java.util.Collection<Argument> undec)

Computes extensions recursively following the SCC structure.

Parameters:

theory - the theory

sccs - all SCCs topologically sorted

idx - the current SCC to be processed

in - all arguments currently in

out - all arguments currently out

undec - all arguments currently undecided

Returns:

the set of extensions

computeExtensions

public 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.

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.