A Propositional Dynamic Logic with Qualitative Probabilities.
Dimitar P. GuelevPublished in: J. Philos. Log. (1999)
Keyphrases
- propositional dynamic logic
- dynamic logic
- numerical values
- reasoning about actions
- probability theory
- probability distribution
- qualitative reasoning
- qualitative simulation
- quantitative data
- belief networks
- probability values
- qualitative physics
- transition probabilities
- possibility theory
- quantitative and qualitative
- rare events
- quantitative measures
- general purpose
- subjective probabilities
- genetic algorithm