线性递归DataLog程序优化算法

• 作者: 姚天顺 曹路 王家华 金祥意
• 来源期刊: 控制与决策
• 学科: 工学
• 关键词: DataLog逻辑程序 EDB谓词 IDB谓词 魔集算法 线性齐次逻辑程序
• 年，卷（期）: 2000,（1）
• 所属期刊栏目: 论文与报告
• 页码范围: 59-62
• 页数: 4页
• 分类号: TP31.13
• 字数: 2809字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-0920.2000.01.015

摘要

提出了线性齐次DataLog逻辑程序的概念,并为该类程序设计了一个优化的求解算法.在此基础上提出了求解一般线性DataLog程序的优化算法.该算法利用带有约束条件的递归调用方法,将线性DataLog程序求解问题变换成齐次程序求解问题.算法简单,易于实现,可应用于任何线性DataLog程序的求解.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姚天顺	东北大学信息科学与工程学院	61	1723	24.0	40.0
2	王家华	东北大学信息科学与工程学院	2	9	2.0	2.0
3	曹路	东北大学信息科学与工程学院	1	3	1.0	1.0
4	金祥意	东北大学信息科学与工程学院	1	3	1.0	1.0