相关推论与强相关逻辑.PDFVIP

科技导报2016，34（7） 相关推论与强相关逻辑相关推论与强相关逻辑 程京德 日本国立埼玉大学，日本埼玉338-8570 摘要摘要 推论的能力，尤其是抽象推论的能力，无疑是人类智能最本质的特征之一，因而应该是任何以实现人工人类智能为目标的 计算智能系统都应该提供的必不可少的功能。本文简要介绍相关推论和相关逻辑。分析表明，为相关推论提供逻辑有效性保证 的强相关逻辑，对于以发现或预测为最基本功能的各种计算智能系统来说，具有无可替代的关键作用。 关键词关键词 相关推论；强相关逻辑；计算智能系统 1 何谓推论？ 人类智能，显然有言过其实之嫌。尽管推论及其自动化曾经 推论（reasoning）是从前提（为结论提供证据的已知事实 是计算机科学和人工智能科学中最活跃的研究课题，但关于 或预设假说）推导出新结论的过程，是从已知或预设（即前 推论的基本性质还有许多未解决问题需要探究，关于推论在 提）到达未知（即新结论）从而获取新知识、扩展已有知识的 计算机上的有效实现也还仍然有许多重要课题需要实践。 过程。一个推论过程一般由一系列被称为推断（argument）或 者推理（inference）的步骤有序构成。人们所掌握的知识，尤 2 何谓逻辑学？ 其是抽象知识，并非所有都是自己亲身经历过后从直接的经 在上述有关推论的一般哲学定义中，尽管说推论的前提 验总结得出的，而大部分都是根据已知知识通过推论而得到 要为其结论提供证据，但一个具体推论的前提是否实际上真 的。可以说，如果没有推论这一手段，人类就不可能把知识 正有效地为其结论提供了证据是独立于一般定义的另一件 宝库扩展到今天如此丰富的地步。 事，也就是说，确实提供或者实际没有提供都是可能的。因 举一个用自然语言表达的推论的简单例子。 此就需要某种确切标准来区分鉴别正确、有效推论和不正 （1）所有的有理数都可以表达为一对整数之比。 确、非有效推论。逻辑学正是研究推论正确性或有效性学问 （2）π不能表达为一对整数之比。 的学科。逻辑学首先是关于推论（推理）的学问，它探索和研 所以 究究竟是什么构成了正确、有效的推论，探索和研究用于区 （3）π不是一个有理数。 分鉴别正确、有效的推论和不正确、非有效的推论的一般原 （4）π是一个数。 理和标准，探索和研究如何进行正确、有效推论而避免不正 所以 确、非有效推论的一般方法论。因此，历史上，逻辑学从来就 （5）至少存在一个非有理数（无理 被称之为“科学之科学，技艺之技艺”（司各脱，13世纪）、“所 数）。 有其他科学之基础”（塔斯基，1941）、“先于所有其他科学，以 这里，用一步推理先从前提（1）和（2）推出（3）作为结论， 其思想和原理支撑所有科学之科学”（哥德尔，1944）。 又用一步推理从前提（3）和（4）推出（5）作为结论，这样的两 另一方面，在各种各样推论的前提和结论之间可以有多 步推理构成一个完整的推论，从前提（1），（2）和（4）推出结论 种不同种类的证据关系存在，而对不同的证据关系的认同与 （5）。 否就可以引导出不同的正确有效性标准。任何科学都是基 推论的能力，尤其是抽象推论的能力（一般动物并不具 于一些基本假设和基本原理建立起来的，一旦其中某个假设 备），无疑是人类智能最本质的特征之一，因而应该是任何以 或原理被一个新的假设或原理所替换，可能会给予该门科学 实现人工人类智能（本文用此名词以区别人工智能所实现的 巨大影响，以至于产生一个全新分支 。逻辑学也不例外，关 动