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

时态公开宣告逻辑初探

张丽  
【摘要】: 在描述多主体间相互作用的过程中,公开宣告逻辑关注于在公开宣告发生后主体的认知状态如何改变;认知时态逻辑关注于在主体的相互作用中能够发生哪些信息事件。本文旨在讨论一个能刻画这两个方面的时态公开宣告逻辑系统TPAL,TPAL是结合公开宣告逻辑和认知时态逻辑而形成的逻辑系统。 第一部分:首先讨论了公开宣告逻辑系统PAL,该系统是动态认知逻辑系统DEL的一种特殊情况,它能够刻画在公开宣告这种行为发生之后主体知识的变化。接着,讨论了认知时态逻辑系统ETL,该系统能够描述在一些信息化的过程中知识在时间进程上如何发展,能够对不同情景中的相关交流限制给出刻画。 第二部分:首先在这部分讨论了如何从PAL生成ETL-模型,并给出实例予以说明。接着,讨论了PAL与ETL之间的关系,PAL协议并不能生成所有的认知模型。实际上,这种ETL模型具有一些特殊的性质,并得出一个典型的定理。 第三部分:结合公开宣告逻辑系统和认知时态逻辑系统,将认知模型中的认知状态指派为公开宣告序列集,以讨论时态公开宣告逻辑系统TPAL。但是,TPAL并不能归约到PAL中,因此采用Henkin方法证明该系统是完全的。TPAL与PAL之间的关系不是很显然。 第四部分:对TPAL做出评价,指出不足之出,并指明在未来需要进一步研究的问题。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 郝旭东;李娜;;弗协调单主体认知逻辑系统C_nEK及其扩张[J];重庆工学院学报(社会科学版);2009年02期
2 孙明湘;;论在不同逻辑系统中的排中律[J];中南大学学报(社会科学版);2010年05期
3 赵鹏;姚从军;;三值逻辑系统的分析与比较[J];毕节学院学报;2011年06期
4 黄克剑;个人的意义与历史的逻辑——一种对青年马克思的研究[J];福建论坛(人文社会科学版);1988年05期
5 约翰·范本特姆;;在动态认知逻辑中融合观察与内省(英文)[J];逻辑学研究;2008年01期
6 陈道德;;汉语逻辑研究的新进展——邹崇理汉语逻辑形式化研究述评[J];湖北大学学报(哲学社会科学版);2007年02期
7 霍书全;;现当代多值逻辑的主要技术成果和语义哲学基础[J];自然辩证法通讯;2007年05期
8 秦玮远;;“怪论”之说纠谬[J];南方论刊;2007年09期
9 张晚林;;以牟宗三的逻辑哲学来判解“逻辑可否被修正”[J];自然辩证法通讯;2009年06期
10 周昌乐;蒋旻隽;张志枫;许家佗;;一种应用于中医阴阳五行诊断学说的次协调逻辑(英文)[J];心智与计算;2007年03期
11 曾昭式;墨家逻辑学研究何以可能[J];哲学动态;2005年08期
12 李骏;夏亚峰;兰倩;;n值标准序列逻辑系统中的近似推理理论[J];兰州理工大学学报;2006年02期
13 约翰·克恩斯;;以言行事观念下的句法学、语义学和语用学(英文)[J];逻辑学研究;2009年01期
14 刘中树;张福贵;;论鲁迅辩证思维的逻辑系统[J];社会科学战线;1992年03期
15 梁彪;论逻辑系统[J];哲学研究;2003年09期
16 马佩;;也谈逻辑真理的可错性问题——与王路教授商榷[J];哲学研究;2009年01期
17 郝旭东;;弗协调多主体认知逻辑系统C_nE_mK[J];云南师范大学学报(哲学社会科学版);2010年05期
18 石庆滨;;死后协议[J];当代人;2006年03期
19 耿福智;爱情协议[J];中国校园文学;2003年06期
20 谢翔;;分手协议[J];大众文艺(浪漫);2008年05期
中国重要会议论文全文数据库 前10条
1 张伯海;;在庆祝中国期刊协会、韩国杂志协会“友好交流协议”签订七周年纪念会上的讲话[A];“中国期刊展”研讨会论文集[C];2001年
2 施有春;朱佩冬;;基于无线网络技术的行车定位系统应用实践[A];全国冶金自动化信息网2009年会论文集[C];2009年
3 翟旭平;毕光国;;超宽带技术及其无线媒体接入控制协议[A];现代通信理论与信号处理进展——2003年通信理论与信号处理年会论文集[C];2003年
4 何玉婉;余立建;袁果;;ITS专用短程通信机制研究[A];2006中国西部青年通信学术会议论文集[C];2006年
5 张学立;;从逻辑哲学的观点看金岳霖先生的逻辑信条[A];1997年逻辑研究专辑[C];1997年
6 刘建彪;李长兴;;深圳水务系统虚拟专用网(VPN)的设计与实现[A];中国水利学会2003学术年会论文集[C];2003年
7 黄明强;;软交换技术在3G核心网络中的应用[A];黑龙江省通信学会学术年会论文集[C];2005年
8 李嵩;;第三方安全在线支付协议设计与分析[A];2006中国西部青年通信学术会议论文集[C];2006年
9 贾改琴;唐晓嘉;;知道谓词逻辑系统 K_(S5)+K_(BF)[A];第二届海峡两岸逻辑教学学术会议专辑[C];2006年
10 刘全平;;无线局域网技术及其军事应用[A];四川省通信学会2009年学术年会论文集[C];2009年
中国博士学位论文全文数据库 前10条
1 冯彦波;合并逻辑方法研究[D];南开大学;2010年
2 郭美云;带有群体知识的动态认知逻辑[D];北京大学;2006年
3 郝清赋;逻辑系统动态结构演化研究[D];国防科学技术大学;2006年
4 李璋;网络化控制系统的建模与鲁棒控制问题的研究[D];华中科技大学;2007年
5 陈志德;不经意传输协议[D];复旦大学;2005年
6 李磊;网格化内存服务体系结构研究[D];中国科学院研究生院(计算技术研究所);2008年
7 齐德昱;可扩展的独立分布式应用互操作与集成模型[D];华南理工大学;1999年
8 马骏;基于格蕴涵代数的格值逻辑系统及其自动推理的研究[D];西南交通大学;2002年
9 任颖明;中美世贸协议的法律问题[D];对外经济贸易大学;2002年
10 范红;安全协议形式化分析理论与方法[D];中国人民解放军信息工程大学;2003年
中国硕士学位论文全文数据库 前10条
1 张丽;时态公开宣告逻辑初探[D];西南大学;2009年
2 赵子恺;基于以太网的断路器区域连锁保护研究[D];浙江大学;2005年
3 朱晓丽;QoS组播路由问题研究[D];山东师范大学;2005年
4 唐小婕;基于能耗优化的水声通信网络协议的研究[D];中国海洋大学;2008年
5 殷哲波;基于FPGA的数控系统现场总线技术的研究[D];华中科技大学;2008年
6 张硕;论出口买方信贷协议[D];对外经济贸易大学;2002年
7 赵峰;论环境标志在WTO规则下的运用[D];华东政法学院;2004年
8 刘锐;基于XML的实时协作学习环境的研究与设计[D];华南师范大学;2005年
9 张光华;即时通信息监控系统的技术研究与设计[D];西安电子科技大学;2005年
10 窦传威;基于CAN/LIN总线的智能车身网络系统的设计[D];武汉理工大学;2006年
中国重要报纸全文数据库 前10条
1 本报记者 周静;第四届全国性逻辑系统、智能科学与信息科学学术会议在筑召开[N];贵州日报;2008年
2 重庆市彭水县郁山中学 钟年映;教学并非都得循序渐进[N];中国教育报;2009年
3 陈波;逻辑学的2005年[N];光明日报;2006年
4 张慧英;企业家本身是一种生活方式[N];中国工业报;2003年
5 李健 段晓燕;彼得·德鲁克:计算机是个“低能儿”[N];社会科学报;2002年
6 造造 编写;鲁班软件实战练兵场(25)[N];建筑时报;2007年
7 中国科学院计算技术研究所 常亮史忠植;语义Web的逻辑基础[N];计算机世界;2007年
8 北京大学医学部卫生法学教研室副主任 王岳;细化法规才能更好呵护生命[N];法制日报;2008年
9 ;边增长边付费[N];中国电脑教育报;2004年
10 鹏城;共享光纤虚拟路径保护方式[N];通信产业报;2000年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978