多主体自认知逻辑系统

董英东

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

留言板

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

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

多主体自认知逻辑系统

董英东. 多主体自认知逻辑系统[J]. 西南大学学报（社会科学版）, 2009, 35(5).

引用本文:

董英东. 多主体自认知逻辑系统[J]. 西南大学学报（社会科学版）, 2009, 35(5).

Multi-agent Autoepistemic Logic[J]. Journal of Southwest University Social Science Edition, 2009, 35(5).

Citation:

Multi-agent Autoepistemic Logic[J]. Journal of Southwest University Social Science Edition, 2009, 35(5).

多主体自认知逻辑系统

董英东

南开大学,哲学系,天津市,300071

Multi-agent Autoepistemic Logic

摘要: 认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充.现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明.
- 稳定集，自认知逻辑，非单调推理，i-集

计量

文章访问数: 286
HTML全文浏览数: 150
PDF下载数: 0
施引文献: 0

多主体自认知逻辑系统

董英东

南开大学,哲学系,天津市,300071

关键词:

稳定集，自认知逻辑，非单调推理，i-集

摘要: 认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充.现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明.