文档介绍：西南大学
硕士学位论文
公开更新逻辑
姓名:蒋军利
申请学位级别:硕士
专业:逻辑学
指导教师:唐晓嘉
20070501
的一个扩充系统一公开宣告逻辑公开更新逻辑逻辑学专业硕士研究生蒋军利指导老师唐晓嘉教授中文摘要口句。本文在他们研究的基础上,通过引入公开替换算子得到,舭牙公开宣告逻辑中关于现实世界的信息是不变的。但实际上现实世界是时时刻刻充满变化的,主体关于世界本身的信息也相应地会发生变化。这要求主体必须根据这些变化不断地更新自己的知识。因此,如何形式化处理世界信息变化成为近年来动态认知逻辑研究领域中的一个热点问题。的思路建立了可以处理世界信息变化的公开宣告逻辑。由于主体之间的影响和互动很多是建立在群体知识的基础上,所以群体知识在动态认知逻辑研究中也是十分重要的。郭美云博士在他的博士论文中建立了包含公共知识和群体隐含知识的公开宣告逻辑系统在完全性证明中,我们采用中的证明思路,通过归约公理将耐耆怨樵嫉絇涞耐耆陨稀9樵嫉姆椒ú唤鍪刮颐呛苋菀得到完全的证明系统而且还使我们很清楚地看到公开替换算子的引入并没有增强语最后我们对论文进行了总结和讨论。关键词:公开更新逻辑群体知识公共知识群体隐含知识公开替换根据言的表达力。两南大学硕十学位论文
鷆鴄黜瓺甇猯..【瓽,珽,珽瑃痵,.西南大学硕十学伊论文.’,.:
学位论文能蔼驯签字日期:!年钥细雇芝莠垒每堡自星盔塾学位论文作者签名吐蕹鷠暝浚籥日独创性声明学位论文版权使用授权书学位论文题目:本人提交的学位论文是在导师指导下进行的研究工作及取得的了特别标注。对本研究及学位论文撰写曾做出贡献的老师、朋友、同仁在文中作了明确说明并表示衷心感谢。本学位论文作者完全了解西南大学有关保留、使用学位论文的规定,有权保留并向国家有关部门或机构送交论文的复印件和磁盘,允许论文被查阅和借阅。本人授权西南大学研究生院可以将学位论文的全部或部分内容编入有关数据库进行检索,可以采用影印、缩C艿难宦畚脑诮饷芎笫视帽臼谌ㄊ椋韭畚模嚎诓槐C埽口保密期限至年签字日期:导师签名:研究成果。论文中引用他人已经发表或出版过的研究成果,文中已加印或扫描等复制手段保存、汇编学位论文。月止
文献综述关于知识的推理问题在哲学史上由来己久。诸如“我们知道什么保拔颐悄够知道什么币约啊八的橙酥5滥呈率狄馕蹲攀裁”等这些问题在哲学上由很多的讨论。然而这种关于知识的推理一直都没有得到形式化的逻辑分析。直到上个世纪年代早期,在《模态逻辑概论》直到上个世纪年代,在理论基础上发展起来的认知逻辑研究仍属于逻辑哲学领域。随着研究方法和研究内容的演变,认知逻辑的应用价值和适用范围不断拓展,对认知逻辑和以知识为基础的推理成为哲学,数学,人工智能以及经济学等学科共同关注和研究的内容。各学科的相互交流和彼此渗透对认知逻辑的发近年来,人们逐渐认识到多主体间互动的重要性。为了能形式化处理信息变化,人们在认知逻辑的语言中将行动作为模态引进来,产生了动态认知逻辑。公开宣告逻辑就是为了处理公开宣告这一行动对主体知识和推理等的影响而提出来的。年,⒘说谝桓龉ǹP媛呒低场U馐窃谒峤桓鳬会议的一篇论文薪⒌摹辏琂又重新独立发现了公开宣告逻辑系统。公开宣告逻辑通常对世界信息的一个简单处理是假定其实毫无变化的。这是极其不符合现实世界的实际情况的。年,乃悸方⒘丝梢源硎澜缧畔⒈浠墓ǹP媛呒6远现B呒难究越来越深入和精细起来。【】中第一次将逻辑形式化的分析方法用于对知识推理的分析上。但他没有能够提出可以用可能世界语义的思想来做为模型。年,出版了《知识和信念》皇椋檬楸怀莆H现B呒睦锍瘫K曛鞠执现B辑的诞生。展无疑起着巨大的推动作用。根据西南人学硕十学伊论文琖.
第滦蜓——S种匦露懒⒎⑾至斯ǹP媛呒低场公开宣告逻辑的研究现状上个世纪年代初,出版了《知道和相信》皇椋标志了现代认知逻辑体系的产生。他所建立起来的经典认知逻辑体系所主要关心的是建立与特定主体相关的认知推理系统。并且它只是对知识和推理进行了静态的形式化处理。随着认知逻辑与人工智能,博弈论等学科的不断渗透和交叉,人们逐渐认识到多主体『自ザ闹匾P浴NA四苄问交硇畔⒈浠嗣窃谌现B呒挠镅灾薪动作为模态引进来,产生了动态认知逻辑。公开宣告逻辑就是为了处理公开宣告这一行动对主体知识和推理等的影响而提出来的。它是动态认知逻辑的一个基础系统。⒘说谝桓龉ǹP媛呒低场U馐窃谒峤桓鳬位嵋薪⒌摹辏珿一般说来,我们必须根据对已有系统的语法或语义研究来构建新的系统,新构建的系统是原来系统的一个扩张系统。建立的经典认知逻辑系统就是在已有的逻辑系统的基础上,通过对认知概念逻辑性质的分析,引入合适的逻辑算子和相应的逻辑概念而建立起来的。由于主体间的交流和互动很多是建立在群体知识的基础之上的,郭美云博士中建构的静态认知逻