收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

硕士研究生论文摘要

【摘要】:正意识控制下的信念逻辑使用正规模态逻辑系统来刻画agent信念推理系统,由于有必然性规则和K公理,就会导致信念的副作用问题(agent相信所有的真命题)和传递问题 (agent相信其信念的所有后承)。这对于agent的资源有限和推理能力有限的假使是违背的。为了避免正规模态逻辑所导致的这些问题,对

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 隋云云;;逻辑系统L_4~2中公式的相似度[J];潍坊学院学报;2011年04期
2 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
3 蔡曙山;白晨;衣新发;韩旭;;推理在学习与认知中的作用[J];重庆理工大学学报(社会科学);2011年08期
4 左卫兵;;三值命题逻辑随机化的注记[J];河北师范大学学报(自然科学版);2011年04期
5 郭美云;;从动态认知逻辑的角度看偏好——刘奋荣《动态偏好逻辑》评介[J];逻辑学研究;2011年02期
6 罗翊重;;对哥德尔定理的辩证逻辑形式化解读[J];昆明学院学报;2011年04期
7 郭建萍;;殊途同归的意义理论——逻辑视野中的戴维森与达米特意义理论[J];哲学动态;2011年06期
8 刘新文;;皮尔士存在图的形式推演系统[J];毕节学院学报;2011年05期
9 吴新民;;时态逻辑与时间思想的语言哲学维度[J];湖南社会科学;2011年04期
10 付瑶;;论古德曼反事实条件句难题[J];重庆理工大学学报(社会科学);2011年08期
11 谭智奇;;探析逻辑哲学“不是什么”和“是什么”[J];传承;2011年21期
12 洪昆辉;黄静;;基于对象间时空接近性原理的逻辑推理模式[J];昆明学院学报;2011年04期
13 ;[J];;年期
14 ;[J];;年期
15 ;[J];;年期
16 ;[J];;年期
17 ;[J];;年期
18 ;[J];;年期
19 ;[J];;年期
20 ;[J];;年期
中国重要会议论文全文数据库 前10条
1 ;硕士研究生论文摘要[A];2000年逻辑研究专辑[C];2000年
2 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
3 杨武金;;弗协调逻辑及其哲学意义[A];2004年逻辑研究专辑[C];2004年
4 张金成;;变换经典逻辑的时空——《数理辩证逻辑导论》读后[A];1996年逻辑研究专辑[C];1996年
5 李世繁;;辩证逻辑的研究对象及其与辩证法、认识论的关系[A];全国逻辑讨论会论文选集[C];1979年
6 刘世英;;从毛泽东的一次谈话看辩证逻辑[A];1994年逻辑研究专辑[C];1994年
7 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
8 金顺福;;论辩证逻辑的性质[A];理有固然——纪念金岳霖先生百年诞辰[C];1995年
9 梁金;;辩证逻辑学术讨论会在奉化召开[A];1996年逻辑研究专辑[C];1996年
10 郭世铭;;多主体认知逻辑系统(语法部分)[A];1998年逻辑研究专辑[C];1998年
中国博士学位论文全文数据库 前10条
1 刘张华;大卫·刘易斯模态哲学思想研究[D];南京大学;2011年
2 冯彦波;合并逻辑方法研究[D];南开大学;2010年
3 张立娜;个体词的逻辑语义[D];清华大学;2007年
4 郭佳宏;理想自省主体的信念修正[D];中山大学;2006年
5 周允程;第一人称信念的哲学研究[D];清华大学;2008年
6 张力锋;模态逻辑和本质主义[D];北京大学;2004年
7 荣立武;内涵逻辑的哲学基础[D];中山大学;2006年
8 惠小静;计量逻辑学及其随机化研究[D];陕西师范大学;2008年
9 吕进;基于时间和行动规划的知识—意图逻辑[D];西南大学;2008年
10 张君;知道逻辑中的知识可传递性问题研究[D];清华大学;2008年
中国硕士学位论文全文数据库 前10条
1 麻鹤腾;可能世界的几个基本理论问题[D];河南大学;2011年
2 段宏立;道义逻辑[D];西南大学;2006年
3 徐晔翀;论可能世界语义学中的个体跨界的同一性问题[D];华东师范大学;2010年
4 萧瑶;信念修正逻辑初探[D];西南大学;2008年
5 庞素婷;马佩辩证逻辑思想研究[D];河南大学;2007年
6 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
7 陈薪;论彭漪涟教授对辩证逻辑理论的新探索[D];湘潭大学;2010年
8 胡燕巧;《概念论》解析[D];湘潭大学;2011年
9 彭展;S6 系统的语义解释[D];西南师范大学;2002年
10 夏梦;金岳霖逻辑与逻辑系统思想述评[D];西南师范大学;2002年
中国重要报纸全文数据库 前9条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 彭漪涟;逻辑科学需要进行系统反思[N];光明日报;2006年
3 辛望旦;悖论的意义与理性形式的演化[N];社会科学报;2000年
4 韩林合;探寻维特根斯坦的永恒价值[N];中华读书报;2002年
5 本报记者 周静;贵州制约逻辑学会致力学界发展[N];贵州日报;2009年
6 中山大学逻辑与认知研究所 熊明辉;逻辑与认知[N];社会科学报;2002年
7 沙青;“意义”的追问与探求[N];光明日报;2006年
8 沈荣兴 王文东;推进中国逻辑科学与国际接轨[N];社会科学报;2000年
9 邓晓芒 华中科技大学哲学系;黑格尔辩证法为形式逻辑奠基[N];中国社会科学报;2009年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978