以目的与背景知识为双条件的逻辑AKC

发布时间：2018-06-29 19:57

  本文选题：条件句系统 + 有序邻域语义　； 参考：《西南大学学报(社会科学版)》2007年03期

【摘要】：首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。
[Abstract]:Firstly, we construct a conditional sentence system with double conditions of purpose and background knowledge, and give some proof results. Secondly, we introduce ordered neighborhood semantics, give the frame conditions for describing the characteristic axioms and reasoning rules of AKC, and prove that AKC is frame reliable relative to these framework conditions. Finally, we prove that AKC is frame complete relative to these frame conditions.
【作者单位】： 西南大学逻辑与智能研究中心
【基金】：教育部人文社科研究基地重大项目“归纳逻辑及其应用”(05JJD720.40001)
【分类号】：B815.1
，

本文编号：2083205