| 以目的与背景知识为双条件的逻辑AKC |
| |
| 引用本文： | 李小五.以目的与背景知识为双条件的逻辑AKC[J].西南大学学报(社会科学版),2007,33(3). |
| |
| 作者姓名： | 李小五 |
| |
| 作者单位： | 西南大学逻辑与智能研究中心 重庆市400715 |
| |
| 基金项目： | 教育部人文社科研究基地重大项目“归纳逻辑及其应用”(05JJD720.40001) |
| |
| 摘 要： | 首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。
|
| 关 键 词： | 条件句系统 有序邻域语义 框架可靠性 框架完全性 |
Conditional Logic with Double Conditions for Aim and Background Knowledge AKC |
| |
| LI Xiao-wu.Conditional Logic with Double Conditions for Aim and Background Knowledge AKC[J].Journal of Southwest University(Humanities and Social Sciences Edition),2007,33(3). |
| |
| Authors: | LI Xiao-wu |
| |
| Abstract: | Firstly,we construct the conditional system AKC with double conditions for aim and background knowledge,give some results of its proof theory.Secondly,we introduce the order neighborhood semantics,give the frame conditions of the character axioms and inference rules of AKC,prove the frame soundness of AKC with respect to the frame conditions.Finally,we prove the frame completeness of AKC with respect to the frame conditions as well. |
| |
| Keywords: | conditional system with double conditions for aim and background knowledge order neighborhood semantics frame soundness frame completeness |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《西南大学学报(社会科学版)》浏览原始摘要信息 |
| 点击此处可从《西南大学学报(社会科学版)》下载免费的PDF全文 |
