Advanced Techniques for Action Model Solicitation, Verification, and Induction

自主系统正在成为日常生活中至关重要的一部分。能够对世界进行推理并采取目标导向行动的系统处于复杂自主行为的前沿，构建这些系统仍然是一个挑战。人工智能的子领域被称为自动规划(AP)，重点是如何建立与环境(虚拟和物理)交互的自主系统。AP通过在给定环境模型的情况下为代理人综合计划或政策来做到这一点。AP的研究在最近几十年里取得了巨大的进步，导致了许多行业应用，包括机器人、对话生成和业务流程自动化。该提案旨在直接解决部署AP解决方案的一些最大障碍。使用AP技术的一个关键瓶颈是模型获取任务：获取描述自治系统行为的规范或模型的过程。拟议的研究直接集中在这一关键且未得到充分研究的步骤上。特别是，三个相辅相成的研究线索将解决模型获取的各个方面--从手动模型征求到完全自主的模型归纳。第一线将通过将现代人工智能推理技术应用到过程中来提高手动模型规范的能力。一套先进的分析和验证技术，例如基于案例的行动可达性或冗余性自动测试，将识别和突出模型的不一致和不足。第二个研究线索将通过引入通用的基于逻辑的规范来统一模型表示。最后一个主题将关注模型归纳：以数据驱动的方式对AP模型进行半自主或全自主推理。使用现代机器学习技术与AP理论提供的先验知识相结合，这项工作可以极大地减轻实践者合成自主系统的负担。这三条线索之间的协同作用将导致模型获取过程的实质性改善。这项工作的所有方面都反映了一种综合办法，它将形成一个单一的模型采购框架。这将向专注于AP技术的研究社区以及今天在行业中部署AP解决方案的从业者公开提供。改进的模型获取将对对话代理设计和业务流程自动化的业务领域产生直接和实质性的影响，这两个领域都依赖于行动模型获取。为这项研究培训高素质的人员将为他们提供在人工智能的许多基础和新兴领域发展技能的机会。我预计将有两名博士生、两名硕士生和四名本科生通过这个项目获得培训；为他们在学术界或行业对人工智能的高需求领域做好准备。

Autonomous systems are becoming a vital part of everyday life. Systems that can reason about the world and take goal-directed actions are at the forefront of sophisticated autonomous behaviour, and constructing them remains a challenge. The sub-field of Artificial Intelligence known as Automated Planning (AP) focuses on how to build autonomous systems that interact with environments (both virtual and physical). AP does so by synthesizing plans or policies for an agent to follow, given a model of the environment. AP research has made tremendous strides in recent decades, leading to numerous industry applications including robotics, dialogue generation, and business process automation. This proposal aims to directly address some of the greatest barriers to deploying AP solutions. A key bottleneck for using AP technology is the task of model acquisition: the process of acquiring specifications or models to describe the autonomous system behaviour. The proposed research directly focuses on this crucial and understudied step. In particular, three complementary threads of research will address various aspects of model acquisition -- from manual model solicitation to fully autonomous model induction. The first thread will improve the capability of manual model specification by applying modern AI reasoning techniques to the process. A suite of advanced analysis and verification techniques, such as automated case-based testing of action reachability or redundancy, will identify and highlight model inconsistencies and insufficiencies. The second thread of research will unify model representations by introducing a common logic-based specification. The final thread will focus on model induction: semi- or fully-autonomous inference of AP models in a data-driven fashion. Using a combination of modern machine learning techniques with innate priors informed by AP theory, this line of work can greatly reduce the burden on practitioners synthesizing autonomous systems. Synergy between these three threads will lead to a substantial improvement in the process of model acquisition. All aspects of the work reflect an integrated approach that will form a single framework for model acquisition. This will be made publicly available to both the research community focused on AP techniques, as well as practitioners that deploy AP solutions in industry today. Improved model acquisition will have a direct and substantial impact on the business areas of dialogue agent design and business process automation, both of which depend on action model acquisition. The training of highly qualified personnel for this research will provide them with the opportunity to develop skills in many fundamental and emerging areas of Artificial Intelligence. I expect that two PhD students, two Master's students, and four undergraduate students will acquire training through this program; preparing them for the high-demand area of AI in either academia or industry.