Package org.tweetyproject.arg.dung.reasoner

Class IncompleteReasoner

java.lang.Object

org.tweetyproject.arg.dung.reasoner.IncompleteReasoner

public class IncompleteReasoner
extends Object

Reasoner for incomplete argumentation frameworks

Author:

Sebastian Franke, Lars Bengel

Constructor Summary

Constructors

Constructor	Description
IncompleteReasoner(AbstractExtensionReasoner reasoner)	constructor for direct initialization of reasoner
IncompleteReasoner(Semantics semantics)	constructor for direct initialization of semantics

Method Summary

Modifier and Type	Method	Description
Collection<Collection<Extension<DungTheory>>>	getAllModels(IncompleteTheory theory)
Collection<Extension<DungTheory>>	getNecessaryModels(IncompleteTheory theory)	Computes the set of necessary extensions
Collection<Extension<DungTheory>>	getPossibleModels(IncompleteTheory theory)	Computes the set of possible extensions
boolean	isInstalled()
boolean	isNecessaryCredulous(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a necessary credulous conclusion of the incomplete theory
boolean	isNecessarySkeptical(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a necessary skeptical conclusion of the incomplete theory
boolean	isPossibleCredulous(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a possible credulous conclusion of the incomplete theory
boolean	isPossibleSkeptical(IncompleteTheory theory, Argument arg)	Decides whether the given argument is a possible skeptical conclusion of the incomplete theory

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

IncompleteReasoner

public IncompleteReasoner(AbstractExtensionReasoner reasoner)

constructor for direct initialization of reasoner

Parameters:

reasoner - some extension reasoner

IncompleteReasoner

public IncompleteReasoner(Semantics semantics)

constructor for direct initialization of semantics

Parameters:

semantics - the Dung semantics

Method Details

getAllModels

public Collection<Collection<Extension<DungTheory>>> getAllModels(IncompleteTheory theory)

Parameters:

theory - incomplete theory

Returns:

all possible models

getPossibleModels

public Collection<Extension<DungTheory>> getPossibleModels(IncompleteTheory theory)

Computes the set of possible extensions

Parameters:

theory - incomplete theory

Returns:

all possible models

getNecessaryModels

public Collection<Extension<DungTheory>> getNecessaryModels(IncompleteTheory theory)

Computes the set of necessary extensions

Parameters:

theory - incomplete theory

Returns:

all necessary models

isPossibleCredulous

public boolean isPossibleCredulous(IncompleteTheory theory,
 Argument arg)

Decides whether the given argument is a possible credulous conclusion of the incomplete theory

Parameters:

theory - some incomplete theory

arg - some argument

Returns:

"true" iff the argument is a possible credulous conclusion

isNecessaryCredulous

public boolean isNecessaryCredulous(IncompleteTheory theory,
 Argument arg)

Decides whether the given argument is a necessary credulous conclusion of the incomplete theory

Parameters:

theory - some incomplete theory

arg - some argument

Returns:

"true" iff the argument is a necessary credulous conclusion

isPossibleSkeptical

public boolean isPossibleSkeptical(IncompleteTheory theory,
 Argument arg)

Decides whether the given argument is a possible skeptical conclusion of the incomplete theory

Parameters:

theory - some incomplete theory

arg - some argument

Returns:

"true" iff the argument is a skeptical credulous conclusion

isNecessarySkeptical

public boolean isNecessarySkeptical(IncompleteTheory theory,
 Argument arg)

Decides whether the given argument is a necessary skeptical conclusion of the incomplete theory

Parameters:

theory - some incomplete theory

arg - some argument

Returns:

"true" iff the argument is a necessary skeptical conclusion

isInstalled

public boolean isInstalled()

Returns:

whether the solver is installed