|
| 2n值命题演算的
语义及其在大数据中的应用 |
| The Semantic of 2n-Valued PropositionalCalculus and Its Applications in Big Data |
| |
| DOI： |
| 中文关键词: 命题演算 语义 大数据 降冗 key-value模型 |
| 英文关键词: proposition calculus semantic big data redundancy cancelling key-value model |
| 基金项目: |
|
| 摘要点击次数: 2044 |
| 全文下载次数: 1165 |
| 中文摘要: |
| 本文的目标是建立2n值命题演算(2n-Valued Propositional Calculus, 2nP)的语义，为大数据科学奠定逻辑基础。描述了2n值逻辑的真值形式、采用位结构刻画了联结词的功能，并建立了赋值映射；根据多值逻辑的特点，以数据冗余、key-value模型为例，直觉地讨论了2n值逻辑应用于大数据研究的有效性；初步分析了2nP语义与经典命题逻辑语义之间的关系，并展望了2nP在计算机科学、人工智能、信息技术等学科的应用前景。 |
| 英文摘要: |
| This paper aims to establish the semantic of 2n valued propositional calculus (2nP) in order to set the logical foundation of big data science. This paper specifies the truth value form of 2n valued logic and uses bit structure to characterize the functions of connectives, and set valuation mapping of 2nP. In light of the features of 2nP and by taking key-value data model and data redundancy as examples, this paper intuitively discusses the effects of 2nP applied to the researches on big data. Furthermore, this paper initially analyzes the relationship between semantic of classic propositional logic and the one of 2nP, and shows the 2nPs application perspectives on computer science, information techniques, and artificial intelligence. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
|
|
|
