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

Study on Approximate Reasoning Models of Attribute Logic

作　　者：张家录[1] 吴霞[1] ZHANG Jialu;WU Xia(College of Mathematics and Information Science,Xiangnan University,Chenzhou,Hunan 423000,China)

机构地区：[1]湘南学院数学与信息科学学院,湖南郴州423000

出　　处：《计算机科学与探索》2023年第4期848-856,共9页Journal of Frontiers of Computer Science and Technology

基　　金：湖南省自然科学基金(2020JJ4561,2020JJ4381);湖南省教育厅科学研究重点项目(19A463);湖南省普通高校校企合作创新创业教育基地项目(2020年)。

摘　　要：近似推理是进行知识推理的有效工具。将计量逻辑中全蕴含三I推理、基于真度的近似推理模式应用到基于形式背景的属性逻辑中,给出基于属性逻辑的全蕴含三I推理的广义MP规则和广义MT规则的解,并提出若干基于广义MP规则和广义MT规则的近似推理方法。引入属性逻辑公式的真度、属性逻辑公式间的伪距离,提出基于属性逻辑伪距离的近似推理方法,讨论基于广义MP规则、广义MT规则的近似推理和基于属性逻辑伪距离的近似推理之间的联系。Approximate reasoning is an effective tool for knowledge reasoning.The triple-I reasoning for all implication and truth-based approximate reasoning model in quantitative logic are applied to attribute logic based on formal context.The solutions of generalized MP rules and MT rules based on the triple-I reasoning for all implication in attribute logic are given,and some approximate reasoning methods based on the generalized MP rules and MT rules are proposed.The truth-degree of attribute logic formula and the pseudo-distance between attribute logic formulas are introduced.An approximate reasoning method based on the pseudo-distance of attribute logic formula is proposed.The relation between the approximate reasoning methods based on the generalized MP rules and MT rules and approximate reasoning method based on the pseudo-distance of attribute logic formula is discussed.

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

分 类 号：TP181[自动化与计算机技术—控制理论与控制工程]