2^n值命题演算的语义及其在大数据中的应用  

The Semantic of 2^n -Valued Propositional Calculus and Its Applications in Big Data

作　　者：洪龙[1,2] 

机构地区：[1]南京邮电大学计算机学院,江苏南京210003 [2]软件开发环境国家重点实验室,北京100191

出　　处：《湖南科技大学学报（社会科学版）》2015年第2期23-27,共5页Journal of Hunan University of Science and Technology(Social Science Edition)

基　　金：国家自然科学基金项目(61170322);软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-04)

摘　　要：本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础。描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景。This paper aims to establish the semantic of 2^n valued propositional calculus （2^nP） in order to set the logical foundation of big data science. This paper specifies the truth value form of 2^n valued logic and uses bit structure to characterize the functions of connectives, and set valuation mapping of 2^nP. In light of the features of 2nP and by taking key -value data model and data redundancy as examples, this paper intuitively discusses the effects of 2^nP applied to the researches on big data. Furthermore, this paper initially analyzes the relationship between semantic of classic propositional logic and the one of 2^nP, and shows the 2nP＇s application perspectives on computer science, information techniques, and artificial intelligence.

关 键 词：命题演算 语义 大数据 降冗 key-value模型 

分 类 号：B81[哲学宗教—逻辑学]