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

李小五

西南大学学报（社会科学版）

留言板

尊敬的读者、作者、审稿人, 关于本刊的投稿、审稿、编辑和出版的任何问题, 您可以本页添加留言。我们将尽快给您答复。谢谢您的支持!

姓名
	姓名不能为空！
邮箱
	邮箱不能为空！非法的邮箱地址。
手机号码
	电话不能为空！请输入有效手机号!
标题
	标题不能为空！
留言内容
	内容不能为空！
验证码
	验证码不能为空！验证码错误！

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

李小五. 以目的与背景知识为双条件的逻辑AKC[J]. 西南大学学报（社会科学版）, 2007, 33(3).

引用本文:

李小五. 以目的与背景知识为双条件的逻辑AKC[J]. 西南大学学报（社会科学版）, 2007, 33(3).

Conditional Logic with Double Conditions for Aim and Background Knowledge AKC[J]. Journal of Southwest University Social Science Edition, 2007, 33(3).

Citation:

Conditional Logic with Double Conditions for Aim and Background Knowledge AKC[J]. Journal of Southwest University Social Science Edition, 2007, 33(3).

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

李小五

西南大学,逻辑与智能研究中心,重庆市,400715

Conditional Logic with Double Conditions for Aim and Background Knowledge AKC

摘要: 首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果.其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的.最后,我们证明AKC相对这些框架条件也是框架完全的.
- 条件句系统，有序邻域语义，框架可靠性，框架完全性