近日，方良达课题组在智能规划的通用求解技术领域取得重要研究进展，相关研究成果以“Generalized Linear Integer Numeric Planning”为题发表在国际顶级会议“International Conference on Automated Planning and Scheduling”（简称ICAPS）上。其中，暨南大学为第一完成单位，2019级硕士研究生林晓游为第一作者，官全龙教授和方良达副教授为通讯作者，罗伟其教授、苏开乐教授和陈清亮教授为合作作者。据悉，该会议每年在全世界范围内大约录取80篇文章。ICAPS会议属于中国计算机学会推荐B类会议。根据计算机学会分类标准，B类会议指国际上著名和非常重要的会议，代表该领域的较高水平，鼓励国内同行投稿。

在本论文中，方良达课题组针对已有定性数值规划表示框架形式化能力不足的短板，提出了一类新型的通用规划问题形式化框架：通用线性整数数值规划模型，通过引入线性整数算术逻辑，突破现有数值规划只允许简单算术公式的限制，同时通过引入条件效果型动作，扩大通用规划问题模型的可形式化范围。此外，围绕通用线性整数数值规划问题，他们还设计出一个高效的规划程序自动化推导机制，一定程度上解决了大规模智能规划问题的求解效率瓶颈的难题。在22个来自公开的通用规划领域基准测例上，大量的实验表明了该模型以及求解技术在多个性能评价指标上均取得先进的水平，特别与已有的定性数值规划模型相比，其在形式化能力和求解效率方面都显示出较大的优势。 

该研究成果得到了国家自然科学基金面上项目、国家自然科学基金青年项目、中央高校基本科研业务费专项资金、广东省基础与应用基础研究基金、广州市科技计划等项目的资助。该工作可以促进智能规划求解技术前沿研究发展，也可以为大规模智能规划问题的求解提供新的研究思路。

论文录取链接如下: http://icaps22.icaps-conference.org/papers.html