论文部分内容阅读
本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一些基本思路和方法，重点考察动态认知逻辑是如何完成静态向动态的转换。
从PAL看认知逻辑的动态转换
【摘 要】
：
本文首先介绍动态认知逻辑的发展由来和研究背景。再以动态认知逻辑的的一个基础系统——公开宣告逻辑（public armouncement logic简称PAL）为例。从而介绍动态认知逻辑研究的一
【机 构】
：
北京大学哲学系,西南大学逻辑与智能研究中心重庆400715
【出 处】
：
自然辩证法研究
【发表日期】
：
2006年1期
【基金项目】
：
国家社科规划基金资助课题《现代逻辑在人工智能中的应用研究》的子课题(项目编号:04BZX046)
其他文献
2002年1月～2006年1月，我院收治28例妊娠合并甲亢患者，经精心护理，效果满意。现将护理体会报告如下。1临床资料 本组共有妊娠合并甲亢患者28例，22～35岁，平均26．2岁。初产妇23例，经产妇5
＂家园＂意识在现代社会的背景下,体现为具体的现实的生活家园及抽象的文化的精神家园。好莱坞众多魔幻电影用不同的叙事方式执著地追问＂人由何处来,向何处去＂这一存在论式的命题,
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
互联网时代的信息技术正改变着人们的社会生活、学习、工作模式。大学体育教师同高校中其他学科教师一样面临着教育改革和信息化的冲击影响。通过文献研究、问卷调查,讨论大
北平和平解放已经四十周年了。北平的解放是在党中央、毛主席的正确领导下取得的,是由我军在解放战场上的重大胜利决定的。同时,北平地下党坚强有力的配合也起了十分重要的
2004年6月～2006年12月，我院采用带锁髓内针切开复位治疗胫骨骨折38例，经积极治疗与精心护理，疗效满意。现将术后护理体会报告如下。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
采用化学转化法可同时测定各种水体样品中硝酸盐的氮、氧同位素比值。在弱碱性环境中，镀铜镉粒将硝酸盐还原为亚硝酸盐，然后在弱酸性缓冲体系中叠氮酸根将亚硝酸盐转化为氧化亚