An intelligent machine modelling assistant for combinatorial optimisation

该项目旨在发现关键的基础技术，以自动协助非专业用户制定数学模型。通过组合优化问题的自动化建模，本研究将产生新的知识来解决自动数学建模的基本挑战。这个智能助手将通过利用开创性的自然语言处理组件和新颖的定制机器可读知识库来合成新的数学模型。本研究成果将拓宽非专业劳动力获得高质量模型的途径，缓解专业数学家的短缺，带来显著的社会效益和经济效益。

This project aims to discover key fundamental technologies for automating assistance to non-expert users in the formulation of mathematical models. Through automating the modelling of combinatorial optimization problems, this research will generate new knowledge to address the fundamental challenges of automatic mathematical modelling. This intelligent assistant will enable synthesis of new mathematical models through the utilisation of pioneering natural language processing components and novel custom-made machine-readable knowledge bases. The outcome of this research will broaden access to high-quality models by non-expert workforce and alleviate the shortage of expert mathematicians, bringing significant social and economic benefits.