【摘要】 针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统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.更多还原