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

摘要

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