net.sf.tweety.arg.dung

Class CompleteReasoner

java.lang.Object

net.sf.tweety.commons.Reasoner

net.sf.tweety.arg.dung.AbstractExtensionReasoner

net.sf.tweety.arg.dung.CompleteReasoner

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

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	useSatSolver Whether to use the standard SAT solver instead of the brute force approach.

Constructor Summary

Constructors

Constructor and Description
CompleteReasoner(BeliefBase beliefBase) Creates a new complete reasoner for the given knowledge base using sceptical inference.
CompleteReasoner(BeliefBase beliefBase, boolean useSatSolver) Creates a new complete reasoner for the given knowledge base using sceptical inference.
CompleteReasoner(BeliefBase beliefBase, int inferenceType) Creates a new complete reasoner for the given knowledge base.
CompleteReasoner(BeliefBase beliefBase, int inferenceType, boolean useSatSolver) 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.
protected java.util.Set<Extension>	computeExtensionsBySatSolving() Computes the extensions by reducing the problem to SAT solving
private java.util.Set<Extension>	getCompleteExtensions(Extension ext, java.util.Collection<Argument> remaining) Auxiliary method to compute all complete extensions
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

Field Detail

useSatSolver

private boolean useSatSolver

Whether to use the standard SAT solver instead of the brute force approach.

Constructor Detail

CompleteReasoner

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

CompleteReasoner

public CompleteReasoner(BeliefBase beliefBase,
                        boolean useSatSolver)

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

Parameters:

beliefBase - The knowledge base for this reasoner.

useSatSolver - whether to use the standard SAT solver instead of the brute force approach.

CompleteReasoner

public CompleteReasoner(BeliefBase beliefBase,
                        int inferenceType,
                        boolean useSatSolver)

Creates a new complete reasoner for the given knowledge base.

Parameters:

beliefBase - a knowledge base.

inferenceType - The inference type for this reasoner.

useSatSolver - whether to use the standard SAT solver instead of the brute force approach.

CompleteReasoner

public CompleteReasoner(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

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.

computeExtensionsBySatSolving

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

Computes the extensions by reducing the problem to SAT solving

Returns:

the extensions of the given Dung theory.

getCompleteExtensions

private java.util.Set<Extension> getCompleteExtensions(Extension ext,
                                                       java.util.Collection<Argument> remaining)

Auxiliary method to compute all complete extensions

Parameters:

arguments - a set of arguments

remaining - arguments that still have to be considered to be part of an extension

Returns:

all complete extensions that are supersets of an argument in 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.