Modelling Uncertainty with Kripke's Semantics.
Veselka BoevaElena TsiporkovaBernard De BaetsPublished in: AIMSA (1998)
Keyphrases
- formal semantics
- temporal logic
- modal logic
- logic programming
- inference rules
- uncertain information
- conditional probabilities
- kripke models
- semantic information
- desirable properties
- uncertain data
- logical language
- possibilistic logic
- speech acts
- decision theory
- decision making
- model checking
- rough sets
- object oriented