Probabilistic modal logic as a foundation for knowledge management.
Nasser NorooziPublished in: ICDIM (2010)
Keyphrases
- modal logic
- knowledge management
- temporal logic
- epistemic logic
- inference rules
- classical logic
- situation calculus
- default logic
- probabilistic model
- probabilistic logic
- nonmonotonic logics
- knowledge engineering
- knowledge sharing
- bayesian networks
- information systems
- dynamic logic
- case study
- probability theory
- conditional logic
- autoepistemic logic
- information technology
- explanation based generalization
- probabilistic reasoning
- knowledge resources
- model checking
- modal operators