【摘 要】
：
逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束用修正规则表示.合法修正语义赋值给任何数据
论文部分内容阅读
逻辑程序的稳定模型语义不能很好地用来描述数据库,知识库或者信念集上的约束,为此人们提出了一种新的机制—修正程序.其中的约束用修正规则表示.合法修正语义赋值给任何数据库一个可能为空的修正集合.每个修正满足约束,而且从初始数据库到修正的数据库变迁过程中的任何删除或者插入都是由修正规则推理得到的.修正程序和逻辑程序关系非常密切.逻辑程序向修正程序的转换是非常自然和直观的.将修正程序翻译到逻辑程序需要用到初始数据库,通过将修正程序翻译成逻辑程序,可以计算所有合法修正的共同的部件.这种方法不能充分揭示合法修正集的共性,为此我们在考虑对偶修正原子间的相互作用的基础上提出一种对于这种部件的新定义和计算方法.这种语义较好的解决了上述问题.
其他文献
该文提出了一种改进的更符合唇形的非对称嘴巴模板,利用了原灰度图像信息、边缘信息和谷值信息来构造能量函数.采用固定改变量的能量下降算法,得到模板对应的最优参数值.对于
随着计算机系统及其网络互联的爆炸性增长,机构和个人对使用这些系统存储信息的依赖性越来越大,因此保护数据和资源免遭泄露、确保数据和消息处于机密状态的要求越来越高.该
空间数据的不确定性是影响空间数据质量的重要因素,大多数空间数据挖掘技术都没有对此加以考虑.该文从不确定性空间对象的表示入手,将对象间的拓扑关系进行概念分层,通过扩展
数学文档因为包含诸多不同形式的数学对象,诸如文本、公式、二维图形等,从而使得其在网络环境下的表示与传输变得十分复杂.目前,许多大学及研究机构都在进行这方面的研究,也
近几年来,Internet/Intranet技术在全球高速发展,基于Internet/Intranet的信息服务已成为当前信息化社会的热点,企业为了保持和加强自身的竞争力,提高内部的管理水平,他们都
在互联网得到广泛应用的同时，信息安全问题也是饱受诟病。这其中，存在着使用TCP/IP协议族安插木马、捆绑程序和植入恶意代码窃取用户本地磁盘文件的行为。这些行为给个人、企业
作为激光打印机的核心部件,打印机控制器对于打印机的输出质量起着重要的作用.随着打印机打印速度不断加快,功能不断增强,对打印机控制器性能的要求也越来越高.该文首先介绍
随着信息技术的飞速发展，信息的产生速度达到前所未有的水平。如此一来，如何有效的处理海量信息成为一个重要的问题。为了应对海量的信息处理问题，自动文摘、信息检索、文本分类
随着半导体集成电路的飞速发展，未来的片上系统(System on Chip, SoC)芯片中将会集成成百上千个处理核，以实现越来越复杂的功能。在这个发展趋势下，基于电气互联的片上网络在大
随着计算机网络蓬勃发展,网络安全问题越来越突出.网络安全人员可以运用网络扫描技术,及时掌握网络的安全状态,主动的运用一些技术手段,消除网络扫描所发现的漏洞和敏感信息,