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