文章摘要
2n值命题演算的 语义及其在大数据中的应用
The Semantic of 2n-Valued PropositionalCalculus and Its Applications in Big Data
  
DOI:
中文关键词: 命题演算  语义  大数据  降冗  key-value模型
英文关键词: proposition calculus  semantic  big data  redundancy cancelling  key-value model
基金项目:
作者单位
洪龙1,2 1.南京邮电大学 计算机学院, 江苏 南京2100032.软件开发环境国家重点实验室, 北京 100191 
摘要点击次数: 1093
全文下载次数: 747
中文摘要:
      本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus, 2nP)的语义,为大数据科学奠定逻辑基础。描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景。
英文摘要:
      This paper aims to establish the semantic of 2n valued propositional calculus (2nP) in order to set the logical foundation of big data science. This paper specifies the truth value form of 2n valued logic and uses bit structure to characterize the functions of connectives, and set valuation mapping of 2nP. 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 2nP applied to the researches on big data. Furthermore, this paper initially analyzes the relationship between semantic of classic propositional logic and the one of 2nP, and shows the 2nPs application perspectives on computer science, information techniques, and artificial intelligence.
查看全文   查看/发表评论  下载PDF阅读器
关闭