A goal-oriented interface to consumer electronics using planning and commonsense reasoning.
Henry LiebermanJosé H. EspinosaPublished in: IUI (2006)
Keyphrases
- goal oriented
- commonsense reasoning
- consumer electronics
- embedded devices
- nonmonotonic reasoning
- incomplete information
- knowledge representation
- event calculus
- requirements analysis
- formal theory
- classical logic
- embedded systems
- first order logic
- missing information
- logic programming
- autoepistemic logic
- database systems
- high level
- databases
- digital camera
- mobile devices
- natural language
- artificial intelligence