一种构造Prolog程序子句本体的方法

• 作者: 姜云飞 蒋志华
• 来源期刊: 东南大学学报（英文版）
• 学科: 工学
• 关键词: 本体 子句 概念图 Prolog+CG
• 年，卷（期）: 2006,（3）
• 页码范围: 357-360
• 页数: 4页
• 分类号: TP3
• 字数: 1083字
• 语种: 英文
• DOI: 10.3969/j.issn.1003-7985.2006.03.015

摘要

为了使Prolog推理引擎可以从一定程度的语义上来区分子句,通过概念图的形式对Prolog程序的子句建立本体.子句本体的概念模型通过其谓词参数和头子目标来建立,而头子目标是指出现在规则体首部并且位于任何谓词调用之前的子目标集合.所提出的方法把一个Prolog程序转换成包含其子句本体的Prolog+CG程序.实验表明,通过对Prolog子句建立本体,可以尽早地去除与当前目标明显不匹配的子句,从而使得目标求解树的规模减小.在概念图的描述形式下,子句本体使得Prolog程序的语义更清晰可读,在某些情况下能明显加快程序的求解过程.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋志华	中山大学信息科学与技术学院	25	122	7.0	9.0
3	姜云飞	中山大学信息科学与技术学院	84	1013	18.0	28.0