Robots that Say ‘No’. Affective Symbol Grounding and the Case of Intent Interpretations

© 2017 IEEE. This article has been accepted for publication in a forthcoming issue of IEEE Transactions on Cognitive and Developmental Systems. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works.Modern theories on early child language acquisition tend to focus on referential words, mostly nouns, labeling concrete objects, or physical properties. In this experimental proof-of-concept study, we show how nonreferential negation words, typically belonging to a child's first ten words, may be acquired. A child-like humanoid robot is deployed in speech-wise unconstrained interaction with naïve human participants. In agreement with psycholinguistic observations, we corroborate the hypothesis that affect plays a pivotal role in the socially distributed acquisition process where the adept conversation partner provides linguistic interpretations of the affective displays of the less adept speaker. Negation words are prosodically salient within intent interpretations that are triggered by the learner's display of affect. From there they can be picked up and used by the budding language learner which may involve the grounding of these words in the very affective states that triggered them in the first place. The pragmatic analysis of the robot's linguistic performance indicates that the correct timing of negative utterances is essential for the listener to infer the meaning of otherwise ambiguous negative utterances. In order to assess the robot's performance thoroughly comparative data from psycholinguistic studies of parent-child dyads is needed highlighting the need for further interdisciplinary work.Peer reviewe

On the Integration of Adaptive and Interactive Robotic Smart Spaces

© 2015 Mauro Dragone et al.. This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 3.0 License. (CC BY-NC-ND 3.0)Enabling robots to seamlessly operate as part of smart spaces is an important and extended challenge for robotics R&D and a key enabler for a range of advanced robotic applications, such as AmbientAssisted Living (AAL) and home automation. The integration of these technologies is currently being pursued from two largely distinct view-points: On the one hand, people-centred initiatives focus on improving the user’s acceptance by tackling human-robot interaction (HRI) issues, often adopting a social robotic approach, and by giving to the designer and - in a limited degree – to the final user(s), control on personalization and product customisation features. On the other hand, technologically-driven initiatives are building impersonal but intelligent systems that are able to pro-actively and autonomously adapt their operations to fit changing requirements and evolving users’ needs,but which largely ignore and do not leverage human-robot interaction and may thus lead to poor user experience and user acceptance. In order to inform the development of a new generation of smart robotic spaces, this paper analyses and compares different research strands with a view to proposing possible integrated solutions with both advanced HRI and online adaptation capabilities.Peer reviewe

A template based user-teaching system for an Assistive Robot

Demographics issues, characterised by an increasing elderly population, are expected to be a major concern both in Europe and other countries around the world. A proposed cost and care solution to these issues has been suggested that uses assistive robots in 'smarthome' environments. The deployment of such integrated facilities presents many challenges, one of which concerns the customisation of such systems to meet the needs of the elderly person themselves. One approach is to allow the elderly person to actually teach the robot sufficient behaviours that meet their care requirements. The teaching could equally well be carried out by the elderly person's relatives or carers. The overriding premise being that teaching is both intuitive and 'non-technical'. As part of a European project investigating these issues we have deployed a commercially available robot in a fully sensorised but otherwise ordinary suburban house, and designed a non-technical teaching system, based on behavioural templates, to achieve this goal. We have evaluated this integrated system within the house with 20 participants in a Human-Robot interaction experiment. Results indicate that participants overall found the interface easy to use, and felt that they would be capable of using it in a real-life situation. There were also some salient individual differences within the sample

Kant and Degrees of Responsibility

Kant views every human action as either entirely determined by natural necessity or entirely free. In viewing human action this way, it is unclear how he can account for degrees of responsibility. In this article, I consider three recent attempts to accommodate degrees of responsibility within Kant's framework, but argue that none of them are satisfying. In the end, I claim that transcendental idealism constrains Kant such that he cannot provide an adequate account of degrees of responsibility

Kant and the Problem of Recognition: Freedom, Transcendental Idealism, and the Third-Person

Kant wants to show that freedom is possible in the face of natural necessity. Transcendental idealism is his solution, which locates freedom outside of nature. I accept that this makes freedom possible, but object that it precludes the recognition of other rational agents. In making this case, I trace some of the history of Kant’s thoughts on freedom. In several of his earlier works, he argues that we are aware of our own activity. He later abandons this approach, as he worries that any awareness of our activity involves access to the noumenal, and thereby conflicts with the epistemic limits of transcendental idealism. In its place, from the second Critique onwards, Kant argues that we are conscious of the moral law, which tells me that I ought to do something, thus revealing that I can. This is the only proof of freedom consistent with transcendental idealism, but I argue that such an exclusively first-personal approach precludes the (third-personal) recognition of other rational agents. I conclude that transcendental idealism thus fails to provide an adequate account of freedom. In its place, I sketch an alternative picture of how freedom is possible, one that locates freedom within, rather than outside of nature

"The fridge door is open" : temporal verification of a robotic assistant's behaviours

Robotic assistants are being designed to help, or work with, humans in a variety of situations from assistance within domestic situations, through medical care, to industrial settings. Whilst robots have been used in industry for some time they are often limited in terms of their range of movement or range of tasks. A new generation of robotic assistants have more freedom to move, and are able to autonomously make decisions and decide between alternatives. For people to adopt such robots they will have to be shown to be both safe and trustworthy. In this paper we focus on formal verification of a set of rules that have been developed to control the Care-O-bot, a robotic assistant located in a typical domestic environment. In particular, we apply model-checking, an automated and exhaustive algorithmic technique, to check whether formal temporal properties are satisfied on all the possible behaviours of the system. We prove a number of properties relating to robot behaviours, their priority and interruptibility, helping to support both safety and trustworthiness of robot behaviours

Wellbeing Economics

Economists have long sought to maximise economic growth, believing this to be their best contribution to improving human welfare. That approach is not sustainable in the face of ongoing issues such as global climate change, environmental damage, rising inequality and enduring poverty. Alternatives must be found. This open access book addresses that challenge. It sets out a wellbeing economics framework that directly addresses fundamental issues affecting wellbeing outcomes. Drawing inspiration from the capabilities approach of Nobel Prize winner Amartya Sen, the book demonstrates how persons can enhance prosperity through their own actions and through collaboration with others. The book examines national public policy, but its analysis also focuses on choices made by individuals, households, families, civil society, local government and the global community. It therefore offers important insights for anyone concerned with improving personal wellbeing and community prosperity

Practical grounds for belief: Kant and James on religion

Both Kant and James claim to limit the role of knowledge in order to make room for faith. In this paper, we argue that despite some similarities, their attempts to do this come apart. Our main claim is that, although both Kant and James justify our adopting religious beliefs on practical grounds, James believes that we can—and should—subsequently assess such beliefs on the basis of evidence. We offer our own account of this evidence and discuss what this difference means for their accounts of religious belief

Formal verification of an autonomous personal robotic assistant

Human–robot teams are likely to be used in a variety of situations wherever humans require the assistance of robotic systems. Obvious examples include healthcare and manufacturing, in which people need the assistance of machines to perform key tasks. It is essential for robots working in close proximity to people to be both safe and trustworthy. In this paper we examine formal verification of a high-level planner/scheduler for autonomous personal robotic assistants such as Care-O-bot ™ . We describe how a model of Care-O-bot and its environment was developed using Brahms, a multiagent workflow language. Formal verification was then carried out by translating this to the input language of an existing model checker. Finally we present some formal verification results and describe how these could be complemented by simulation-based testing and realworld end-user validation in order to increase the practical and perceived safety and trustworthiness of robotic assistants