关于逻辑程序不动点语义的讨论

• 作者: 刘富春
• 来源期刊: 广东工业大学学报
• 学科: 工学
• 关键词: 逻辑程序设计 不动点语义 Herbrand解释 Herbrand模型
• 年，卷（期）: 2005,（2）
• 页码范围: 120-124,129
• 页数: 6页
• 分类号: TP311.1
• 字数: 3924字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-7162.2005.02.025

摘要

主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一个子句都满足:子句体的变量都在子句头中出现时,集合Tp↓ω就是语义映射Tp的最大不动点. 然后定义了另一个Herbrand解释语义映射Fp,将关于逻辑程序不动点语义的一些主要结论进行了推广.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学应用数学学院	49	235	10.0	14.0