收缩后承若干问题的研究

来源 :南京航空航天大学 | 被引量 : 0次 | 上传用户:qiaoqiao624
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
众所周知,信念变化是人工智能的重要研究内容之一。最近,以色列著名人工智能学者Bochman建立了一种一般的信念变化理论框架,这种框架试图将表示信念变化的两种最主要的方法,即,信念变化的AGM理论以及信念变化的基表示理论的共同特征融入其中,使之能够成为信念变化理论研究的一个共同的平台。除此之外,Bochman还介绍了一种被称为收缩后承的新的非单调后承关系,并对收缩后承关系的性质开展了深入的研究。 本文基于Bochman的信念变化理论框架,对收缩后承关系研究中所提出的若干未解决的问题进行了系统的研究。主要研究内容及结果包括如下两个部分: (1) 本文介绍了图象结构这一新的认知结构类,并利用图象结构这一概念基于标准认知AGM结构分别建立了满足公设CL,CR1以及DR~*这三类可恢复收缩后承关系的表示定理。 (2) 本文提出了特殊标准认知结构以及标准条件的概念,就可被现有的公设类型所公理化的由标准认知结构生成后承关系类的特征进行了初步的研究。
其他文献
Internet特有的共享性、开放性及其依存的TCP/IP网络协议体系,从根本上决定了它缺乏一种可靠的网络安全机制。本文以网络安全技术中的防火墙技术为研究基础,分析了传统防火墙技
本文针对电话线低码率传输的视频监控工业环境,对H.263低码率视频压缩标准进行了深入细致的研究,提出了一种新的视频压缩编码方法,即在帧内编码DCT变换后的系数量化策略上,采
随着计算机体系结构的变化,中间件技术的迅猛发展,应用服务器作为中间件技术的运行平台逐步成为近年来软件业的发展趋势之一。另外,J2EE是SUN公司推出的一种全新概念的模型,与传
信念修正理论是目前人工智能的一个重要的研究方向,很多专家学者对此进行了广泛而深入的研究,并且根据不同的应用领域的不同需要,提出了许多信念修正的方法,其中最具有代表性的就
随着计算机硬件技术的发展,在一般PC机上运行复杂三维应用已变得非常普及,特别是三维游戏、虚拟现实、数字城市等三维应用发展迅速,因而这些应用背后的实时三维图形软件技术
随着网络带宽的飞速提升、实时业务和多媒体应用的普及,网络规模以指数规律增长,IP网络的控制机制和行为特征也日趋复杂和难以理解.为了认识和掌握现代网络的行为特征和性能
多处理机调度问题是并行处理中的一个著名问题.调度的主要目的是优化并行程序在系统中运行的一些指标,本文中调度的主要目标是缩短调度后并行程序的执行时间和提高多处理机系
该文结合某省科技厅科技评估工作而开发的基于专家信息的甄选专家系统被称为ESDM(Experts-Selecting Decision-Making).近几年来,随着计算机网络、通信等技术的发展,特别是In
电子政务是利用信息技术和网络技术实现政府的电子化公共管理与社会服务职能的新型计算机应用技术,其是政府行政体制改革和实施政府职能转变的重要技术基础。本文以如何将传统
基于DSP的快速发展,上海大学微电子中心和北京东世半导体科技有限公司联合开展项目"16位定点数字信号处理器DSPD16的设计".本论文来自于此项目的内核设计.本文首先介绍了数字