论文部分内容阅读
刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方法证明信念逻辑相对于更新语义是框架可靠的和框架完全的.
信念逻辑的更新模型
【摘 要】
：
刻画信念逻辑的关系语义模型中的关系缺乏直观的解释,更新模型用合理性可以给信念逻辑提供一个更直观的解释.更新模型用动态的更新语义刻画信念算子.用有穷模型的方
【机 构】
：
怀化学院政法系,湖南怀化418000
【出 处】
：
2013年全国应用逻辑学术年会
【发表日期】
：
2013年6期
其他文献
三维城市模型(3D City Models,3DCM) 作为城市的三维逼真描述,为城市建设和规划等相关领域提供了具有真实表现力的应用模型。本文针对关系数据库管理三维建模数据的一些问题,通过设计非关系MongoDB数据库系统,实现对纹理、模型数据的快速更新,并支持各类建模数据的快速出入库、快速更新、快速检索,并通过实验支持本文数据库系统的可用性。
旨在探讨参附注射液在小儿病毒性心肌炎中的治疗效果.全部病例进行了心肌酶谱及肌钙蛋白T检查,55/62例进行了核素心肌灌注显象;治疗组主要予参附注射液,观察临床相关症状、体
如今，大数据渗透到了社会生产的各个层面，其特征主要表现为“规模性、多样性、高速性、真实性”。同时，大数据变革也引发了产业商业模式的变革、公共管理方式的改进，带来了社会生
党校是培训轮训领导干部、培养党的理论队伍、学习研究马克思主义、毛泽东思想、邓小平理论的重要阵地,是党员干部增强党性锻炼的熔炉。要深刻理解新形势下加强党性锻炼的重
泛碱现象常出现在建筑施工、园林绿化、道路桥梁、石材等领域中,也是各个领域中一项质量通病,一旦发生泛碱现象便很难处理。因此,本文从泛碱现象成因机理出发,分别深挖对水泥
摘 要：慢行交通系统作为逐渐备受关注的民生问题，在轨道交通建设中承担着极其重要的作用，在昆明这样一个正处于高速发展的城市里，轨道交通的建设为不断提升塑造良好的城市公共交通环境打下了良好的基础，而慢行空间作为轨道交通客流集散的重要途径，慢行系统的合理化建设程度直接体现着轨道交通的服务水平。高度重视慢行系统建设，有序开展相关规划设计工作，积极推进昆明轨道交通慢行系统的改善，辅助并引导城市慢行交通系统的
随着国家日益昌盛,我国的国际地位和人民生活水平都有了很大辅导的提升,这给我国的基础事业建设提供了强大的动力。水利工程对农业、工业发展起到基本的保障作用,对国民经济