王家华,曹 路,金祥意,姚天顺
东北大学信息科学与工程学院 沈阳 110005
提出了线性齐次DataLog 逻辑程序的概念, 并为该类程序设计了一个优化的求解算法。在此 基础上提出了求解一般线性DataLog 程序的优化算法。该算法利用带有约束条件的递归调用方法, 将 线性DataLog 程序求解问题变换成齐次程序求解问题。算法简单, 易于实现, 可应用于任何线性Data2 Log 程序的求解。
DataLog 逻辑程序, EDB 谓词, I DB 谓词, 魔集算法, 线性齐次逻辑程序
王家华,曹 路,金祥意,等.线性递归Da taL og 程序优化算法[J].控制与决策,2000,15(1):59-62
微信里点“发现”,扫一下
二维码便可将本文分享至朋友圈。