公开更新逻辑

发布时间：2017-11-12 20:20

  本文关键词：公开更新逻辑

  更多相关文章： 公开更新逻辑 群体知识 公共知识 群体隐含知识 公开替换

【摘要】： 公开宣告逻辑中关于现实世界的信息是不变的。但实际上现实世界是时时刻刻充满变化的，主体关于世界本身的信息也相应地会发生变化。这要求主体必须根据这些变化不断地更新自己的知识。因此，如何形式化处理世界信息变化成为近年来动态认知逻辑研究领域中的一个热点问题。 Barteld Kooi[2006]根据H van Ditmarsch[2004b]的思路建立了可以处理世界信息变化的公开宣告逻辑。由于主体之间的影响和互动很多是建立在群体知识的基础上，所以群体知识在动态认知逻辑研究中也是十分重要的。郭美云博士在他[2006]的博士论文中建立了包含公共知识和群体隐含知识的公开宣告逻辑系统PAL(RC，D，E)。本文在他们研究的基础上，通过引入公开替换算子得到PAL(RC，D，E)的一个扩充系统——公开宣告逻辑PUL。 在完全性证明中，我们采用Barteld Kooi[2006]中的证明思路，，通过归约公理将PUL的完全性归约到PAL(RC，D，E)的完全性上。归约的方法不仅使我们很容易得到完全的证明系统而且还使我们很清楚地看到公开替换算子的引入并没有增强语言的表达力。 最后我们对论文进行了总结和讨论。
【学位授予单位】：西南大学
【学位级别】：硕士
【学位授予年份】：2007
【分类号】：B81

【相似文献】

中国重要会议论文全文数据库 前2条

1 熊立文;;逻辑理性与构建和谐社会——“2005·学术前沿论坛”北京市逻辑学会专场综述[A];和谐社会：社会公正与风险管理——2005学术前沿论坛论文集（上卷）[C];2005年

2 吴翠花;万威武;;基于自主创新的组织知识创造机制研究[A];首届中国科技政策与管理学术研讨会2005年论文集（下）[C];2005年

中国重要报纸全文数据库 前10条

1 华东师范大学公共管理学院教育部中学校长培训中心 张俊华;教育宽容的四种境界[N];中国教育报;2008年

2 尹国先;试谈企业形象的塑造[N];中国机电日报;2000年

3 王悦;工程咨询：既要“防守”又要“进攻”[N];经济参考报;2003年

4 张宝生;做好残疾人工作 促进和谐四平建设[N];四平日报;2007年

5 李强;当家做主铸丰碑[N];山西日报;2004年

6 陈华文;凝聚力量搞科研[N];中国矿业报;2002年

7 杨文俊　宋红权;现代金融如何实现人才增值[N];临汾日报;2010年

8 邸永君;清代满蒙翰林群体的历史定位和研究价值[N];中国社会科学院院报;2005年

9 明亮;帮大学生克服创业心理障碍[N];中国劳动保障报;2009年

10 本报记者 王国星　梁潇;商洛血库告急仅仅是一个偶发现象[N];陕西日报;2010年

中国博士学位论文全文数据库 前2条

1 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年

2 吴杨;团队知识创新过程及其管理研究[D];哈尔滨工业大学;2009年

中国硕士学位论文全文数据库 前10条

1 蒋军利;公开更新逻辑[D];西南大学;2007年

2 萧瑶;信念修正逻辑初探[D];西南大学;2008年

3 何飞祥;企业中个体知识共享研究[D];华东师范大学;2006年

4 刘永新;中学教师知识共享的策略研究[D];南京师范大学;2008年

5 钟剑;我国商业银行零售业务风险管理问题研究[D];西南农业大学;2005年

6 肖雪;公共图书馆对弱势群体知识援助的理论与方法[D];武汉大学;2005年

7 鲍贤清;概念图在课堂协作知识建构中的应用研究[D];上海师范大学;2006年

8 廖文来;大坝安全巡视检查信息综合评价方法研究[D];武汉大学;2005年

9 刘芳;“和合型”教研团队构建研究[D];华东师范大学;2010年

10 任之丁;基于知识管理理念的教师网络学习共同体构建[D];河北大学;2010年

本文编号：1177448