【摘 要】
：
逻辑程序设计所具有的许多突出的、独特的优点如严密、牢固的理论基础,简明易懂的语义,允许显式地表示知识,程序简洁等等,使得逻辑程序设计在专家系统、自然语言处理、定理证
论文部分内容阅读
逻辑程序设计所具有的许多突出的、独特的优点如严密、牢固的理论基础,简明易懂的语义,允许显式地表示知识,程序简洁等等,使得逻辑程序设计在专家系统、自然语言处理、定理证明、智能数据库等众多人工智能领域,以及知识信息处理中都得到了广泛的应用并取得了良好的效果.通过逻辑程序设计所表达和描述的知识本身以及所处的背景经常发生变化,所以必须不断地对逻辑程序作出相应的调整和修改,这就涉及到对逻辑程序的维护问题.对逻辑程序的维护,按其结构可以分为规则维护和事实维护.而事实维护影响着整个逻辑程序的一致性和完整性,并能够促进和完善规则维护.目前相关研究不多,且都是一带而过.该文主要研究事实维护,首先介绍了普通逻辑程序和扩展逻辑程序,并分析了Smodel算法.在分析了人工进行维护操作的弊端后,对事实维护中可能出现的情况进行分类分析,提出了事实维护系统的框架,重点讲述了预警检测子系统所扮演的核心作用,最后分析了规则维护和事实维护的特定关系.
其他文献
根据生理学和心理学的知识，人类视觉系统倾向于注视那些最能刺激神经系统的视觉信号。在图像或视频中，这些视觉信号所在的区域是图像中的显著目标或视频中的运动目标。视觉注意
移动互联网中,允许主机在移动的同时保持与网络的连接,方便了用户随时随地接入互联网.但由于早期发展的网络协议都是针对固定主机的,为了使现有的网络同时支持固定主机和移动
下一代网络(Next Generation Network,NGN)的基本框架模型是将现有的公众电话交换网、移动电话网、Internet网络以及各种接入网等各种网络融合在一起,构筑以IP技术为基础的统
在传统的IP组播协议当中,每个路由器都必须为它自身所在的组播分布树保存一条组播转发状态.当网络中同时存在大量的组播进程时,路由器上所保存的相应的组播转发状态数量也会
随着中国银行贷款风险日益得到管理当局的重视,中国逐步在银行中引进推行了贷款风险五级分类制度.银行在进行贷款风险五级分类操作过程中,主要存在分类随意性大、分类结果不
随着Web服务的蓬勃发展,在众多服务中为用户进行服务的推荐和选择成为非常迫切的需求,而服务QoS是服务的推荐和选择的重要依据。本论文设计与实现了一种基于分布式网络坐标的
电子产品在人们的生活中扮演着越来越重要的作用，在工业生产中，如何提高印制电路板（PCB，Printed Circuit Board）的生产质量日益成为人们关心的话题。由于基于图像处理的印制电路板
XML已经成为互联网上数据发布和数据交换的事实标准.然而由于其强大的数据表达能力,XML完全可能在互联网和数据库之间扮演更加重要的角色.它的出现将会"把Web变成数据库".将W
目前企业网络应用环境都必须支持大量用户,网络体系架构包含各类应用环境,且软硬件产品大多由不同供应商提供,难以预知的用户负载和愈来愈复杂的应用环境使企业时时担心会发
现在，计算机技术在社会生活的各个方面得到了广泛的应用，但随着时间的推移和技术的进步，也出现了许多问题，很多早期开发的现在仍被继续使用的规模庞大且功能复杂的软件信息系统已