Institute of Computing Technology, Chinese Academy IR
| 基于布尔语义的Gentzen推导模型 | |
| 陈博; 眭跃飞 | |
| 2015 | |
| 发表期刊 | 计算机科学与探索
 |
| ISSN | 1673-9418 |
| 卷号 | 9.0期号:002页码:221 |
| 摘要 | 布尔模型是信息检索系统的一种基础模型。给出了命题逻辑和布尔代数间的一种新的对应关系，其中布尔代数中的不等式对应Gentzen系统中的矢列式，使得当一个不等式在任意布尔代数中为真，当且仅当它所对应的矢列式是可证的。并且使得在信息检索中，针对信息的推理可以有效地转为偏序集上的运算。讨论的命题逻辑语言的运算符为, ∧, ∨；并且定义了项（a｜t｜t1∧ t2｜t1∨ t2，其中以是一个元素）来替代原先的公式和表示布尔代数中的元素。此外，定义了以布尔代数为论域的赋值v，将命题逻辑中的项赋值为布尔代数中的元素，并且如果∩t∈Гtv≤∪t∈△tv，则矢列式Г=△为真。最后给出了Gentzen系统下的可靠性和完备性定理的证明。 |
| 关键词 | 布尔代数 命题逻辑 不等式 完备性 |
| 语种 | 英语 |
| 文献类型 | 期刊论文 |
| 条目标识符 | http://119.78.100.204/handle/2XEOYT63/35302 |
| 专题 | 中国科学院计算技术研究所期刊论文_中文 |
| 作者单位 | 中国科学院计算技术研究所 |
| 第一作者单位 | 中国科学院计算技术研究所 |
| 推荐引用方式 GB/T 7714 | 陈博,眭跃飞. 基于布尔语义的Gentzen推导模型[J]. 计算机科学与探索,2015,9.0(002):221. |
| APA | 陈博,&眭跃飞.(2015).基于布尔语义的Gentzen推导模型.计算机科学与探索,9.0(002),221. |
| MLA | 陈博,et al."基于布尔语义的Gentzen推导模型".计算机科学与探索 9.0.002(2015):221. |
| 条目包含的文件 | 条目无相关文件。 | |||||
| 个性服务 |
| 推荐该条目 |
| 保存到收藏夹 |
| 查看访问统计 |
| 导出为Endnote文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [陈博]的文章 |
| [眭跃飞]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [陈博]的文章 |
| [眭跃飞]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [陈博]的文章 |
| [眭跃飞]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论