A probabilistic modal logic for context-aware trust based on evidence.
Alessandro AldiniGianluca CurziPierluigi GrazianiMirko TagliaferriPublished in: Int. J. Approx. Reason. (2024)
Keyphrases
- context aware
- modal logic
- temporal logic
- contextual information
- context awareness
- ubiquitous computing
- mobile devices
- ambient intelligence
- inference rules
- classical logic
- nonmonotonic logics
- mobile computing
- smart environments
- context aware systems
- pervasive computing
- ubiquitous learning
- probabilistic model
- situation calculus
- mobile users
- context sensitive
- smart home
- epistemic logic
- default logic
- dynamic logic
- uncertain data
- context aware services
- context aware ubiquitous learning
- model checking
- probabilistic logic
- modal operators
- smart spaces
- ubiquitous environment
- kripke models
- intelligent environments