| 常识推理基础逻辑系统M的完全性 |
| |
| 引用本文： | 周北海,毛翊.常识推理基础逻辑系统M的完全性[J].西南大学学报(社会科学版),2006,32(1). |
| |
| 作者姓名： | 周北海 毛翊 |
| |
| 作者单位： | 北京大学哲学系 北京100871(周北海)，美国德州大学哲学系 美国奥斯丁78712(毛翊) |
| |
| 基金项目： | 教育部人文社会科学规划项目 |
| |
| 摘 要： | 对通常的典范模型方法加以改造,在典范结构的基础上,可建立相对于任意给定有穷公式集Γ的Γ-典范框架和Γ-典范模型,以证明M的框架类完全性.Γ-典范模型方法是有穷方法.如果Γ有穷,得到的典范模型有穷.这不仅可以证明M的完全性,还可证明M的有穷模型性,因此M是可判定的.
|
| 关 键 词： | 常识推理的基础逻辑 集选语义 典范框架 典范模型 |
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 University(Humanities and Social Sciences Edition),2006,32(1). |
| |
| Authors: | ZHOU Bei-hai MAO Yi |
| |
| Abstract: | |
| |
| Keywords: | basic logic for default reasoning set selection semantics canonical frame canonical model |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《西南大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《西南大学学报(社会科学版)》下载免费的PDF全文 |
