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

摘要：

本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础.描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景.

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

所属期刊栏目：18

分类号：B81(逻辑学(论理学))

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

在线出版日期：2015-06-11（万方平台首次上网日期，不代表论文的发表时间）

页码：23-27