| 常识推理基础逻辑系统M的完全性 |
| |
| 引用本文： | 周北海,毛翊.常识推理基础逻辑系统M的完全性[J].西南师范大学学报(人文社会科学版),2006,32(1):70-74. |
| |
| 作者姓名： | 周北海 毛翊 |
| |
| 作者单位： | [1]北京大学哲学系,北京100871 [2]美国德州大学哲学系,美国奥斯丁78712 |
| |
| 基金项目： | 教育部人文社会科学研究“十五”规划第一批研究资助项目（0LJB720003）.项目主持人：周北海 |
| |
| 摘 要： | 对通常的典范模型方法加以改造，在典范结构的基础上，可建立相对于任意给定有穷公式集Г的Г-典范框架和Г-典范模型，以证明M的框架类完全性。Г-典范模型方法是有穷方法。如果Г有穷，得到的典范模型有穷。这不仅可以证明M的完全性，还可证明M的有穷模型性，因此M是可判定的。
|
| 关 键 词： | 常识推理的基础逻辑 集选语义 典范框架 典范模型 |
| 文章编号： | 1000-2677(2006)01-0070-05 |
| 收稿时间： | 01 29 2005 12:00AM |
| 修稿时间： | 2005年1月29日 |
Completeness of the Basic Logical System M for Default Reasoning |
| |
| ZHOU Bei-hai ,MAO Yi.Completeness of the Basic Logical System M for Default Reasoning[J].Journal of Southwest China Normal University(Philosophy & Social Sciences Edition),2006,32(1):70-74. |
| |
| Authors: | ZHOU Bei-hai MAO Yi |
| |
| Institution: | 1. Department of Philosophy, Peking University, Beijing 100871, China; 2. Department of Philosophy, University of Texas at Austin, TX 78712, U. S. A |
| |
| Abstract: | |
| |
| Keywords: | basic logic for default reasoning set selection semantics canonical frame canonical model |
| 本文献已被 维普 等数据库收录！ |
