基于CLP的油料保障决策建模

摘要

油料保障约束逻辑程序设计CLP(Constraint Logic Programs)是逻辑程序设计LP与约束问题求解相结合的产物.特定领域的具体知识的获取和建模是CLP应用成功的关键.油料保障决策问题属多约束满足的NP问题.应用CLP建模技术,从具体问题的自然描述导出适于求解的约束过程,自动合成最优算法,这一研究对于快速实现油料保障决策具有重要意义.文中阐述CLP原理及其约束描述方法,并以油料运输CLP模型、油料调拨决策CLP模型和油料保障约束数据库模型为实例,论述基于CLP的油料保障决策建模过程.