Towards a Formalization of Explanations for Robots' Actions and Beliefs.
Felix LindnerPublished in: JOWO (2020)
Keyphrases
- mobile robot
- multi robot
- formal model
- decision making
- plan recognition
- decision theoretic
- cooperative
- artificial agents
- robotic systems
- situation calculus
- multi robot systems
- human robot interaction
- belief revision
- knowledge representation
- mental states
- speech acts
- human activities
- sensory information
- initially unknown