Automated Modelling Assistance for the Creation of Complex Planning Models

人工智能（AI）规划技术用于控制自动化工厂、机器人等系统，或解决复杂的优化问题。然而，创建这些模型相当复杂且容易出错，首先需要专家来创建它们。该项目旨在开发自动化建模支持的技术和工具。它们将使建模过程更容易，并保证所需的模型属性，如所需的系统行为。因此，这些工具将有助于使那些可能想要部署它们的公司更容易获得这项技术，同时降低这样做的成本并提高这些模型的质量。

Artificial Intelligence (AI) planning technology is used to control systems like automated factories, robots, or to solve complex optimisation problems. Creating these models is however rather complex and error-prone and requires experts to create them in the first place. This project aims at developing techniques and tools for automated modelling support. They will make the modelling process easier and guarantee desired model properties such as the desired system behaviour. The tools will thus contribute towards making the technology more easily accessible to companies that might want to deploy them, while reducing costs for doing so and increasing the quality of these models.