本文選題：條件句系統(tǒng) + 有序鄰域語義　； 參考：《西南大學(xué)學(xué)報(bào)(社會科學(xué)版)》2007年03期

【摘要】：首先,我們構(gòu)造以目的和背景知識為雙條件的條件句系統(tǒng)AKC,給出它的一些證明論結(jié)果。其次,我們引入有序鄰域語義,給出描述AKC的特征公理和推理規(guī)則的框架條件,證明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.
【作者單位】： 西南大學(xué)邏輯與智能研究中心
【基金】：教育部人文社科研究基地重大項(xiàng)目“歸納邏輯及其應(yīng)用”(05JJD720.40001)
【分類號】：B815.1
，

本文編號：2083205