属性逻辑的近似推理模式研究

摘要：

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

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

所属期刊栏目：17

分类号：TP181(自动化基础理论)

资助基金：湖南省自然科学基金项目;湖南省自然科学基金项目;湖南省教育厅科学研究重点项目;湖南省普通高校校企合作创新创业教育基地项目

在线出版日期：2023-04-10（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：848-856