论文部分内容阅读
介绍了国内外自动推理技术研究的历史，给出了自动推理的分类方法，阐述了各种自动推理技术的逻辑基础和基本思想，对各种推理模型的优缺点进行了系统的比较，并探讨了自动推理技术的发展趋势。
自动推理技术发展的回顾与展望
【摘 要】
：
介绍了国内外自动推理技术研究的历史，给出了自动推理的分类方法，阐述了各种自动推理技术的逻辑基础和基本思想，对各种推理模型的优缺点进行了系统的比较，并探讨了自动推理技术的
【机 构】
：
太原高氏劳瑞油墨化学有限公司
【出 处】
：
微机发展
【发表日期】
：
2003年a02期
其他文献
提出了采用多线程编程的设计思路去完成系统的远程监控.阐述了多线程编程技术及其应用领域,又以通信电源集中监控系统为例,说明了如何利用Delphi的多线程编程技术实现远程实
文中从计算机病毒在现代战争中的地位和作用谈起,介绍了计算机病毒的概念、种类,详述了计算机病毒对C4I系统的攻击方式,建立了计算机病毒程序模型并分析了其作用机理以及计算
从电信企业客户关系出发分析了满意的客户的标准,研究了如何应用层次分析法(AHP)评价电信企业客户关系.
企业并购是市场经济条件下企业超常发展的重要手段.在企业并购过程中,对目标企业的价值评估是非常重要的环节之一.本文介绍了目前比较流行的几种评估方法,并对其进行了比较分
联机手写汉字识别(OLCCR),是指用笔在图形输入板上写字,人一边写,机器一边认,是一种方便的汉字识别手段。在各种自动识别输入的方法中,OLCCR是能够代替或部分代替人工编码输入的惟一可能的方法。识别中主要是两方面的问题:建立汉字识别库和手写板上笔画轨迹的识别。文中就第二方面即手写笔画识别的问题进行了全面的研究,采用笔画基元帮助分析笔画轨迹,并用可视化编程工具VisualC++6.0实现了基于这种
浮动佣金制度的实行,宣告了我国券商将彻底告别证券市场创建以来赖以生存的"固定高佣制"温床.这不仅预示着券商微利时代的到来,而且预示着券商将在日益激烈的竞争中重新"洗牌
国有股减持症结的关键是减持价格定价依据是否合理有效。笔者从同股同权同利的角度，即国有股东应与社会公众股东取得相同收益的角度。提出国有股减持思路和方案。
文章介绍了采用ASP(动态服务器页面)建立一个网上论坛的细节,包括开发工具、论坛功能和一些独特的技巧.
市盈率是一个连蛄上市公司财务状况和其股票市场表现的指标，应用广泛。实际应用情况表明。还存在一些同意需要澄清和探讨。本文对市盈率进行了系统的讨论。最突出的是，在基于投
DDE (动态数据交换)是Windows环境提供的一种基于消息的进程间通信技术协议.Windows环境下的多种软件系统及软件开发平台,如VB, VC, Excel, Foxpro, PB, Developer/2000等都