Cognitive reasoning and trust in human-robot interactions

Conference item

We are witnessing accelerating technological advances in autonomous systems, of which driverless cars and home-assistive robots are prominent examples. As mobile autonomy becomes embedded in our society, we increasingly often depend on decisions made by mobile autonomous robots and interact with them socially. Key questions that need to be asked are how to ensure safety and trust in such interac-tions. How do we know when to trust a robot? How much should we trust? And how much should the robots trust us? This paper will give an overview of a probabilistic logic for expressing trust between human or robotic agents such as “agent A has 99% trust in agent B’s ability or willingness to perform a task” and the role it can play in explaining trust-based decisions and agent’s dependence on one another. The logic is founded on a probabilistic notion of belief, supports cognitive reason-ing about goals and intentions, and admits quantitative verification via model checking, which can be used to evaluate trust in human-robot interactions. The paper concludes by summarising future challenges for modelling and verification in this important field.

Authors: Kwiatkowska, M

• Publication status: Published
• Peer review status: Peer reviewed
• Publisher: Springer
• Host title: 4th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
• Journal: 4th Annual Conference on Theory and Applications of Models of Computation, TAMC 2017
• Publication date: 2017-03-01
• Acceptance date: 2016-12-15
• DOI: 10.1007/978-3-319-55911-7_1
• ISSN: 1611-3349, 0302-9743
• ISBN: 9783319559100
• Keywords: *keyword*
• Subjects: *subject*