Distinguishing defaults and second-line conceptualization in reasoning about humans, robots, and computers.
Daniel T. LevinMegan M. SaylorPublished in: HRI (2009)
Keyphrases
- human agent interaction
- artificial agents
- service robots
- turing test
- mobile robot
- default logic
- human beings
- artificial systems
- multi robot
- cooperative
- intelligent machines
- default reasoning
- autonomous robots
- human robot interaction
- line segments
- expressive power
- human behavior
- computer technology
- computer systems
- modal operators
- human teacher
- formal theory
- computer programs
- ai researchers
- human operators
- human users
- personal computer
- neural network
- knowledge representation
- intelligent systems
- human robot
- human intelligence
- human experts
- robotic systems
- line drawings