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.