Modifier and Type | Class and Description |
---|---|
class |
ActionDescription<T extends CausalLaw>
This class represents an action description as a set of causal laws.
|
class |
ActionQuerySet<T extends ActionQuery>
An Action Query Set consists of action queries in a specific query language
and provides some common functionalities for such queries.
|
Modifier and Type | Class and Description |
---|---|
class |
CActionDescription
This class represents an action description for the action language C as a
set of causal rules, and provides some basic functionality such as grounding.
|
Modifier and Type | Class and Description |
---|---|
class |
SActionQuerySet
This class models a set of action queries in the language S which is based on
the query language "P" discussed in the paper: Action Languages.
|
Modifier and Type | Class and Description |
---|---|
class |
ExecutableDungTheory
This class packs a Dung theory into an executable object.
|
Modifier and Type | Class and Description |
---|---|
class |
PerceivableStructuredArgumentationFramework
This class packs a structured argumentation framework into a
perceivable object.
|
Modifier and Type | Class and Description |
---|---|
class |
DeductiveKnowledgeBase
Instances of this class represent deductive knowledge bases,
i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
CompilationNode
Instances of this class represent nodes in the compilation of
a knowledge base, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
DefeasibleLogicProgram
This class models a defeasible logic program (DeLP).
|
Modifier and Type | Class and Description |
---|---|
class |
DungTheory
This class implements an abstract argumentation theory in the sense of Dung.
|
Modifier and Type | Class and Description |
---|---|
class |
ArgumentationKnowledgeBase
Instances of this class represent the set of minimal arguments from
a extended logic program
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilisticArgumentationFramework
This class implements the probabilistic argumentation framework approach
of [Li, Oren, Norman.
|
Modifier and Type | Class and Description |
---|---|
class |
StructuredArgumentationFramework
This class represents a structured argumentation framework, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
SocialAbstractArgumentationFramework
This class implements a social abstract argumentation framework from
[Joao Leite, Joao Martins.
|
Modifier and Type | Class and Description |
---|---|
class |
CrMasBeliefSet<T extends Formula>
This class represents belief sets for credibility-based agents multi-agent systems.
|
Modifier and Type | Class and Description |
---|---|
class |
ClBeliefSet
This class models a belief set on conditional logic, i.e.
|
Modifier and Type | Interface and Description |
---|---|
interface |
CulpabilityMeasure<S extends Formula,T extends BeliefSet<S>>
Classes implementing this interface represent culpability measures, i.e.
|
class |
ShapleyCulpabilityMeasure<S extends Formula,T extends BeliefSet<S>>
This class implements the Shapley culpability measure.
|
Modifier and Type | Method and Description |
---|---|
Interpretation |
ConsistencyWitnessProvider.getWitness(BeliefSet<S> bs)
If the belief set is consistent this method
returns some model of it or, if it is inconsistent, null.
|
java.lang.Double |
BeliefSetInconsistencyMeasure.inconsistencyMeasure(BeliefSet<S> beliefBase) |
boolean |
MusEnumerator.isConsistent(BeliefSet<S> beliefSet) |
boolean |
BeliefSetConsistencyTester.isConsistent(BeliefSet<S> beliefSet) |
boolean |
AbstractMusEnumerator.isConsistent(BeliefSet<S> beliefSet) |
boolean |
AbstractBeliefSetConsistencyTester.isConsistent(BeliefSet<S> beliefSet) |
Modifier and Type | Class and Description |
---|---|
class |
FolBeliefSet
This class models a first-order knowledge base, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
MarkovLogicNetwork
Instances of this class represent Markov Logic Networks [Domingos et.
|
Modifier and Type | Class and Description |
---|---|
class |
PclBeliefSet
This class models a belief set on probabilistic conditional logic, i.e.
|
Modifier and Type | Field and Description |
---|---|
(package private) InconsistencyMeasure<BeliefSet<ProbabilisticConditional>> |
MinimalViolationInconsistencyMeasureLPSolveTest.inc |
Modifier and Type | Class and Description |
---|---|
class |
PlBeliefSet
This class represents a knowledge base of propositional formulae.
|
Modifier and Type | Method and Description |
---|---|
static InconsistencyMeasure<BeliefSet<PropositionalFormula>> |
InconsistencyMeasureFactory.getInconsistencyMeasure(InconsistencyMeasureFactory.Measure im)
Creates a new inconsistency measure of the given type with default
settings.
|
Modifier and Type | Method and Description |
---|---|
Interpretation |
SatSolver.getWitness(BeliefSet<PropositionalFormula> bs) |
boolean |
SatSolver.isConsistent(BeliefSet<PropositionalFormula> beliefSet) |
Modifier and Type | Class and Description |
---|---|
class |
RclBeliefSet
This class models a belief set on relational conditional logic, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
RpclBeliefSet
This class models a belief set on relational probabilistic conditional logic, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
AnswerSet
A answer set is a belief set which only contains literals
and represents the deductive belief set of an extended logic
program under the answer set semantic.
|
Modifier and Type | Field and Description |
---|---|
(package private) BeliefSet<PropositionalFormula> |
InconsistencyMeasurementService.MeasurementCallee.beliefSet |
Modifier and Type | Field and Description |
---|---|
(package private) InconsistencyMeasure<BeliefSet<PropositionalFormula>> |
InconsistencyMeasurementService.MeasurementCallee.measure |
Constructor and Description |
---|
MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure,
BeliefSet<PropositionalFormula> beliefSet) |
Constructor and Description |
---|
MeasurementCallee(InconsistencyMeasure<BeliefSet<PropositionalFormula>> measure,
BeliefSet<PropositionalFormula> beliefSet) |