Towards Robots for Social Engagement

In this paper we consider the aspects that ensure successful interaction between social robots and people. As such robots are increasingly autonomous, it is crucial that the user can trust their behaviour, and that their decisions are taken within social and ethical requirements. It is important to specify what actions are expected from the robot, verify that the autonomous robot actually achieve these, and validate that the requirements are exactly what the user wants. To this purpose, our activities have been focused on formal verification of autonomous robotics systems, investigating both reliability and robot ethics and deployment of social robots in both constrained and public environments.

[1]  Masahiro Fujita,et al.  On activating human communications with pet-type robot AIBO , 2004, Proceedings of the IEEE.

[2]  Michael Fisher,et al.  Formal verification of ethical choices in autonomous systems , 2016, Robotics Auton. Syst..

[3]  Kerstin Dautenhahn,et al.  Would You Trust a (Faulty) Robot? Effects of Error, Task Type and Personality on Human-Robot Cooperation and Trust , 2015, 2015 10th ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[4]  Nick Bostrom,et al.  Superintelligence: Paths, Dangers, Strategies , 2014 .

[5]  Clare Dixon,et al.  "The Fridge Door is Open"-Temporal Verification of a Robotic Assistant's Behaviours , 2014, TAROS.

[6]  Kerstin Dautenhahn,et al.  Socially intelligent robots: dimensions of human–robot interaction , 2007, Philosophical Transactions of the Royal Society B: Biological Sciences.

[7]  Kerstin Dautenhahn,et al.  Looking Good? Appearance Preferences and Robot Personality Inferences at Zero Acquaintance , 2007, AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics.

[8]  Kerstin Dautenhahn,et al.  Getting to know each other - Artificial social intelligence for autonomous robots , 1995, Robotics Auton. Syst..

[9]  Susan R. Fussell,et al.  Anthropomorphic Interactions with a Robot and Robot–like Agent , 2008 .

[10]  Oussama Khatib,et al.  Springer Handbook of Robotics , 2007, Springer Handbooks.

[11]  Clare Dixon,et al.  Toward Reliable Autonomous Robotic Assistants Through Formal Verification: A Case Study , 2016, IEEE Transactions on Human-Machine Systems.

[12]  Matthew M. Williamson,et al.  Series elastic actuators , 1995, Proceedings 1995 IEEE/RSJ International Conference on Intelligent Robots and Systems. Human Robot Interaction and Cooperative Robots.

[13]  Kerstin Dautenhahn,et al.  I Could Be You: the Phenomenological Dimension of Social Understanding , 1997, Cybern. Syst..

[14]  Andreas Matthias,et al.  Robot Lies in Health Care: When Is Deception Morally Permissible? , 2015, Kennedy Institute of Ethics journal.

[15]  Mike Fraser,et al.  Building safer robots: Safety driven control , 2012, Int. J. Robotics Res..

[16]  Ronald C. Arkin,et al.  Governing lethal behavior: Embedding ethics in a hybrid deliberative/reactive robot architecture part I: Motivation and philosophy , 2008, 2008 3rd ACM/IEEE International Conference on Human-Robot Interaction (HRI).

[17]  Antonio Bicchi,et al.  Design and Control of a Variable Stiffness Actuator for Safe and Fast Physical Human/Robot Interaction , 2005, Proceedings of the 2005 IEEE International Conference on Robotics and Automation.

[18]  Alin Albu-Schäffer,et al.  On a new generation of torque controlled light-weight robots , 2001, Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164).

[19]  N. Sharkey,et al.  Granny and the robots: ethical issues in robot care for the elderly , 2012, Ethics and Information Technology.

[20]  Michael Fisher,et al.  Practical verification of decision-making in agent-based autonomous systems , 2013, Automated Software Engineering.

[21]  Michael Fisher,et al.  Towards Verifiably Ethical Robot Behaviour , 2015, AAAI Workshop: AI and Ethics.

[22]  Susan R. Fussell,et al.  How people anthropomorphize robots , 2008, 2008 3rd ACM/IEEE International Conference on Human-Robot Interaction (HRI).