Authoring and Verifying Human-Robot Interactions
Authoring and Verifying Human-Robot Interactions
复制标题
编写和验证人机交互
DOI：
10.1145/3242587.3242634
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Mutlu, Bilge
中科院分区：
文献类型：
--
作者：
Porfirio, David;Sauppé, Allison;Albarghouthi, Aws;Mutlu, Bilge
作为社会代理，为人类互动而设计的机器人必须遵守人类的社会规范。我们如何才能让设计师、工程师和机器人专家设计出符合人类社会规范的机器人行为，而不会导致交互故障？在本文中，我们使用自动化的形式验证方法，以促进适当的社会规范的编码到社交机器人的交互设计和故障和规范违反的检测，以防止它们。我们已经开发了一个创作环境，利用这些方法为开发人员的社会机器人应用程序的反馈，在设计时，并评估其使用的好处，减少这种故障和违反人机交互。我们与应用程序开发人员（N=9）的评估表明，使用形式验证方法提高了设计师的能力，以确定和上下文的社会规范违反。我们讨论了我们的方法对未来开发的工具，有效的社会机器人应用程序的设计的影响。
As social agents, robots designed for human interaction must adhere to human social norms. How can we enable designers, engineers, and roboticists to design robot behaviors that adhere to human social norms and do not result in interaction breakdowns? In this paper, we use automated formal-verification methods to facilitate the encoding of appropriate social norms into the interaction design of social robots and the detection of breakdowns and norm violations in order to prevent them. We have developed an authoring environment that utilizes these methods to provide developers of social-robot applications with feedback at design time and evaluated the benefits of their use in reducing such breakdowns and violations in human-robot interactions. Our evaluation with application developers (N=9) shows that the use of formal-verification methods increases designers' ability to identify and contextualize social-norm violations. We discuss the implications of our approach for the future development of tools for effective design of social-robot applications.
登录
查看更多内容
类人机器人的对话凝视机制
DOI：
10.1145/2070719.2070725
发表时间：
2012
期刊：
ACM Trans. Interact. Intell. Syst.
影响因子：
--
作者：
Bilge Mutlu;T. Kanda;J. Forlizzi;J. Hodgins;H. Ishiguro
通讯作者：
H. Ishiguro
“冰箱门是开着的”——机器人助手行为的时间验证
DOI：
10.1007/978-3-319-10401-0_9
发表时间：
2014
期刊：
Companion of the 2021 ACM/IEEE International Conference on Human-Robot Interaction
影响因子：
--
作者：
C. Dixon;M. Webster;J. Saunders;Michael Fisher;K. Dautenhahn
通讯作者：
K. Dautenhahn
URBI：迈向通用机器人低级编程语言
DOI：
--
发表时间：
2005
期刊：
2005 IEEE/RSJ International Conference on Intelligent Robots and Systems
影响因子：
--
作者：
Jean
通讯作者：
Jean
组织中的机器人：工作流程、社会和环境因素在人机交互中的作用
DOI：
10.1145/1349822.1349860
发表时间：
2008
期刊：
2008 3rd ACM/IEEE International Conference on Human-Robot Interaction (HRI)
影响因子：
--
作者：
Bilge Mutlu;J. Forlizzi
通讯作者：
J. Forlizzi
DOI：
--
发表时间：
2010
期刊：
AAAI Fall Symposium: Dialog with Robots
影响因子：
--
作者：
Julia Peltason;B. Wrede
通讯作者：
B. Wrede