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