1.1命题符号化及联结词 1.2命题公式及分类 1.3等值演算 1.4联结词全功能集 1.5对偶与范式 1.6推理理论 1.7命题演算的自然推理形式系统N 1.8例题选解

第一节类比推理 一、类比推理及其特征 类比推理是根据两个(或两类)对象在一系列属性上是相同(或相似)的,并且已知其 中的一个(或一类)对象还有其他特定的属性,由此推出,另一个(或一类)对象也具有同 样的其他特定属性的推理方法

创新的采用与扩散是农业推广的一个中心问题。 第一节 农业创新的采用 第二节 农业创新的扩散 第三节 影响农业创新采用与扩散的因素

第一节联言命题及其推理 一、什么是联言命题 联言命题是断定两种或两种以上事物情况同时存在的命题,它反映的是同一对象或不 同对象的不同属性的共同性和相容性。例如:

人们在实践的基础上形成了许许多多的反映事物本质属性的概念,并运用这些概念去 反映客观事物。但是逻辑并不去关注这些概念是如何反映客观事物的,它只把它作为形式 抽去出来,把表达了不同概念的同一语词作为研究对象。同样,人们常常不是单纯地运用 孤立的概念进行推理,而是通过概念组成的命题进行思维和交流的

“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

据《商业周刊》2002年6月24日报道,2世纪90年代末期以来,美国公 司财务丑闻曝光的范围和规模超过了大萧条以来的任何时期。股票市场的泡沫 推波助澜,把近年来出现的趋势推向高潮。从1995年到2001年,公司纠正财 务报告的案例从每年50例增长到每年10例,而2002年第一季度就高达60 例。2001年12月,安然公司(Enron)刷新公司破产规模的纪录,6个多月之 后,世界通讯公司(WorldCom)再度爆发丑闻,再创公司破产规模的纪录。 五家最大的会计师事务所都不同程度地与这些丑闻有关:安达信 (Andersen)自不待言;德勤(Deloitte& Touche)未能发现第六大有线电视 企业阿达尔菲公司(Adelphia)的关联交易;安永(Ernst& Young)与审计客 户人民软件公司( People Soft)签订软件销售协议,从中牟利;毕马威 (KPMG)被施乐公司( Xerox)夸大收入的手法所蒙蔽;普华永道 (Pricewaterhouse Coopers)因为微观战略公司(Micro Strategy)的欺诈行 为而被罚款5500万美元

3.1 概述 3.2 线性差分方程模型 3.3 线性差分方程模型的最小二乘法 3.4 递推最小二乘估计 3.5 慢时变参数的实时递推估计

搜索是人工智能中的一个基本问题，并与推理密切相关，搜索策略的优劣，将直接影响到智能系统的性能与推理效率。 5.1 搜索的基本概念 5.1.1 搜索的含义 5.1.2 状态空间法 5.1.3 问题归约法 5.2 状态空间的盲目搜索 5.2.1 一般图搜索过程 5.2.2 广度优先和深度优先搜索 5.2.3 代价树搜索 5.3 状态空间的启发式搜索 5.3.1 启发性信息和估价函数 5.3.2 A算法 5.3.3 A*算法 5.3.4 A*算法应用举例 5.4 与/或树的盲目搜索 5.5 与/或树的启发式搜索 5.6 博弈树的启发式搜索

本报综合新华社消息新华社16日受权全文播发《中华人民共和国国民经济和社会发 展第十一个五年规划纲要》。十届全国人大四次会议3月14日表决通过了关于国民经济和 社会发展第十一个五年规划纲要的决议,决定批准这个规划纲要。 《纲要》全文约55000字,共分为14篇:指导原则和发展目标:建设社会主义新农村: 推进工业结构优化升级:加快发展服务业:促进区域协调发展:建设资源节约型、环境友好 型社会:实施科教兴国战略和人才强国战略:深化体制改革:实施互利共赢的开放战略:推 进社会主义和谐社会建设:加强社会主义民主政治建设:加强社会主义文化建设:加强国防 和军队建设:建立健全规划实施机制