| 基于开放世界假设的三值逻辑的语义推理系统 |
| |
| 引用本文： | 鞠实儿,林渊雷.基于开放世界假设的三值逻辑的语义推理系统[J].中山大学学报(社会科学版),2008,48(2):96-105. |
| |
| 作者姓名： | 鞠实儿 林渊雷 |
| |
| 作者单位： | 中山大学逻辑与认知研究所,广州,510275 |
| |
| 摘 要： | Kleene三值逻辑的蕴含词"→"和开放世界假定的否定词"┒"构成的三值命题逻辑系统没有重言式,这使得在该系统内进行推理变得比较困难,而正确刻画语义,进而进行正确推理通常是我们构造逻辑系统的目的.既然该命题逻辑系统难以进行推理,文章通过引进真算子T和F,直接把背后的语义推理形式化,给出三值命题逻辑语义公理系统SKO.文章还给出了严格的形式语义,并且用该语义理论证明了SKO的可靠性和完全性.
|
| 关 键 词： | 开放世界 三值逻辑 语义推理系统 开放世界假设 三值逻辑 形式语义 推理系统 Assumption Based System 完全性 理论证明 公理系统 逻辑语义 形式化 语义推理 算子 构造 比较 重言式 逻辑系统 命题 构成 |
| 文章编号： | 1000-9639(2008)02-0096-10 |
| 修稿时间： | 2007年12月1日 |
A Three-valued Semantically Deductive System Based on Open-world Assumption |
| |
| JU Shi-er,LIN Yuan-lei.A Three-valued Semantically Deductive System Based on Open-world Assumption[J].Journal of Sun Yatsen University(Social Science Edition),2008,48(2):96-105. |
| |
| Authors: | JU Shi-er LIN Yuan-lei |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
