摘要
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统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.
作者
邓少波
关素洁
王磊
黎敏
DENG Shaobo;GUAN Sujie;WANG Lei;LI Min(School of Information Engineering,Nanchang Institute of Technology, Nanchang 330099,China)
出处
《南昌工程学院学报》
CAS
2019年第3期77-84,共8页
Journal of Nanchang Institute of Technology
基金
江西省科技厅项目(20161BBE50051,20161BBE50050)
江西省教育厅科学技术研究项目(GJJ161109,GJJ151126)
国家自然基金资助项目(61363047,61562061)
关键词
模态逻辑
大数据
水文信息
可靠性定理
完备性定理
modal logic
big data
hydrological information
soundness theorem
completeness theorem
