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

来源 :广东工业大学学报 | 被引量 : 0次 | 上传用户：hefner

【摘要】

：

主要讨论逻辑程序中的最大不动点语义. 证明了当Herbrand解释语义映射TP是保滤子交的,或者确定性程序中不含函数符号,或者它的每一个子句都满足:子句体的变量都在子句头中出

【作者】

：

刘富春

【机构】

：

广东工业大学应用数学学院

【出处】

：

广东工业大学学报

【发表日期】

：

2005年2期

【关键词】

：

逻辑程序设计不动点语义 Herbrand解释 Herbrand模型 logic programming fixed points Herbrand int

【基金项目】

：

广东工业大学校科研和教改项目

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

职业技能比赛与高职制造类专业内涵建设互动机制的研究

高职教育作为高等教育的一个类型,培养的学生需具备＂首岗适应、多岗迁移、可持续发展＂的职业能力,这与其它类型的高等教育有着显著区别。随着＂工学结合、校企合作＂的逐步深入,高

期刊

职业能力技能比赛高职教育机制制造高等教育高职院校可持续发展

公路边坡抗滑桩的设计与施工研究

滑坡是公路建设中常见的不良地质现象,本文通过连州市省道114线二期工程实例,在边坡稳定性分析与验算的基础上,提出钢管与钢筋混凝土复合结构抗滑桩治理公路滑坡的设计与施工

期刊

抗滑桩设计施工slip resistance piledesignconstruction

SMA马歇尔试验配合比设计研究

结合高等级公路沥青路面工程实际,讨论沥青玛蹄脂碎石混合料(SMA)的马歇尔试验配合比设计方法,提出关键的几项体积指标的解决措施,对提高沥青路面的使用性能和使用寿命具有实

期刊

沥青路面沥青玛蹄脂碎石混合料马歇尔试验配合比设计体积指标asphalt pavement Stone Matrix Asphalt Marshel

虚拟企业收益分配冲突的可拓模型及其协调研究

首先分析了虚拟企业收益分配的基本原则及其冲突的可拓模型,在此基础上,运用可拓学中转换桥的理论与方法,对虚拟企业在运营过程中出现的收益分配冲突,进行了协调研究,以期达

期刊

收益分配虚拟企业冲突协调可拓模型virtual enterprises conflict coordination extenics

浅谈施工项目的成本管理控制

企业以实现盈利最大化为最终目的，对于施工企业来说日益激烈的市场竞争使其利润空间在不断压缩。如何在做好项目的同时对项目成本进行有效的管理、控制。在保质保量完成施工项

期刊

施工项目成本管理

高职教学模式下的动物生理课程改革

摘要：动物生理课程是畜牧兽医相关专业的核心专业基础课，在人才培养中起着承前启后的重要作用。本文主要介绍近几年的课程改革与建设方面的探索和实践。通过教学实习、开展设计性实验、期末考核以及更新换代实验设备、网络教学等手段，提高了学生学习本课程的积极性和主动性。　　关键词：高职；动物生理；课程改革　　　　动物生理是研究动物机体各器官、系统的生命活动及其规律的一门科学，是生命科学的基石，同时也是农业院校

期刊

高职动物生理课程改革

行为引导教学法在可编程序控制器教学中的应用

摘要：本文以可编程序控制器课程教学为例，阐述了在一体化教学过程中采用行为引导法分层次教学，提高学生的综合职业能力的方法。　　关键词：职业教育；综合职业能力；职业活动导向教学；一体化　　　　职业教育教学的新取向　　——行为引导型教学法　　　　职业活动导向教学模式是以职业行为为导向进行的教学。行为引导型教学法具有以下特点。　　行为引导型教学法特别强调关键能力的培养行为引导型教学法，是指在整个教学过程中

期刊

职业教育综合职业能力行为引导教学法一体化

数学课堂的魅力源于现实生活

文章主张将职业院校的数学课堂与现实生活联系起来，联系实际生活导入新课，利用生活原型进行概念的教学，引导学生应用数学知识，让学生切实体会到数学与现实生活的密切联系。

期刊

数学课堂现实生活

浅论对煤炭销售市场渠道的构建

本文总结煤炭市场的特殊性和煤炭企业所面临的市场销售问题,并提出了煤炭企业如何建设销售渠道的一体化建议.

期刊

煤炭产品销售渠道市场

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

其他学术论文