Package | Description |
---|---|
net.sf.tweety.logics.fol.semantics | |
net.sf.tweety.logics.ml.semantics | |
net.sf.tweety.logics.pl.semantics |
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 |
ModalHerbrandInterpretation
Modified version of HerbrandInterpretation that allows for modal formulas.
|
Modifier and Type | Class and Description |
---|---|
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.
|