【摘 要】
：
动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域。20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J. van Benthem首先提出用动态
论文部分内容阅读
动态认知逻辑是近年来兴起不久的非经典逻辑,是一个相对比较新的研究领域。20世纪中后期人们对知识与信念的研究由静态向动态转变,荷兰逻辑学家J. van Benthem首先提出用动态模态逻辑为信息变化提供模型,建议用动态算子来刻画事实的变化,从而宣告动态认知逻辑的产生。到目前,动态认知逻辑得到了快速发展,人们不仅深入地讨论了公共宣告、半公开宣告和秘密告知等行为,而且还研究了行为过程中的信息更新、信念修正,进一步为它们提供了结构模型与形式表达,建立了一系列的形式系统。
其他文献
探究式教学中的“评估”是指学习者在经历了探究活动，并获得超越原有知识和当前观察结果的新的理解后，对探究行为重新审视的过程。评估包括对探究计划的严密性、证据收集的周密
扬琴曲《湘墨》是当代扬琴演奏家刘月宁、陈芸芸创作的一首有着独特艺术风格的扬琴作品,此曲以湘西地区苗族音乐元素作为素材,通过写意的手法描绘了湘西地区的自然风光和人文
为深入贯彻落实创新驱动发展战略,进一步提升原始创新能力,增强治黄科技支撑能力,黄河水利科学研究院于2017年6月试点建设了河流泥沙基础研究团队。该团队由黄河水利科学研究
本文主要阐述了在计算机联锁系统中使用CAN总线作为系统通信网络实现系统故障一安全通信的设计思想。
本文试图通过对至善在个人道德体系及社会道德体系中的价值尺度作用的阐述,力求证明至善无论是过去还是现在直至将来都是人类终极的价值目标
职业教育是劳动力生产和再生产的关键环节,是教育体系与经济社会发展对接的重要纽带。我国职业教育发展正处于转型期,由量的扩张到质的提升阶段,亟需法制的保驾护航。文章在
当前,我们所处的国际、国内环境已经发生了重大变化,人们的生活方式、思想和价值观念也随之发生了变化,这对我们传统的思想政治教育提出了新的要求和挑战。面对新形势、新情
全媒体时代、＂大众麦克风时代＂、＂互联网＋＂……当全社会都在用怀疑的目光打探纸媒寿命的时候,纸媒的转型成为业界学界最为关注的话题。不少人认为,媒介融合已经成为纸媒这场转型的
摘要：食品理化检测是食品质量安全检测的三大基础检测手段之一，是食品科学专业和食品质量与安全专业学生的专业必修课，文章在分析食品科学相关专业学生食品理化检测实验技能薄弱的原因的基础上，总结了在实践中采取的食品理化检测基础实验技能强化训练的内容和方法，以及取得的成效。 关键词：食品理化检测；基础实验技能；强化训练 中图分类号：G642.0 文献标志码：A 文章编号：1674-9324（2013）4
目的：探讨多项多选题教学模式在传染病学病例讨论教学中的应用。方法：随机抽取2008级本科临床医学和预防医学专业各两个班，其中，观察组采用多项多选题模式，对照组采用传统灌输式模