纯粹归纳逻辑框架下的类比推理

Analogical Reasoning in the Framework of Pure Induction Logic

纯粹归纳逻辑是卡尔纳普进路归纳逻辑的一种复兴,其基本的目标是把归纳当作数理逻辑的一个分支来研究。在纯粹归纳逻辑的框架下,类比推理被建立在一阶逻辑的基础之上,其理论的核心是用距离函数来刻画相似性,并且以相关性函数作为推理基础。因此,在某种意义上,可以把它看作是实例相关函数的一种延伸。而在实践的意义上,则反映了人工智能对类比推理形式化的需求。

Pure induction logic is a revival of the Carnap’s inductive logic approach. Its basicgoal is to study induction as a branch of mathematical logic. In the framework of pureinduction logic, analogical reasoning is based on first-order logic, and its central idea isto use the distance function to measure similarity, and the relevance function is a toolof reasoning for it. Therefore, in a certain sense, analogical reasoning can be seen as anextension of relevance function. In practical, it reflects the need of artificial intelligence for the formalization of analogical reasoning.