论文部分内容阅读
这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种超协调逻辑，而且能够导出新的超协调逻辑，在一定意义上，是超协调逻辑的统一基础，容易统一地刻画非单调性。
超协调逻辑（Ⅲ）—超协调性的逻辑基础
【摘 要】
：
这是关于超协调逻辑研究的第三篇，文中将给出一种优先语义作为超协调性的模型论基础，并给出一种表演算系统作为超协调性的证明论基础，这种优先语义和表演算系统，不仅可以包括名种
【机 构】
：
汕头大学计算机科学系,北京航空航天大学计算机系,汕头大学计算机科学研究所
【出 处】
：
计算机科学
【发表日期】
：
1995年1期
【基金项目】
：
国家自然科学基金,国家基础研究攀登计划,国家高技术八六三计划与李嘉诚学术基金
其他文献
<正> 分布式多媒体系统集多媒体信息的综合性、计算机的交互性、通信的分布性、电视的真实性等于同一个系统,按全新方式在众多领域为用户提供新型分布式多媒体信息服务。由于
<正> 1.引言 Internet自90年代以来发展迅速,到目前已有超过3000万台主机,上网人数超过1亿人。这主要是因为WWW应用的出现,使Internet从一个面向研究团体的网络发展为大众化
<正> 1.引言按自然法则计算就是将大量的自然科学领域的思想与方法应用于其传统领域之外的其它领域,将原思想、方法的本质提取出来,用于解决新领域中的问题。按自然法则计算
<正> 1 引言可满足性问题(以下简称SAT)是问:对于一个命题逻辑公式,是否存在对其变元的一个真值赋值使之成立?这个问题在许多领域都有非常重要的意义,其快速求解算法的研究成
<正> 1 引言目前,面向对象软件开发方法占主导地位,但是,面向对象软件测试的研究却远远滞后于软件工程实践的需要。软件规模和复杂程度不断增加,应用软件及其运行环境,如操作
<正>Agent技术源于人工智能,现已融入主流计算机的各个领域。面向agent的风范自提出以来一
<正>我们的目的是探索一个新的计算语义学理论——信息语义学,本文大体勾勒出它的总体构,论述其基础,即基本概念,基本假设,基本原理.
<正>在现实世界中,人们对事物的推理、判断、预测和决策等智力行为大多数是在问题领域的息不完全、不确定、不精确或者模糊的条件下进行的。为了完成这些智力行为,人们往往要
第22届超大型数据库国际会议(VLDB’96)于1996年9月3日至6日在印度孟买举行,来自20余个国家和地区的450多位代表出席了会议。会议收到340篇论文,从中选出48篇收入论文集并在
<正>1引言目前,越来越多的用户开始拥有积各种便隽计算设备,例如笔记本心脑PDA等,我们把它们统