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

摘要

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