基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用  

Knowledge representation method of big data based on modal logic for compound modality and its application in hydrological information

作　　者：邓少波[1] 关素洁[1] 王磊[1] 黎敏[1] DENG Shaobo;GUAN Sujie;WANG Lei;LI Min(School of Information Engineering,Nanchang Institute of Technology, Nanchang 330099,China)

机构地区：[1]南昌工程学院信息工程学院

出　　处：《南昌工程学院学报》2019年第3期77-84,共8页Journal of Nanchang Institute of Technology

基　　金：江西省科技厅项目(20161BBE50051,20161BBE50050);江西省教育厅科学技术研究项目(GJJ161109,GJJ151126);国家自然基金资助项目(61363047,61562061)

摘　　要：针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。As for the deficiency of narrow modal logic or generalized modal logic for big data,this paper gives a new kind of knowledge representation method: knowledge representation method based on compound modality modal logic. This paper first gives the language,the syntax and the semantics for the logic. Then we also give the soundness theorem and the completeness theorem for the axiomatic system K2 of the logic with respect to general accessible relation. Finally,we can apply our knowledge representation method to the field of knowledge representation and processing for hydrological information.

关 键 词：模态逻辑 大数据 水文信息 可靠性定理 完备性定理 

分 类 号：O141.12[理学—数学]