子句型缺省理论的推理算法

来源 :计算机科学 | 被引量 : 0次 | 上传用户:lu_bo_123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点.在缺省逻辑中,扩张的概念至为重要.Reiter对特殊的缺省理论--正规缺省理论做了许多研究,并得出了一些漂亮的结果[1].Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序[7].张明义提出缺省的一种子类--自相容缺省理论,给出了相容缺省理论和自相容缺省理论的特征,并给出了一般缺省理论的扩张及主要推理问题的算法[3].
其他文献
<正> 1 引言实时系统是指有时间限制的系统,与其它类型的软件系统相比具有许多独特的特性:(1)复杂的外部环境,通常是无智能的;(2)与环境交互的系统;(3)完成多个同时输入的并
三维场景中树木的建模方法有很多种,本文较为系统地阐述了其中的两种--分形法和纹理贴图法,分析了两种方法的适用条件,并对这两种方法在实现的复杂度、效果的逼真度等方面做
1 引言以CORBA为代表的对象中间件在企业应用中越来越发挥着重要的作用,但日趋增多的应用领域如:电子商务、多媒体与实时系统、移动计算等,及新CORBA标准都对中间件开发者提
<正> 1 引言目前,数字化信息已从过去的简单文本发展成含有视频、音频、图片、文本等信息类型的多媒体信息。在多媒体数据库中,视频媒体的有效管理需要对视频数据结构化的支
1 引言 在开放式环境中进行分布式信息处理和协同设计,有关各方如何共享彼此的信息是一个非常重要的问题[1]。在设计这样的信息系统时,由于要考虑不同信息源的集成、安全性、网
1引言  随着信息技术的高速发展和信息管理技术的广泛应用,自从九十年代以来,数据挖掘(Data Mining)已成为计算机科学中一个引人注目的新的研究方向[1].目前,数据挖掘技术
期刊
1 引言现代软件系统必须能快速灵活地适应需求变化,换言之,系统要有灵活性和可重构性.同样,对中间件也如此.以往的研究表明,反省(Reflection)己被公认为是增加语言或系统灵活
Along with the rapid development of parallel processing technology and the popularity of NOW,the scalability of parallel algorithm-machine combinations,which me
<正> 1 引言在多目标模糊决策支持系统中,通常要在多个目标中依据有关约束条件选择最佳的目标。由于信息的不确定性,许多学者采用Fuzzy集理论来处理这类问题。Chen在文[3]中
设p1,p2,…,pn是一些命题符,--pi是pi的否定.考虑由pi,--pi(i=1,2,…,n)构成的文字符集合Q,其中的若干个文字符q1,q2,…,q1通过"或者关系"V构成一个子句:……
期刊