Modifier and Type | Interface and Description |
---|---|
interface |
ABARule<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
Assumption<T extends Formula> |
class |
InferenceRule<T extends Formula> |
Modifier and Type | Class and Description |
---|---|
class |
DefeasibleInferenceRule<T extends Invertable> |
class |
StrictInferenceRule<T extends Invertable> |
Modifier and Type | Class and Description |
---|---|
class |
SimplePlRule
Basic data structure for handling simple rule
|
Modifier and Type | Class and Description |
---|---|
class |
DefeasibleRule
This class models a defeasible rule in defeasible logic programming.
|
class |
DelpFact
This class implements a fact in defeasible logic programming which encapsulates a literal.
|
class |
DelpRule
This method is the superclass for both a strict rule and a defeasible rule in defeasible logic programming
and captures their common attributes and methods.
|
class |
StrictRule
This class models a strict rule in defeasible logic programming.
|
Modifier and Type | Class and Description |
---|---|
class |
BasicArgument
This class models a basic argument in structured argumentation frameworks, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
Derivation<T extends Rule<?,?>>
This class models a derivation, i.e.
|
class |
RuleSet<T extends Rule<?,?>>
This class represents a set of rules and provides several
auxiliary methods for accessing such a set.
|
Modifier and Type | Method and Description |
---|---|
static <S extends Rule<?,?>> |
Derivation.allDerivations(java.util.Collection<? extends S> rules)
Returns the set of all possible derivations from the set of rules.
|
static <S extends Rule<?,?>> |
Derivation.allDerivations(java.util.Collection<? extends S> rules,
Formula conclusion)
Returns the set of all possible derivations with the given
conclusion from the set of rules.
|
Modifier and Type | Class and Description |
---|---|
class |
Conditional
This class represents a basic conditional (B|A) with formulas A,B.
|
Modifier and Type | Interface and Description |
---|---|
interface |
LogicProgram<C extends Formula,P extends Formula,T extends Rule<?,?>>
An interface for a logic program, which is a set of rules.
|
Modifier and Type | Class and Description |
---|---|
class |
ProbabilisticConditional
This class represents a probabilistic conditional of the form (B|A)[p]
with formulas A,B and a probability p.
|
Modifier and Type | Class and Description |
---|---|
class |
RelationalConditional
Instances of this class represent relational conditionals.
|
Modifier and Type | Class and Description |
---|---|
class |
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e.
|
Modifier and Type | Method and Description |
---|---|
Rule<?,?> |
Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source,
java.lang.Class<?> ruleCls) |
Modifier and Type | Method and Description |
---|---|
Rule<?,?> |
Translator.translateRule(Rule<? extends SimpleLogicalFormula,? extends SimpleLogicalFormula> source,
java.lang.Class<?> ruleCls) |
Modifier and Type | Class and Description |
---|---|
class |
Rule
This class models a rule for a disjunctive logic program.
|
Modifier and Type | Class and Description |
---|---|
class |
NLPRule
A rule of a nested logic program.
|