Linking temporal first-order logic with Bayesian networks for the simulation of pervasive computing systems.
Eleftheria KatsiriAlan MycroftPublished in: Simul. Model. Pract. Theory (2011)
Keyphrases
- first order logic
- pervasive computing
- bayesian networks
- probabilistic reasoning
- expressive power
- markov networks
- propositional logic
- inference rules
- representation language
- knowledge representation
- theorem prover
- theorem proving
- ambient intelligence
- computing environments
- smart environments
- inductive logic programming
- transitive closure
- management system
- expert systems
- probabilistic graphical models
- belief networks
- databases
- context aware
- intelligent systems
- distributed systems
- fuzzy logic
- probabilistic model
- natural language