A goal-oriented interface to consumer electronics using planning and commonsense reasoning.
Henry LiebermanJosé H. EspinosaPublished in: Knowl. Based Syst. (2007)
Keyphrases
- goal oriented
- commonsense reasoning
- consumer electronics
- embedded devices
- nonmonotonic reasoning
- event calculus
- knowledge representation
- incomplete information
- embedded systems
- requirements analysis
- classical logic
- formal theory
- missing information
- autoepistemic logic
- digital camera
- data storage
- transitive closure
- logic programming
- high level