论文部分内容阅读
1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分枝将产生深远的影响,它所提出的推理方法也被应用于人工智能的各个领域.
非经典逻辑的语义tableau方法
【摘 要】
：
1.引言自动推理作为自动定理证明的扩展,在计算机科学,特别是人工智能领域中占有重要的地位.许多系统,都是以推理系统作为其核心部分,因此自动推理的研究,对人工智能的其它分
【机 构】
：
吉林大学计算机科学系长春130023
【出 处】
：
计算机科学
【发表日期】
：
2002年5期
其他文献
针对二灰砂砾在实际使用中存在离析、早期强度较低、耐冲刷性一般等缺点,通过合理级配设计使得二灰砂砾具有良好的路用性能是保障其应用的关键。通过K法对二灰砂砾配合比优化
一、引言在自动机理论中常常对于标准的Moore自动机增加某些装置构成用于各种不同用途的自动机,它们常用于语言的识别器、算法设计和分析、人工智能、机器学习、机器人的环境
1.引言演化算法是建立在生物进化论基础上的算法,生物体可以通过遗传和变异来适应外界环境,物生其类,传种接代,这是生物的独特本领.各种生物所生的子代基本上像父代,这就是遗
Internet的普及,使网络管理已经成为计算机网络不可缺少的个重要部分.网络管理作为一种特殊的应用领域,研究其体系结构可以使设计人员在较高的抽象层次分析管理功能,有着重要
1引言计算机,是人脑的仿生与物化--"人脑的物化,物化的人脑".
1引言半结构数据是指区别于语音和图像文件等"原始数据",具有一定程度的结构,又不像传统的数据库系统那样存在严格模式的数据[1.2].半结构数据广泛存在于各种电子数据源,特别
1引言移动查询及优化是移动计算和移动数据库领域的主要研究方向之一[7,8],在移动查询计算环境中,用户不再是固定在网络某个位置上,而是具有移动性的节点,除了移动性特点之外
一、引言随着多媒体信息的数字化表示与处理,电信网、电话网和数据网的融合已成为通信网的发展趋势,骨干网正逐步统一采用IP网络,不久,将实现光纤铺设到大楼或住宅小区,宽带
运用管理学中的控制论，对张石高速公路档案工作的管理与控制进行理论分析和总结，从而达到提高实际工作管理水平的目的。
结合沟北公路实施泡沫沥青稳定冷再生下面层施工技术的全过程,介绍了泡沫沥青稳定冷再生技术的施工工艺、试验检测、质量控制及其可行性。