Induction in Nonmonotonic Causal Theories for a Domestic Service Robot.
Jianmin JiXiaoping ChenPublished in: ILP (Late Breaking Papers) (2011)
Keyphrases
- causal theories
- service robots
- answer set programming
- logic programming
- answer set semantics
- logic programs
- human robot interaction
- home environment
- general logic programs
- nonmonotonic reasoning
- strong equivalence
- proof theory
- nonmonotonic logics
- modal logic
- representing knowledge
- machine learning
- propositional logic
- desirable properties
- general purpose
- video sequences