NRI: Collaborative Research: Modeling and Verification of Language-based Interaction

今天，许多自主系统，如个人机器人或服务机器人，主要是为了独立和隔离地执行任务而设计的。将这些机器人与人类伙伴集成通常会导致性能不佳，因为机器人不知道如何解释人类交互，并且无法将这种交互中的信息与保证机器人性能的模型合并。本研究汇集了刚刚达到足够成熟水平的关键要素进行集成：首先，自然语言处理和概率建模以捕获人类输入，其次是组合人机系统的概率合成和验证，以确保正确的性能。其结果将是理论和软件，使机器人和人类之间的正确，有效和自然的互动得以实现。这项研究将影响未来大多数需要与人类互动的自主系统，包括服务机器人、个人机器人和行星机器人。本研究的目标是开发基于自然语言交互的人+机器人集成系统的综合和验证模型和算法。人们正在开发算法，用于自然语言的概率建模和推理，包括将语言的组成部分与物理世界和人类的期望联系起来。这些模型将能够开发控制综合规范的分布，这将反过来使开发和验证结构正确的控制器达到特定的概率水平。未来几年，我们将考虑人机互动对话来解决冲突，以及“开放世界”场景，以便随着时间的推移在线学习新模型。由于与人类的内在互动，预计这项研究将在许多自主系统中实现高可靠性和高性能。成果包括开源数据和软件；社区工作坊;以及本科和研究生在机器人语言，建模和验证的独特领域的教育。

Many autonomous systems today, such as personal or service robots, are designed primarily to perform tasks independently and in isolation. Integrating these robots with human partners can often result in poor performance, as the robot does not know how to interpret human interaction, and cannot merge information from this interaction with a model that guarantees robot performance. This research brings together key elements that are just now reaching a sufficient level of maturity for integration: firstly, natural language processing and probabilistic modeling to capture human input, and secondly probabilistic synthesis and verification of the combined human-robot systems to ensure correct performance. The outcome will be theory and software to enable correct, effective and natural interactions between robots and humans to be realized. This research will impact most future autonomous systems which require interactions with humans, including service, personal and planetary robots. The goal of this research is to develop models and algorithms for synthesizing and verifying an integrated human-plus-robot system based on natural language interaction. Algorithms are being developed for probabilistic modeling and inference of natural language, including the grounding of the constituents of the language into the physical world and the human's expectations. These models will enable the development of a distribution over specifications for control synthesis, which will in turn enable the development and verification of correct-by-construction controllers to a particular level of probability. The out years will consider interactive human-robot dialogue to resolve conflicts, and "open world" scenarios to enable on-line learning of new models over time. It is expected that this research will enable high reliability and performance in many autonomous systems because of the inherent interaction with humans. Outcomes include open source data and software; community workshops; and undergraduate and graduate student education in the unique area of language, modeling and verification for robotics.