Package | Description |
---|---|
net.sf.tweety.arg.dung.util | |
net.sf.tweety.arg.saf.util | |
net.sf.tweety.commons | |
net.sf.tweety.commons.postulates | |
net.sf.tweety.logics.pl.util |
Modifier and Type | Interface and Description |
---|---|
interface |
DungTheoryGenerator
Class implementing this interface provide the capability
to generate Dung theories.
|
Modifier and Type | Class and Description |
---|---|
class |
DefaultDungTheoryGenerator
Implements a customizable Dung theory generator.
|
class |
EnumeratingDungTheoryGenerator
This generator generators all possible Dung argumentation theories.
|
class |
FileDungTheoryGenerator
This generator receives a list of files containing Dung theories
and returns those step by step.
|
class |
IsoSafeEnumeratingDungTheoryGenerator
This generator generators all possible Dung argumentation theories
(modulo graph isomorphism).
|
class |
PodlaszewskiCaminadaDungTheoryGenerator
This generator generates abstract argumentation frameworks following the schema
described in "String Admissibility Revisited" (COMMA2014) by Martin Caminda, following
and idea by Mikolay Podlaszewski.
|
Modifier and Type | Class and Description |
---|---|
class |
SimpleSafSampler
This class implements a belief base sampler for structured argumentation
frameworks.
|
Modifier and Type | Class and Description |
---|---|
class |
BeliefSetSampler<R extends Formula,S extends BeliefSet<R>>
This abstract class models a random sampler for belief sets.
|
Modifier and Type | Field and Description |
---|---|
private BeliefSetIterator<S,T> |
PostulateEvaluator.iterator
The belief base sampler used to test the rationality postulates
|
Constructor and Description |
---|
PostulateEvaluator(BeliefSetIterator<S,T> iterator,
PostulateEvaluatable<S> ev)
Creates a new evaluator for the given evaluatable and
belief base generator.
|
PostulateEvaluator(BeliefSetIterator<S,T> iterator,
PostulateEvaluatable<S> ev,
java.util.Collection<Postulate<S>> postulates)
Creates a new evaluator for the given evaluatable and
belief base generator.
|
Modifier and Type | Class and Description |
---|---|
class |
CanonicalIterator
Provides an iterator on all syntactically equivalent knowledge bases.
|
class |
CnfSampler
A simple sampler for propositional belief bases.
|
class |
ContensionSampler
Generates random propositional belief base with a given
inconsistency measure (for the contension inconsistency measure)
and of a given size.
|
class |
EnumeratingIterator
This sampler enumerates all possible propositional belief bases of the given signature.
|
class |
HsSampler
Generates random propositional belief base with a given
inconsistency measure (for the Hs inconsistency measure)
and of a given size.
|
class |
MiSampler
Generates random propositional belief base with a given
inconsistency measure (for the MI inconsistency measure)
and of a given size.
|
class |
RandomSampler |
class |
RandomSatSampler
A sampler for uniform random k-SAT instances.
|
class |
SyntacticEnumeratingIterator
Generates all syntactic variations of knowledge bases
|
class |
SyntacticRandomSampler
This sampler implements a random generation algorithm for generating formulas, based on
the syntax tree of propositional formulas.
|