Leveraging commonsense reasoning towards a smarter Smart Home.
Ana Rubio RuizDavid Villa AlisesRubén Cantarero NavarroMaría José Santofimia RomeroJavier Dorado ChaparroJuan Carlos López LópezPublished in: KES (2021)
Keyphrases
- commonsense reasoning
- smart home
- incomplete information
- nonmonotonic reasoning
- event calculus
- activity recognition
- smart home environment
- assisted living
- ambient intelligence
- knowledge representation
- context aware
- formal theory
- ubiquitous environments
- intelligent systems
- missing information
- embedded systems
- human activities
- autoepistemic logic
- cooperative
- artificial intelligence
- management system
- default logic
- situation calculus
- classical logic
- deductive databases
- autonomous agents
- intelligent agents