Using Event Calculus for Behaviour Reasoning and Assistance in a Smart Home.
Liming ChenChris D. NugentMaurice D. MulvennaDewar D. FinlayXin HongMichael P. PolandPublished in: ICOST (2008)
Keyphrases
- domain knowledge
- event calculus
- smart home
- reasoning tasks
- domain specific knowledge
- commonsense reasoning
- temporal reasoning
- activity recognition
- situation calculus
- context aware
- description logics
- automated reasoning
- ambient intelligence
- partially ordered
- deductive databases
- logic programming
- intelligent agents
- background knowledge
- human activities
- transitive closure
- knowledge base
- reasoning about actions
- intelligent systems
- management system
- embedded systems
- probabilistic reasoning
- directed acyclic graph
- answer set programming
- learning algorithm
- qualitative and quantitative