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

发布时间：2022-12-22 19:19

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

【文章页数】：21 页

【文章目录】：
1卡尔纳普的类比推理研究进路
2一元纯粹归纳逻辑框架下的类比推理
    2.1 纯粹归纳逻辑常用符号的说明
    2.2 纯粹归纳逻辑的总问题
    2.3 概率函数
    2.4 理性原理
    2.5 状态描述
    2.6 相关性
    2.7 卡尔纳普的连续统方法
    2.8 汉明距离和相似性的刻画
    2.9 类比原理(S)APS的基本性质及其局限性
    2.1 0 对等类比原则
3形式化是归纳类比的发展趋势吗?



本文编号：3723887