A reasoning architecture for human-robot joint tasks using physics-, social-, and capability-based logic.
Kenton WilliamsCynthia BreazealPublished in: IROS (2012)
Keyphrases
- human robot
- reasoning engine
- human robot interaction
- automated reasoning
- dialogue system
- deductive reasoning
- robotic systems
- robot behavior
- computational properties
- knowledge base
- logic programming
- artificial intelligence
- mental imagery
- proof theory
- action selection
- human users
- knowledge representation
- social networks
- real time
- logical framework
- order of magnitude reasoning
- probabilistic logic
- modal logic
- computer science
- intuitionistic logic
- evolutionary computation
- logic programs