基于复合模态词模态逻辑的大数据知识表示方法及其在水文信息中应用
|
摘要
针对狭义或广义模态逻辑在大数据知识表示中的不足,给出一种新的大数据表示方法:基于复合模态词模态逻辑的大数据表示方法。给出其语言、语法与语义,证明该逻辑在一般可达关系下的公理系统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.
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.
引文
[1]弓肇祥.广义模态逻辑[M].北京:中国社会科学出版社,1993.
[2]周北海.模态逻辑导论[M].北京:北京大学出版社,1997.
[3]何向东.广义模态逻辑及其应用[M].北京:人民出版社,2005.
[4]李小五.现在逻辑学讲义:模态逻辑[M].广州:中山大学出版社,2005.
[5]王国俊.非经典数理逻辑与近似推理(第2版)[M].北京:科学出版社,2008.
[6]Hughes G E,Cresswell M J.A New Introduction To Modal Logic[M].Routledge,1996.
[7]Blackburn P,De Rijke M,Venema Y.Modal Logic[M].Cambridge University Press.2005.
[8]陆钟万.面向计算机科学的数理逻辑(第二版)[M].北京:科学出版社,2002.
[9]Li Wei.Mathematical Logic:Foundations For Information Science[M].Birkhuser Basel.2010.
[10]王国俊.数理逻辑引论与归结原理-第2版[M].北京:科学出版社,2006.
[11]陈志远,黄少滨,韩丽丽.现代模态逻辑在计算机科学中的应用研究[J].计算机科学,2013,40(6A):70-76.
[12]江峰.谓词模态逻辑中变量的严格指派问题[J].计算机科学,2009,36(12):219-222.
[13]申宇铭,王驹,唐素勤,等.谓词模态逻辑到对应物理论的翻译[J].软件学报,2012,23(9):2323-2335.
[14]申宇铭,马越,曹存根,等.不同逻辑间翻译的逻辑性质[J].计算机学报,2009,32(10):2091-2098.
[15]邓少波,黎敏,曹存根,等.具有模态词□φ=□1φV□2φ且可靠与完备的公理系统[J].软件学报,2015,26(9):2286-2296.
[16]Deng S B,Sun M Y.Cao C G,et al A Sound And Complete Axiomatic System For Modality□φ=□1φ)□2φ[C].The 8thInternational Conference on Intelligent Information Processing(IIP2014),2014.10.17-10.20.
[17]孙梅莹,邓少波,陈博,等.公式分层的谓词模态逻辑[J].软件学报,2014,2(5):1014-1024.
[18]董英东.模态逻辑中的三值逻辑[J].毕节学院学报:综合版,2014,32(8):1-7.
[19]李璧镜.模态逻辑系统S5中极大相容理论的结构刻画[J].电子学报,2014,42(8):1551-1555.
[20]王国俊,段巧林.逻辑中的(n)真度理论与和谐定理[J].中国科学F辑:信息科学,2009,39(2):234-245.
[21]王国俊,时慧娴.格值模态命题逻辑及其完备性[J].中国科学F辑:信息科学,2011,41(1):66-76.
[22]胡明娣,王国俊.模糊模态逻辑中的永真式与准永真式.电子学报[J],2009,37(11):2484-2488.
[23]时慧娴,王国俊.多值模态逻辑的计量化方法[J].软件学报,2012,23(12):3074-3087
[24]裘江杰.模态逻辑典范框架的生成子框架[J].逻辑学研究,2009,2(4):75-81.
[25]于海,詹婉荣,张瑞玲.模态逻辑S4的覆盖语义及其完备性[J].电子学报,2012,40(4):745-750.
[26]Zhou H J,Wang G J.Three And Two-Valued Lukasiewicz Theoreies In The Formal Deductive System L*(NM-logic)[J].Fuzzy Sets and System,2008,159(23):2971-2982.
[27]Rin B G,Walsh S.Realizability Semantics For Quantified Modal Logic:Generalizing Flagg's 1985 Construction[J].The Review of Symbolic Logic,2016,1(4):752-809.
[28]杨晓斌,张文修.Lukasiewicz多值逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(1):8-12.
[29]刘大有,赖永,王生生.Tableau算法的优化及模型规约技术[J].计算机学报,2014,37(8):1647-1657.
[30]梁吉业,冯晨娇,宋鹏.大数据相关分析综述[J].计算机学报,2016,39(1):1-18.
[31]徐计,王国胤,于洪.基于粒计算的大数据处理[J].计算机学报,2015,38(8):1497-1517
[32]曾婷,李岩瑛,张强,等.民勤干旱区冬季浓雾形成的边界层条件分析[J].气象,2017,43(8):936-942.
[33]许金萍,王文,蔡晓军,等.长江中下游地区2011年冬春连旱及2013年夏季高温干旱环流特征及其与Rossby波活动的联系对比分析[J].热带气象学报,2017,28(6):992-999.
[34]胡良文,廖文梅,金志农.水生态文明的评价及时空演变---以江西省为例[J].南昌工程学院学报,2017,36(3):10-17.
[35]江辉,谢盛鑫,刘瑶,等.鄱阳湖丰水期水体悬浮颗粒物粒径空间分布特征[J].南昌工程学院学报,2018,37(6):43-47.
[2]周北海.模态逻辑导论[M].北京:北京大学出版社,1997.
[3]何向东.广义模态逻辑及其应用[M].北京:人民出版社,2005.
[4]李小五.现在逻辑学讲义:模态逻辑[M].广州:中山大学出版社,2005.
[5]王国俊.非经典数理逻辑与近似推理(第2版)[M].北京:科学出版社,2008.
[6]Hughes G E,Cresswell M J.A New Introduction To Modal Logic[M].Routledge,1996.
[7]Blackburn P,De Rijke M,Venema Y.Modal Logic[M].Cambridge University Press.2005.
[8]陆钟万.面向计算机科学的数理逻辑(第二版)[M].北京:科学出版社,2002.
[9]Li Wei.Mathematical Logic:Foundations For Information Science[M].Birkhuser Basel.2010.
[10]王国俊.数理逻辑引论与归结原理-第2版[M].北京:科学出版社,2006.
[11]陈志远,黄少滨,韩丽丽.现代模态逻辑在计算机科学中的应用研究[J].计算机科学,2013,40(6A):70-76.
[12]江峰.谓词模态逻辑中变量的严格指派问题[J].计算机科学,2009,36(12):219-222.
[13]申宇铭,王驹,唐素勤,等.谓词模态逻辑到对应物理论的翻译[J].软件学报,2012,23(9):2323-2335.
[14]申宇铭,马越,曹存根,等.不同逻辑间翻译的逻辑性质[J].计算机学报,2009,32(10):2091-2098.
[15]邓少波,黎敏,曹存根,等.具有模态词□φ=□1φV□2φ且可靠与完备的公理系统[J].软件学报,2015,26(9):2286-2296.
[16]Deng S B,Sun M Y.Cao C G,et al A Sound And Complete Axiomatic System For Modality□φ=□1φ)□2φ[C].The 8thInternational Conference on Intelligent Information Processing(IIP2014),2014.10.17-10.20.
[17]孙梅莹,邓少波,陈博,等.公式分层的谓词模态逻辑[J].软件学报,2014,2(5):1014-1024.
[18]董英东.模态逻辑中的三值逻辑[J].毕节学院学报:综合版,2014,32(8):1-7.
[19]李璧镜.模态逻辑系统S5中极大相容理论的结构刻画[J].电子学报,2014,42(8):1551-1555.
[20]王国俊,段巧林.逻辑中的(n)真度理论与和谐定理[J].中国科学F辑:信息科学,2009,39(2):234-245.
[21]王国俊,时慧娴.格值模态命题逻辑及其完备性[J].中国科学F辑:信息科学,2011,41(1):66-76.
[22]胡明娣,王国俊.模糊模态逻辑中的永真式与准永真式.电子学报[J],2009,37(11):2484-2488.
[23]时慧娴,王国俊.多值模态逻辑的计量化方法[J].软件学报,2012,23(12):3074-3087
[24]裘江杰.模态逻辑典范框架的生成子框架[J].逻辑学研究,2009,2(4):75-81.
[25]于海,詹婉荣,张瑞玲.模态逻辑S4的覆盖语义及其完备性[J].电子学报,2012,40(4):745-750.
[26]Zhou H J,Wang G J.Three And Two-Valued Lukasiewicz Theoreies In The Formal Deductive System L*(NM-logic)[J].Fuzzy Sets and System,2008,159(23):2971-2982.
[27]Rin B G,Walsh S.Realizability Semantics For Quantified Modal Logic:Generalizing Flagg's 1985 Construction[J].The Review of Symbolic Logic,2016,1(4):752-809.
[28]杨晓斌,张文修.Lukasiewicz多值逻辑系统中的广义重言式理论[J].模糊系统与数学,2000,14(1):8-12.
[29]刘大有,赖永,王生生.Tableau算法的优化及模型规约技术[J].计算机学报,2014,37(8):1647-1657.
[30]梁吉业,冯晨娇,宋鹏.大数据相关分析综述[J].计算机学报,2016,39(1):1-18.
[31]徐计,王国胤,于洪.基于粒计算的大数据处理[J].计算机学报,2015,38(8):1497-1517
[32]曾婷,李岩瑛,张强,等.民勤干旱区冬季浓雾形成的边界层条件分析[J].气象,2017,43(8):936-942.
[33]许金萍,王文,蔡晓军,等.长江中下游地区2011年冬春连旱及2013年夏季高温干旱环流特征及其与Rossby波活动的联系对比分析[J].热带气象学报,2017,28(6):992-999.
[34]胡良文,廖文梅,金志农.水生态文明的评价及时空演变---以江西省为例[J].南昌工程学院学报,2017,36(3):10-17.
[35]江辉,谢盛鑫,刘瑶,等.鄱阳湖丰水期水体悬浮颗粒物粒径空间分布特征[J].南昌工程学院学报,2018,37(6):43-47.