10.13582/j.cnki.1672-7835.2015.02.005
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