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

刘富春

首页> 中文期刊>广东工业大学学报 >关于逻辑程序不动点语义的讨论

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《广东工业大学学报》|2005年第2期|120-124129|共6页
作者
刘富春;
展开▼
作者单位

广东工业大学,应用数学学院,广东,广州,510090;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计;
关键词
逻辑程序设计; 不动点语义; Herbrand解释; Herbrand模型;

相似文献

中文文献
外文文献
专利

1. 再扩充模糊逻辑中逻辑程序的模型论语义和不动点语义研究 [J] . 刘富春 . 模糊系统与数学 . 2006,第2期
2. 关于三值逻辑程序中否定和蕴涵完备化程序的不动点语义 [J] . 刘富春 . 计算机科学 . 2006,第004期
3. 简单单调约束逻辑程序的良基语义研究 [J] . 常万军 ,郭祖华 ,魏昆鹏 . 计算机工程与设计 . 2013,第006期
4. Datalog逻辑程序调用语义及其应用研究 [J] . 钟勇 ,郭伟刚 ,钟昌乐 . 计算机科学 . 2010,第001期
5. 动态模糊逻辑程序设计语言的指称语义 [J] . 韩小芬 ,李凡长 . 计算机科学 . 2009,第001期
6. 逻辑程序的广义不动点语义学 [C] . 王克文 . ’94全国理论计算机科学年会 . 1994
7. 逻辑程序的语义和强等价逻辑程序研究 [A] . 陈寅 . 2005

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

摘要

著录项

相似文献

相关主题

期刊订阅