Modifier and Type | Class and Description |
---|---|
class |
AlwaysQuery
This class represents an always query in the action query language S.
|
class |
HoldsQuery
This class represents a holds query in the action query language S.
|
class |
NecessarilyQuery
This class represents a necessarily query in the action query language S.
|
class |
QueryProposition
Action queries are represented as propositional formulas with three possible
types of propositions: holds, always and necessarily propositions.
|
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 | Method and Description |
---|---|
Disjunction |
DelpRule.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
AbstractGraphLdoModality
Provides common functionalities for the graph-based modalities in LDO.
|
class |
AbstractLdoModality
Provides common functionalities for all modalities in LDO.
|
class |
LdoArgument
This class represents an argument in ldo.
|
class |
LdoAssociativeFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
class |
LdoBoxModality |
class |
LdoConjunction
This class represents a conjunction in ldo logic.
|
class |
LdoDiamondModality |
class |
LdoDisjunction
This class represents a disjunction in ldo logic.
|
class |
LdoFormula
This abstract class specifies the general methods of all Ldo-formulas
(LDO - Logic of dialectical outcomes, cf.
|
class |
LdoGraphBoxModality |
class |
LdoGraphDiamondModality |
class |
LdoNegation
This class models classical negation of ldo logic.
|
class |
LdoRelation
Creates a relational formula, i.e.
|
Modifier and Type | Method and Description |
---|---|
LdoDisjunction |
LdoFormula.combineWithOr(Disjunctable f) |
Modifier and Type | Method and Description |
---|---|
Disjunction |
Conditional.combineWithOr(Disjunctable f) |
Modifier and Type | Interface and Description |
---|---|
interface |
ClassicalFormula
This interface models a classical formula, i.e.
|
Modifier and Type | Method and Description |
---|---|
SimpleLogicalFormula |
Disjunctable.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
ModalFormula
This class models a modal formula, i.e.
|
class |
Necessity
This class models the necessity modality.
|
class |
Possibility
This class models the possibility modality.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
ModalFormula.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
AssociativeFOLFormula
This class captures the common functionalities first order associative formulas like conjunction,
disjunction, etc.
|
class |
Conjunction
The classical conjunction of first-order logic.
|
class |
Contradiction
A contradictory formula.
|
class |
Disjunction
The classical disjunction of first-order logic.
|
class |
ExistsQuantifiedFormula |
class |
FOLAtom
An atom in first-order logic, i.e.
|
class |
FolFormula
The common abstract class for formulas of first-order logic.
|
class |
ForallQuantifiedFormula
For-All quantified formula.
|
class |
Negation
The classical negation of first-order logic.
|
class |
QuantifiedFormula
The common parent of exists and forall quantified formulas, which contains common
functionalities.
|
class |
RelationalFormula
This interface models a relational formula, i.e.
|
class |
SpecialFormula
This class captures the common functionalities of the special
formulas tautology and contradiction.
|
class |
Tautology
A tautological formula.
|
Modifier and Type | Method and Description |
---|---|
abstract Disjunction |
RelationalFormula.combineWithOr(Disjunctable formula) |
Disjunction |
FolFormula.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
MlnFormula
Instances of this class represent first-order formulas with a weight.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
MlnFormula.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
AssociativePropositionalFormula
This class captures the common functionalities of formulas with an associative
operation like conjunction, disjunction, etc.
|
class |
Proposition
This class represents a simple proposition in propositional logic.
|
class |
PropositionalFormula
This class represents the common ancestor for propositional formulae.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
PropositionalFormula.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
RelationalConditional
Instances of this class represent relational conditionals.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
RelationalConditional.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
DefaultRule
Models a default rule in Reiter's default logic, see [R.
|
Modifier and Type | Method and Description |
---|---|
Disjunction |
DefaultRule.combineWithOr(Disjunctable formula) |
Modifier and Type | Class and Description |
---|---|
class |
RelationalProbabilisticConditional
This class represents a relational probabilistic conditional, i.e.
|
Modifier and Type | Class and Description |
---|---|
class |
DLPHead
This formula represents the head of an disjunctive rule which is a
disjunction of ELP literals.
|
Modifier and Type | Method and Description |
---|---|
SimpleLogicalFormula |
DLPHead.combineWithOr(Disjunctable f) |
Modifier and Type | Class and Description |
---|---|
class |
NLPNot
A default negation of a first order formula, nested logic programs
only allow not quantified formulas.
|