计算机科学与探索

作者：张家录, 吴霞

单位：湘南学院 数学与信息科学学院，湖南 郴州 423000

关键词：形式背景,量词逻辑,属性逻辑,粒描述,近似推理

近似推理是进行知识推理的有效工具。将计量逻辑中全蕴含三I推理、基于真度的近似推理模式应用到基于形式背景的属性逻辑中，给出基于属性逻辑的全蕴含三I推理的广义MP规则和广义MT规则的解，并提出若干基于广义MP规则和广义MT规则的近似推理方法。引入属性逻辑公式的真度、属性逻辑公式间的伪距离，提出基于属性逻辑伪距离的近似推理方法，讨论基于广义MP规则、广义MT规则的近似推理和基于属性逻辑伪距离的近似推理之间的联系。

来源：2023年第4期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2023年第4期