超协调逻辑(I)—传统超协调逻辑研究

来源 :计算机科学 | 被引量 : 0次 | 上传用户:jsyzcqg
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
<正>这是一个关于超协调逻辑研究系列的首篇,本文中,我们首先说明超协调逻辑的基本概念及其发展背景,根据对超协调性的分析我们把超协调逻辑分成三类。然后,我们介绍并剖析这三类传统的超协调逻辑的基本结果,指出它们各自的优缺点、存在的问题以及相互关系,并特别地研究了几种传统超协调逻辑与非单调逻辑的关系.
其他文献
<正> 1 引言目前,面向对象软件开发方法占主导地位,但是,面向对象软件测试的研究却远远滞后于软件工程实践的需要。软件规模和复杂程度不断增加,应用软件及其运行环境,如操作
<正>Agent技术源于人工智能,现已融入主流计算机的各个领域。面向agent的风范自提出以来一
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
<正>在现实世界中,人们对事物的推理、判断、预测和决策等智力行为大多数是在问题领域的息不完全、不确定、不精确或者模糊的条件下进行的。为了完成这些智力行为,人们往往要
第22届超大型数据库国际会议(VLDB’96)于1996年9月3日至6日在印度孟买举行,来自20余个国家和地区的450多位代表出席了会议。会议收到340篇论文,从中选出48篇收入论文集并在
<正>1引言目前,越来越多的用户开始拥有积各种便隽计算设备,例如笔记本心脑PDA等,我们把它们统
这是关于超协调逻辑研究的第三篇,文中将给出一种优先语义作为超协调性的模型论基础,并给出一种表演算系统作为超协调性的证明论基础,这种优先语义和表演算系统,不仅可以包括名种
<正>近些年来,并行性(Concurrency)理论发展很快,为正确理解和对分布式计算系统复杂行为的推
<正>一、引言基于网络的软件密集型系统正在成为当前信息系统的主流。对象技术现在已经被认为是软件开发的主流技术,在异构的网络环境下,如何有效地实现对象计算,要解决的一
<正>一、引言计算机的研究始终离不开理论模型作为背景。计算问题、计算机语言问题、程序设计问题以及计算机体系结构问题,无不建立在相应的模型之上。