Computer Science

Computer Science ›› 2024, Vol. 51 ›› Issue (8): 75-82.doi: 10.11896/jsjkx.240400104

• Database & Big Data & Data Science • Previous Articles     Next Articles

Knowledge Compatibility Representation and Reasoning in Incomplete Formal Contexts from Logical Perspective

ZHANG Shaoxia1, LI Deyu2,3, ZHAI Yanhui2,3   

  1. 1 School of Information,Shanxi University of Finance and Economics,Taiyuan 030006,China
    2 School of Computer and Information Technology,Shanxi University,Taiyuan 030006,China
    3 Key Laboratory of Computational Intelligence and Chinese Information Processing(Shanxi University),Ministry of Education,Taiyuan 030006,China
  • Received:2024-04-15 Revised:2024-06-23 Online:2024-08-15 Published:2024-08-13
  • About author:ZHANG Shaoxia,born in 1991,Ph.D,lecturer,is a member of CCF(No.63867G). Her main research interests include concept lattice and granular computing.
    LI Deyu,born in 1965,Ph.D,professor,Ph.D supervisor,is a senior member of CCF (No.06905S). His main research interests include concept lattice and multi-label learning.
  • Supported by:
    National Natural Science Foundation of China(62072294),Fundamental Research Program of Shanxi Province(202103021223303) and Open Project Foundation of Intelligent Information Processing Key Laboratory of Shanxi Province(CICIP2022006).

PDF (PC)

343

Abstract: The incomplete information in formal contexts leads to the incompatibility of knowledge,that is,implications cannot hold simultaneously in any completion of an incomplete formal context.Logical description is a methodology for representing knowledge from a semantic aspect and establishing inference rules with semantic coordination from a syntactic aspect.This paper firstly studies the compatibility semantic representation within incomplete data from a logical perspective,characterizes the soundness and compatibility of knowledge via incomplete instances,and constructs the most compact compatible set(namely compatible canonical basis).Secondly,this paper establishes inference rules with semantic soundness,compatibility,and completeness to avoid incompatible knowledge and invalid knowledge in knowledge reasoning.Finally,this paper applies the logical research results to incomplete formal contexts by introducing two types of implication forms,namely ↓↓-type implication and ↑↑-type implication,which are both compatible and more stringent than acceptable implication.The compatible canonical bases of the two types of implications are constructed and their completeness and non-redundancy are verified.

Key words: Incomplete formal context, Knowledge compatibility, Knowledge representation, Compatible canonical basis, Know-ledge reasoning

CLC Number: 

  • TP182
[1]WILLE R.Restructuring lattice theory:An approach based on hierarchies of concepts[C]//International Proceedings of International Conference on Formal Concept Analysis.Berlin,Germany:Springer,1982:445-470.
[2]MIN F,LUO S,LI J H.Network rule extraction under the network formal context based on three-way decision[J].Applied Intelligence,2023,53(5):5126-5145.
[3]BOGDANOVIĆ M,GLIGORIJEVIĆ M F,VELJKOVIĆ N,et al.Cross-portal metadata alignment-connecting open data portals through means of formal concept analysis[J].Information Sciences,2023,637:118958.
[4]MI Y L,LIU W Q,SHI Y.Semi-supervised concept learning by concept cognitive learning and concept space[J].IEEE Transactions on Knowledge and Data Engineering,2022,34(5):2429-2442.
[5]YAN M Y,LI J H,LIU W Q,et al.Conceptual Knowledge Discovery and Evolution in Formal Context with Object Structure Information[J].Chinese Journal of Electronics,2023,51(1):11-17.
[6]CARPINETO C,ROMANO G.Exploiting the potential of con-cept lattices for information retrieval with credo[J].Journal of Universal Computer Sciences,2004,10(8):985-1013.
[7]BURMEISTER P,HOLZER R.On the treatment of incomplete knowledge in formal concept analysis[C]//Proceedings of International Conference on Conceptual Structures.Berlin:Springer,2000:385-398.
[8]OBIEDKOV S.Modal logic for evaluating formulas in incom-plete contexts[C]//Proceedings of International Conference on Conceptual Structures.Berlin:Springer,2002:314-325.
[9]HANIKA T,ZUMBRäGEL J.Towards collaborative conceptual exploration[C]//Proceedings of International Conference on Conceptual Structures.Berlin:Springer,2018:120-134.
[10]FELDE M,STUMME G.Interactive collaborative explorationusing incomplete contexts[J].Data & Knowledge Engineering,2023,143:102104.
[11]YAO Y Y.Interval sets and interval-set algebras[C]//Procee-dings of IEEE International Conference on Cognitive Informa-tics.New York:IEEE,2009:307-314.
[12]LI H X,WANG M H,ZHOUX Z,et al.An interval set model for learning rules from incomplete information table[J].International Journal of Approximate Reasoning,2012,53(1):24-37.
[13]LI J H,MEI C L,LV Y J.Incomplete decision contexts:appro-ximate concept construction,rule acquisition and knowledge reduction[J].International Journal of Approximate Reasoning,2013,54(1):149-165.
[14]YAO Y Y.Interval sets and three-way concept analysis in incomplete context[J].International Journal of Machine Learning and Cybernetics,2017,8(1):3-20.
[15]WANG J J,QIAN T.Attribute reduction of SE-ISI concept lat-tices for incomplete contexts[J].Soft computing,2020,24(20):15143-15158.
[16]LONG B H,XU W H,ZHANG X Y.Double threshold con-struction method for attribute-induced three-way concept lattice in incomplete fuzzy formal context[J].The Journal of Enginee-ring-JOE,2020,2020(13):549-554.
[17]SADOUM,DJOUADI1 Y,HADJ-ALI A.Modal interpretation of formal concept analysis for incomplete representations[C]//Proceedings of International Conference on Scalable Uncertainty Management.Berlin:Springer,2020:261-269.
[18]YANG D Q,YANG X R,JIA H,et al.Construction of fuzzy linguistic approximate concept lattice in an incomplete fuzzy linguistic formal context[J].International Journal of Compu-tational Intelligence Systems,2022,15(1):1-9.
[19]SRIREKHA B,SATHISH S,DEVIRN,et al.Attributes reduction on SE-ISI concept lattice for an incomplete context using object ranking[J].Mathematics,2023,11(7):1585.
[20]REN R S,WEI L,LI J H.Three-way approximate concept reduction in incomplete formal contexts[J].Pure Mathematics and Applied Mathematics,2024,40(1):77-89.
[21]ZHANG S X,LI D Y,ZHAI Y H.Incremental Method of Ge-nerating Decision Implication Canonical Basis[J].Soft Computing,2021,26(3):1067-1083
[1] BI Sheng, ZHAI Yanhui, LI Deyu. Decision Implication Preserving Attribute Reduction in Decision Context [J]. Computer Science, 2024, 51(7): 89-95.
[2] ZHU Yuliang, LIU Juntao, RAO Ziyun, ZHANG Yi, CAO Wanhua. Knowledge Reasoning Model Combining HousE with Attention Mechanism [J]. Computer Science, 2024, 51(6A): 230600209-8.
[3] XIAO Guiyang, WANG Lisong , JIANG Guohua. Multimodal Knowledge Graph Embedding with Text-Image Enhancement [J]. Computer Science, 2023, 50(8): 163-169.
[4] SHEN Qiuhui, ZHANG Hongjun, XU Youwei, WANG Hang, CHENG Kai. Comprehensive Survey of Loss Functions in Knowledge Graph Embedding Models [J]. Computer Science, 2023, 50(4): 149-158.
[5] WAN Xu, MAO Yingchi, WANG Zibo, LIU Yi, PING Ping. Similarity and Consistency by Self-distillation Method [J]. Computer Science, 2023, 50(11): 259-268.
[6] NIU Lihui, MI Jusheng, BAI Yuzhang. Rule Extraction Based on OE-cp-Approximation Concepts in Incomplete Formal Contexts [J]. Computer Science, 2023, 50(10): 7-17.
[7] WANG Jie, LI Xiao-nan, LI Guan-yu. Adaptive Attention-based Knowledge Graph Completion [J]. Computer Science, 2022, 49(7): 204-211.
[8] JIANG Zong-lin, LI Zhi-jun, GU Hai-jun. Intelligent Operation Framework for Relational Database Application [J]. Computer Science, 2022, 49(11A): 211200030-9.
[9] HANG Ting-ting, FENG Jun, LU Jia-min. Knowledge Graph Construction Techniques:Taxonomy,Survey and Future Directions [J]. Computer Science, 2021, 48(2): 175-189.
[10] ZHENG Hong-liang, HOU Xue-hui, SONG Xiao-ying, PANG Kuo, ZOU Li. Approach for Knowledge Reasoning Based on Hesitate Fuzzy Credibility [J]. Computer Science, 2019, 46(1): 131-137.
[11] CHEN Hui and MA Ya-ping. Uncertain Extension of Description Logic SROIQ(D) for Uncertain Knowledge Representation [J]. Computer Science, 2016, 43(Z11): 88-92.
[12] MENG Hua, YUAN Ya-yan, CHU Jie-lei and WANG Hong-jun. Topological Characterization of AGM Belief Contraction Operator [J]. Computer Science, 2016, 43(9): 87-90.
[13] ZHOU Ru-qi, CHEN Yi-qun and FENG Jia-li. Knowledge Reasoning Method Based on Extended Fuzzy Petri Net [J]. Computer Science, 2016, 43(3): 75-79.
[14] LU Fang-fang and WANG Jie. Improved Method to Process Inconsistent Answer Set Program [J]. Computer Science, 2015, 42(Z6): 542-545.
[15] CHEN Min, ZHAO Shu-liang, GUO Xiao-bo, LI Xiao-chao and LIU Meng-meng. New Vis-Meta Graph Knowledge Representation for Association Rules [J]. Computer Science, 2015, 42(3): 218-223.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.