| 2n值命题演算的
语义及其在大数据中的应用 |
| |
| 引用本文： | 洪龙.2n值命题演算的
语义及其在大数据中的应用[J].湖南科技大学学报(社会科学版),2015,18(2):23-27. |
| |
| 作者姓名： | 洪龙 |
| |
| 作者单位： | 南京邮电大学计算机学院,江苏南京210003;软件开发环境国家重点实验室,北京100191 |
| |
| 基金项目： | 国家自然科学基金项目(61170322);软件开发环境国家重点实验室开放课题(SKLSDE-2011KF-04) |
| |
| 摘 要： | 本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus,2nP)的语义,为大数据科学奠定逻辑基础.描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能,并建立了赋值映射;根据多值逻辑的特点,以数据冗余、key-value模型为例,直觉地讨论了2n值逻辑应用于大数据研究的有效性;初步分析了2nP语义与经典命题逻辑语义之间的关系,并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景.
|
| 关 键 词： | 命题演算 语义 大数据 降冗 key-value模型 |
The Semantic of 2n-Valued Propositional
Calculus and Its Applications in Big Data |
| |
| HONG Long.The Semantic of 2n-Valued Propositional
Calculus and Its Applications in Big Data[J].journal of hunan university of science&technology,2015,18(2):23-27. |
| |
| Authors: | HONG Long |
| |
| Institution: | HONG Long;School of Computer Science,Nanjing University of Posts and Telecommunications;State Key Laboratory of Software Development Environment; |
| |
| Abstract: | |
| |
| Keywords: | proposition calculus semantic big data redundancy cancelling key-value model |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《湖南科技大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《湖南科技大学学报(社会科学版)》下载免费的PDF全文 |
