多主体自认知逻辑系统

发布时间：2018-11-25 21:33

【摘要】：认知逻辑处理的是关于知识和信念等认知概念的逻辑性质和关系的问题,多主体的自认知逻辑系统,是在单主体唯一知道逻辑系统的基础上进行的扩充。现将单主体的K45系统扩充为多主体的K45n系统,并介绍了该系统的语法规则和稳定集以及典范模型的语义和证明理论,同时也对该系统的可靠性和完全性进行了证明。
[Abstract]:Cognitive logic deals with the logical properties and relationships of cognitive concepts such as knowledge and belief. The multi-agent self-cognitive logic system is an extension based on the single subject's sole knowledge of the logic system. In this paper, the single-agent K45 system is extended to a multi-agent K45n system. The grammar rules, the stable set and the semantics and proof theory of the canonical model are introduced. The reliability and completeness of the system are also proved.
【作者单位】： 南开大学哲学系;
【分类号】：B815.3

【相似文献】

相关会议论文 前10条

1 刘奋荣;;缺省逻辑如何研究非单调推理？[A];逻辑、语言与思维——周礼全先生八十寿辰纪念文集[C];2001年

2 费定舟;;自动推理:它的内容、方法和意义[A];2001年逻辑研究专辑[C];2001年

3 陈雷明;邹欣;党德玉;;一种基于语义优化非单调推理的方法[A];2006年全国开放式分布与并行计算机学术会议论文集（三）[C];2006年

4 肖庆文;林作铨;;一个Web站点自动生成系统[A];1999年中国智能自动化学术会议论文集（下册）[C];1999年

5 向淑文;;Nash平衡的精炼与双矩阵博弈的分类[A];2006年中国运筹学会数学规划分会代表会议暨第六届学术会议论文集[C];2006年

6 梁健;张勇;陈智健;肖庆文;于斌;沈达阳;;基于Windows NT的Intranet的研究与实现——汕头国土局房地产信息管理系统STRET[A];1998年中国智能自动化学术会议论文集（下册）[C];1998年

7 李乾贵;窦正斌;;行政执法若干制约因素的成因及对策分析[A];行政管理体制改革的法律问题——中国法学会行政法学研究会2006年年会论文集[C];2006年

8 陈小平;;基于信念修改逻辑的归纳支持[A];1996年逻辑研究专辑[C];1996年

9 ;和谐社会：自主创新与文化交融——2006·学术前沿论坛论文摘要汇编 北京市逻辑学会[A];和谐社会：自主创新与文化交融——2006学术前沿论坛论文摘要汇编[C];2006年

10 周北海;毛翊;;常识推演——常识推理的形式刻画[A];2004年逻辑研究专辑[C];2004年

相关重要报纸文章 前10条

1 安徽省淮南市邮政局综合办公室　王新林;加强行管力度稳定集邮市场[N];中国邮政报;2003年

2 蹇敦华 周跃 郑秀娟;服务天南地北游客[N];人民邮电;2005年

3 徐强;黑龙江移动巩固“双领先”优势[N];通信产业报;2004年

4 ;黑龙江移动确保业务领先有实招[N];人民邮电;2002年

5 李振 作者系平顶山市人民政府副市长;平等参与社会生活 共享社会文明成果[N];平顶山日报;2005年

6 嵩明县三中 李瑞泽;教学中如何应用“注意”[N];云南经济日报;2004年

7 云兰娥;内蒙古移动五项举措做强市场[N];人民邮电;2004年

8 本报记者 胡阳;市广开渠道服务残疾人就业[N];衡阳日报;2007年

9 陈雅邋董芳;九江县棉花擎起农业“半边天”[N];九江日报;2008年

10 林子;江西九江：棉花目前长势良好[N];中华合作时报;2008年

相关博士学位论文 前10条

1 周勇;逻辑程序及其在安全协议验证中的应用[D];南京航空航天大学;2006年

2 刘奋荣;非单调推理的逻辑研究[D];中国社会科学院研究生院;2001年

3 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年

4 顾红芳;常识推理中非单调逻辑的研究[D];南京航空航天大学;2001年

5 刘敬学;面向指挥决策的取证支持系统研究[D];华中科技大学;2006年

6 吴梅红;基于动态认知逻辑的多主体系统知识推理研究[D];厦门大学;2009年

7 干红华;基于事件的因果关系可计算化分析研究[D];浙江大学;2003年

8 饶国政;基于语义WIKI的本体知识库研究[D];天津大学;2009年

9 肖文洁;知识表示与推理的若干问题研究[D];南京航空航天大学;2010年

10 姜殿玉;管理科学中的带熵博弈论[D];大连海事大学;2008年

相关硕士学位论文 前10条

1 董英东;多主体自认知逻辑系统及其应用[D];西南大学;2008年

2 刘飞;非单调推理及其应用[D];河南大学;2011年

3 徐辉;非单调推理基础上的基于模型诊断[D];吉林大学;2005年

4 袁庆;一类拟线性波动方程解的存在性和爆破[D];河海大学;2003年

5 黄先玖;图映射的渐近稳定集和拓扑序列熵[D];广西大学;2004年

6 白红信;随机合作对策问题解的研究[D];燕山大学;2009年

7 李慧华;自认知逻辑AEL[D];华南师范大学;2007年

8 崔丽丽;一类配置对策的核心稳定性[D];中国海洋大学;2008年

9 于泳波;重复模糊合作对策解的研究[D];燕山大学;2009年

10 张兴华;基于（？）_D（·）算子的非单调后承表示定理证明的研究[D];南京航空航天大学;2008年

，

本文编号：2357439