论文部分内容阅读
本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑。一个缺省理论可以直接转换成一个相信逻辑理论，本文中证明了一个缺省理论外延的模集就是对应相信理论的模，从而为缺省理论提供了一种简便的语义。
缺省理论与相信理论的关系
【摘 要】
：
本文在相信逻辑中引入相信解释与相信模的概念，从语义上把相信逻辑改造成非单调逻辑。一个缺省理论可以直接转换成一个相信逻辑理论，本文中证明了一个缺省理论外延的模集就是对
【机 构】
：
吉林大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1994年2期
其他文献
<正> 一、绪论目前在我国自己建造的带有制冷装置的渔船上还很少有安装螺杆式制冷机的,特别是在捕鱼的作业船上几乎没有,基本上都是使用活塞式制冷机。螺杆式制冷机属于容积
介绍了建筑中常用的三种结构体系,分析了各种结构体系的特点及其常采用的建筑类型,以期为实际中恰当地选择各种结构体系提供参考。
从2006年9月22日起，一辆满载着思科网络技术应用光荣与梦想的大巴士，将穿梭于中国各个城市，为当地的中小企业“传道、授业和解惑”，让它们亲身体验先进的思科网络技术应用，并设计
本文探讨了我国旅游资源的地域特征和我国自然地理地域差异的关系,认为在研究地理环境,尤其是自然地理环境的地域分异规律的基础上研究旅游的地域分异性并以此为依据进行旅游
信息技术是公司提高办公效率、提升管理水平的一个有力手段。一个结构合理、安全可靠的多业务信息网络平台是企业信息化建设可持续健康发展的前提和保障。保证信息网络的、安
全国十多个省区的部分人口与劳动力向长山群岛聚集,主要是地区经济发展不平衡以及某些人文因素所造成。长山群岛人均收入水平高,是人口与劳力聚集的主要原因,是当地产业结构
如同任何一个合格的建筑工程必须和城市的总体规期要求相符合。决不允许私搭乱建一样。信息系统建设也必须着眼手企业全局．进行通盘考虑和统一部署。避免低水平的重复开发，信息
企业内部控制既要适应社会信息化发展的要求，适应企业自身发展的内在要求，更要适应经济全球化发展的客观要求。因此．在新的时代背景下．企业内部控制必将发生深刻明显的变化．有许多
2002年、人类基因图谱破译，引起了世人的普遍关注。这一世人瞩目的“生命科学登月计划”工程庞大，基因密码的破译极端繁琐，需要大量的计算能力作为支撑。而作为该计划核心IT平台
用多机系统进行并行仿真是解决大规模连续系统实时仿真问题的有效途径。多机并行仿真中关键要解决的问题，是如何有效地将一个仿真任务分配到多机系统上并发执行，并获得高的加速