【摘 要】
：
随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,
论文部分内容阅读
随着逻辑程序研究的不断深入,逻辑程序的语义和更新已经成为研究的热门,各种语义模型和更新方法层出不穷,尤其是更新方法中优先级别的研究.该文通过对现有稳定模型语义介绍,结合实例化和非实例化的更新方法在稳定模型(也叫做稳定模型)语义下的研究,明确提出更新分为两种形式:丰富更新和替换更新,这解决了在一些更新方法上存在的误区,然后提出一种全新的更新方法——标识更新,标识更新方法的提出,将逻辑程序实现系统成为可能,文章最后通过逻辑程序实验系统高效实现了逻辑程序的语义解释和标识更新.文章的工作主要包含下面六个方面:1)研究稳定模型语义;2)研究在稳定模型语义基础上的一种新的逻辑程序Priporized Logic Programs(优先级别的逻辑程序PLPs),为非实例化动态更新打下理论基础;3)研究逻辑程序的实例化更新和其存在的一些弊端;4)研究逻辑程序一种全新的标识更新方法;5)研究逻辑程序稳定模型系统实现的方法和具体的算法;6)研究如何用系统实现逻辑程序的稳定模型语义和逻辑程序的标识更新,并对知识库的表示进行探讨.
其他文献
三维地形生成技术是虚拟现实领域中的重点研究方向,其主要应用于虚拟战场环境仿真、城市景观规划、虚拟旅游、飞行模拟器训练及3D游戏等众多领域。随着航空航天、卫星遥感技
基于内容的图像检索是信息检索的重要分支,其检索所需的信息是从图像本身提取.它的目标是从海量的数字图像数据中检索出用户需要的图像.如今,它在网络安全、预防犯罪、知识产
遗传异质性(genetic heterogeneity)是生物信息学研究领域中的重要研究方向之一,也是遗传学中普遍存在的现象.因此,国内外很多专家对遗传异质性进行了研究,但是传统的遗传异
电子邮件服务是Internet网络应用中除了http服务之外应用得最广泛的服务.随着Internet的广泛应用,电子邮件也成为人们日常交流中不可或缺的手段.近年来垃圾邮件在互联网上泛
拒绝服务(DoS)攻击日益严重地威胁着Internet安全，而分布式拒绝服务(DDoS)攻击破坏性更大，更难防范。本文介绍了拒绝服务攻击的基本概念和发展情况，通过几种常见攻击工具的
英文识别OCR关键技术包括图像的二值化、文本分割、倾斜校正、单词字符分割、字符特征提取、字符识别以及后处理.相关工作还有字符模板的建立,后处理词典的建立等等.目前英文
随着多媒体技术的广泛应用，需要进行加密、认证和版权保护的声像数据也越来越多。保护数字产品的知识产权和阻止盗版已经成为数字产品和网络应用面临的严峻问题。数字化的声像
词义消歧是自然语言处理中的一个核心问题.现阶段,很多词义消歧的研究大多采用几个有代表性的歧义词作为研究与测试的对象,在实际应用中有一定的局限性,所以该文希望能够针对
由于网页数量的快速增长,以及网页内容日新月异的变化,搜索引擎不可能搜索所有的网页,也不能对所有爬行下来的网页进行及时地更新.如何在有限资源下搜索最有价值的网页,对网
在三维地震解释中，可视化技术及追踪技术具有十分重要的地位。三维可视化的根本目的是要用真实的图形图像来描述观测数据、显示计算过程和分析结果，从而揭示大量数据中包含的信