节点文献
基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
Knowledge representation method of big data based on modal logic for compound modality and its application in hydrological information
【摘要】 针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统K2的可靠性定理与完备性定理,并结合水文信息给出这种大数据知识表示应用实例。
【Abstract】 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.
【Key words】 modal logic; big data; hydrological information; soundness theorem; completeness theorem;
- 【文献出处】 南昌工程学院学报 ,Journal of Nanchang Institute of Technology , 编辑部邮箱 ,2019年03期
- 【分类号】TP311.13;P33
- 【下载频次】78