归纳逻辑

演绎推理是必然性推理；相对应地，归纳推理就是概然性推理，也就是这种推理的基本特征是前提真不能保证结论必然真，所以，归纳推理可称为概然性推理。若这种概然联系有程度大小之别或可以度量，则称其为概然度；若这种概然度能用数值表示，则称其为概率。归纳逻辑的任务在于研究测定不充分置信的推理的归纳概率，从而决定它的归纳强度的规则，并且研究构成归纳强度的推理的规则。现代归纳逻辑主要就是研究概率推理以及统计推理。

归纳逻辑与人工智能有及其紧密的关系，如1993年邀请海南琼州大学去清华大学合作的中国人工智能主要开拓者石纯一教授翻译1983年由科学出版社出版的Nils Nilsson的《人工智能原理》是第一本人工智能中文书籍，其关键内容就是数理逻辑特别是归纳逻辑，这人工智能开拓者Nils Nilsson其后改写的《人工智能》一书的第三部分“知识的表示和推理”和第四部分“基于逻辑的规划方法”也几乎全是数理逻辑及其它深入的递归论，这书最后的第五部分很多内容也是基于数理逻辑如共约20小节的第23.3.1至23.3.4这4节就属于“知识模式逻辑”，并说虽人工智能发展很快但前书的许多内容仍有价值，因此这新版直接采用了这些内容（也可参考“达特茅斯会议:人工智能的缘起”等主要就是基于逻辑学；其后，王雨田教授在国家重点项目开展各方面各分项深入研究的基础上在1988年召开“归纳逻辑与人工智能”会议并隔年列为国家863计划智能项目再其后主编出版《归纳逻辑与人工智能》一书撰者有清华石纯一武大曹加恒北大王培等人工智能权威专家（这书有意思的是如第十一章的参考文献的第1个是“亚里士多德，《后部分析论》，中译本，广东人民出版社1984年”-它没说译者-但已足够怎么都查不到按这描述的书即根本没这书，不过上面说的母校李匡武先生翻译的亚里士多德的《工具论》共6个主题中第4个是“分析后篇”共110页--《工具论》也是广东人民出版社1984年出版-那应是指这书了-可见这书是经典中的经典-迷糊眼睛浑浑噩噩都要说它，这章第2个文献是洪家荣的，第3个是王雨田的，其后是Michalski、Carbonell、Mitchell的《机器学习》等都是国外的-他们的3本“机器学习”书我都看了-那时这领域的书尚少而国内的我更只找到这“机器学习之父”Mitchell的进修生徐立本的我国最先2本机器学习书籍:《机器学习引论》和《机器学习及其应用》这使我以前获益匪浅--这页说到他们国内外师徒等的机器学习方面的著作）。主编王雨田是第一届归纳逻辑分会主席、母校华南师大陈晓平是第二届主席并委员有前面王雨田以及倪鼎夫教授苏天辅等13人；第三、第四届主席仍由陈晓平担任并这2届的副主任是桂起权教授、何向东校长、任晓明教授、秘书长熊立文，可参考陈晓平的著作《归纳逻辑与归纳悖论》等）。

许多数理逻辑领域也对人工智能有极大的作用如：时态逻辑、直觉主义逻辑、多值逻辑、逻辑代数、模糊逻辑、l演算和组合逻辑等等