人机交互的创作与验证

作为社交 agent，设计用于人机交互的机器人必须遵守人类社交规范。我们如何才能让设计师、工程师和机器人专家设计出符合人类社交规范且不会导致交互崩溃的机器人行为？在本文中，我们使用自动形式化验证方法来促进将适当的社交规范编码到社交机器人的交互设计中，并在设计时检测崩溃和规范违规以防止它们。我们开发了一个创作环境，利用这些方法为社交机器人应用开发者提供设计时反馈，并评估了它们在减少人机交互中此类崩溃和违规的好处。我们与应用开发者（N=9）的评估表明，形式化验证方法的使用提高了设计师识别和情境化社交规范违规的能力。我们讨论了这种方法对未来社交机器人应用有效设计工具开发的启示。