Modifier and Type | Class and Description |
---|---|
class |
ExecutableExtension
This class packs an extension into an executable object.
|
Modifier and Type | Class and Description |
---|---|
class |
AbaExtension<T extends Formula>
An set of assumptions.
|
Modifier and Type | Class and Description |
---|---|
class |
LdoInterpretation
This class models an LDO interpretation, i.e., a pair
of an argumentation framework and (possibly) an extension.
|
Modifier and Type | Class and Description |
---|---|
class |
AbstractArgumentationInterpretation
This abstract class acts as a common ancestor for interpretations to
abstract argumentation frameworks.
|
class |
ArgumentRanking
This abstract class is the common ancestor for semantical approaches to argument ranking, i.e.
|
class |
Labeling
This class models a labeling of an abstract argumentation framework, i.e.
|
class |
LatticeArgumentRanking
This class models argument ranking by representing the acceptability of arguments in
a graph-based structure.
|
class |
NumericalArgumentRanking
This class provides a acceptability interpretation of arguments by
assigning them real values where larger values indicate more acceptability.
|
class |
StratifiedLabeling
This class implements stratified labelings as in [Thimm, Kern-Isberner, 2013].
|
Modifier and Type | Class and Description |
---|---|
class |
SocialMapping<L>
Implements a mapping from arguments to social value.
|
Modifier and Type | Class and Description |
---|---|
class |
InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>
This class models an interpretation that is a set of some formula and as such implements the
java.util.Collection interface.
|
Modifier and Type | Class and Description |
---|---|
class |
RankingFunction
A ranking function (or ordinal conditional function, OCF) that maps possible worlds
of a propositional language to integers.
|
Modifier and Type | Class and Description |
---|---|
class |
HerbrandInterpretation
A Herbrand interpretation is an interpretation for a first-order signature,
stating all ground atoms that are true in the interpretation.
|
Modifier and Type | Class and Description |
---|---|
class |
KripkeModel
This class models a Kripke model, i.e.
|
class |
ModalHerbrandInterpretation
Modified version of HerbrandInterpretation that allows for modal formulas.
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilityDistribution<T extends Interpretation<PlBeliefSet,PropositionalFormula>>
This class represents a probability distribution on some logical language
|
Modifier and Type | Class and Description |
---|---|
class |
FuzzyInterpretation
A fuzzy interpretation for propositional logic.
|
class |
NicePossibleWorld
Wrapper for the PossibleWorld providing better representation mechanisms, it knows all
the possible propositions (the signature) and therefore provides a complete representation that
maps a boolean to the Proposition.
|
class |
PossibleWorld
This class represents a possible world of propositional logic, i.e.
|
class |
PriestWorld
A three-valued interpretation for propositional logic from
Priest's three valued logic (3VL) [Priest, G.: Logic of paradox.
|
Modifier and Type | Class and Description |
---|---|
class |
RelationalRankingFunction
A relational ranking function (or relational ordinal conditional function, ROCF) that maps
Herbrand interpretations to integers.
|
Modifier and Type | Class and Description |
---|---|
class |
Extension
An extension of a default theory, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
CondensedProbabilityDistribution
Instances of this class represent condensed probability distributions, rf.
|
class |
ReferenceWorld
Instances of this class represent reference worlds, i.e.
|
class |
RpclProbabilityDistribution<T extends Interpretation<FolBeliefSet,FolFormula>>
Objects of this class represent probability distributions on the interpretations
of an underlying first-order signature for a relational probabilistic conditional knowledge base.
|