| 单主体自认知逻辑系统 |
| |
| 引用本文： | 董英东.单主体自认知逻辑系统[J].毕节学院学报,2010,28(3):46-54. |
| |
| 作者姓名： | 董英东 |
| |
| 作者单位： | 南开大学,天津,300071 |
| |
| 摘 要： | 摩尔提出的单主体自认知逻辑系统,主要包括基本思想、自认知系统的语言以及稳定理论和一致性,以及S5系统及其等价式的证明。而莱维斯克将摩尔的系统扩充为单主体唯一知道逻辑,并阐述了其语形和语义理论,我们重新修正了莱维斯克的唯一知道逻辑系统,并且提供了一个转换的语义解释,通过对转换语义的使用,简化了修改后的系统的可靠性和完全性的证明。
|
| 关 键 词： | 自认知逻辑 非单调推理 稳定集 唯一知道逻辑 |
Single Agent Autoepistemic Logic System |
| |
| DONG Ying-dong.Single Agent Autoepistemic Logic System[J].Journal of Bijie University,2010,28(3):46-54. |
| |
| Authors: | DONG Ying-dong |
| |
| Institution: | Nankai University;Tianjin 300071;China |
| |
| Abstract: | Moore's single agent autoepistemic logic system,including the foundation ideas of single agent autoepistemic logic,its language,stable theory and consistence of the system alongside with the prove of system S5 and its equivalence.we characterized Levesque's extention on Moore's system known as the single agent only knowing logic system and its semantic/syntactic theory,and offer an alternative semantics on the essentials of Levesque's system,simplified the proof of soundness and completeness of the altered ... |
| |
| Keywords: | Autoepistemic Logic Nonmonotonic Reasoning Stable Set Only Knowing Logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
