Study on Approximate Reasoning Models of Attribute Logic

doi:10.3778/j.issn.1673-9418.2108063

Abstract

Abstract: 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.

Key words: formal context, quantitative logic, attribute logic, granular description, approximate reasoning

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

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

ZHANG Jialu, WU Xia. Study on Approximate Reasoning Models of Attribute Logic[J]. Journal of Frontiers of Computer Science and Technology, 2023, 17(4): 848-856.

张家录, 吴霞. 属性逻辑的近似推理模式研究[J]. 计算机科学与探索, 2023, 17(4): 848-856.

References

[1] ADAMS E W. A primer of probability logic[M]. Stanford: CSLI Publications, 1998.
[2] 王国俊. 数理逻辑引论和归结原理[M]. 北京: 科学出版社, 2003.
WANG G J. Introduction to mathematical logic and resolu-tion principle[M]. Beijing: Science Press, 2003.
[3] HAJEK P. Metamathematics of fuzzy logic[M]. Dordrecht: Kluwer Academic Publishers, 1998.
[4] 王国俊. 非经典数理逻辑与近似推理[M]. 北京: 科学出版社, 2000.
WANG G J. Classical mathematical logic and approximate reasoning[M]. Beijing: Science Press, 2000.
[5] LINDEN G, SMITH B, YORK J. Amazon.com recommen-dations: item-to-item collaborative filtering[J]. IEEE Internet Computing, 2003, 7(1): 76-80.
[6] FREYER D A, HSIEH Y H, LEVIN S R, et al. Goolgle flu-trends: correlation with emergency department influenza rates and crowding metrics[J]. Clinical Infectious Diseases, 2012, 54(4): 463-469.
[7] 梁吉业, 冯晨娇, 宋鹏. 大数据相关分析综述[J]. 计算机学报, 2016, 39(1): 1-18.
LIANG J Y, FENG C J, SONG P. A survey on correlation analysis of big data[J]. Chinese Journal of Computers, 2016, 39(1): 1-18.
[8] MAYER-SCHONBERGER V, CUKIER K. Big data: a revo-lution that will transform how we live, work and think[M]. New York: Eamon Dolan/Houghton Mifflin Harcourt, 2013.
[9] 周彤, 张家录. 基于信息量的属性相关性及其应用[J]. 计算机工程与设计, 2012, 33(3): 1121-1196.
ZHOU T, ZHANG J L. Relativity of attributes in infor-mation systems and its application[J]. Computer Enginee-ring and Design, 2012, 33(3): 1121-1196.
[10] GANTER B, WILLE R. Concept analysis mathematical foundations[M]. Berlin: Springer-Verlag, 1999.
[11] WANG G J, ZHOU H J. Quantitative logic[J]. Information Science, 2009, 179: 226-247.
[12] 王国俊. 模糊推理的全蕴涵三I算法[J]. 中国科学: E辑, 1999, 29(1): 43-53.
WANG G J. The triple I algorithm for all implication of fuzzy reasoning[J]. Science in China: Series E, 1999, 29(1): 43-53.
[13] 张家录, 陈雪刚, 赵晓东. 经典命题逻辑的概率语义及其应用[J]. 计算机学报, 2014, 37(8): 1775-1785.
ZHANG J L, CHEN X G, ZHAO X D. Theory of proba-bility semantics of classical propositional logic and its app-lication[J]. Chinese Journal of Computers, 2014, 37(8): 1775-1785.
[14] 张家录, 吴霞. Lukasiewicz[n]值命题逻辑系统中公式的一般真度和形式推演结论的不可靠度估计[J]. 电子学报, 2012, 40(10): 2085-2090.
ZHANG J L, WU X. The generally truth degrees of formu-las in n-valued Lukasiewicz propositional logic and the esti-mation of uncertainty degree of conclusion in formal in-ference[J]. Acta Electronica Sinica, 2012, 40(10): 2085-2090.
[15] 张家录, 陈雪刚, 吴霞. 基于命题逻辑概率赋值的近似推理模式[J]. 模式识别与人工智能, 2015, 28(9): 769-780.
ZHANG J L, CHEN X G, WU X. Approximate reasoning model based on probability valuation of propositional logic[J]. Pattern Recognition and Artificial Intelligence, 2015, 28(9): 769-780.
[16] FENG F, AKRAM M, DAVVAZ B J, et al. Attribute ana-lysis of information systems based on elementary soft im-plications[J]. Knowledge-Based Systems, 2014, 70: 281-292.
[17] 陆汝华, 张家录, 钟嘉鸣. 软决策分析方法及其在智能推荐中的应用[J]. 计算机科学与探索, 2019, 13(3): 529-540.
LU R H, ZHANG J L, ZHONG J M. Soft decision analysis method and its application to intelligent recommendation[J]. Journal of Frontiers of Computer Science and Tech-nology, 2019, 13(3): 529-540.
[18] 智慧来, 李金海. 基于必然属性分析的粒描述[J]. 计算机学报, 2018, 41(12): 2702- 2719.
ZHI H L, LI J H. Granule description based on necessary attribute analysis[J]. Chinese Journal of Computers, 2018, 41(12): 2702-2719.
[19] 吴霞, 张家录. 基于面向属性(对象)概念的对象粒的属性公式描述[J]. 模式识别与人工智能, 2020, 33(9): 767-775.
WU X, ZHANG J L. Attribute logical formulas description of object granules based on the property-oriented (object-oriented) concepts[J]. Pattern Recognition and Artificial Intelligence, 2020, 33(9): 767-775.
[20] WU X, ZHANG J L, LU R H. Attribute logic formula description of granule and its application to build concept lattice[J]. IEEE Access, 2020, 8: 12592-12606.