常识推理基础逻辑系统M的完全性

西南大学学报（社会科学版）

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

常识推理基础逻辑系统M的完全性

常识推理基础逻辑系统M的完全性[J]. 西南大学学报（社会科学版）, 2006, 32(1).

引用本文:

常识推理基础逻辑系统M的完全性[J]. 西南大学学报（社会科学版）, 2006, 32(1).

Completeness of the Basic Logical System M for Default Reasoning[J]. Journal of Southwest University Social Science Edition, 2006, 32(1).

Citation:

Completeness of the Basic Logical System M for Default Reasoning[J]. Journal of Southwest University Social Science Edition, 2006, 32(1).

摘要: 对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.
- 常识推理的基础逻辑、集选语义、典范框架、典范模型