论文部分内容阅读
这篇论文结合了两种信念收缩的AGM框架的推广，分别为：（1）基础生成收缩，其中信念集的变化是从某个信念基的变化生成的；（2）多元收缩，其中几个句子一次过同时被消去。本文引入了一个结合以上两种推广的运算，“基础生成的多元部分收缩”，并将其进行了公理化刻画。
基础生成的多元部分收缩的一个公理化刻画
【摘 要】
：
这篇论文结合了两种信念收缩的AGM框架的推广，分别为：（1）基础生成收缩，其中信念集的变化是从某个信念基的变化生成的；（2）多元收缩，其中几个句子一次过同时被消去。本文引入了一个结合
【机 构】
：
瑞典皇家理工学院哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2012年1期
其他文献
概称句的形式刻画研究始于人工智能。从条件蕴涵引入开始,到建立概称句词项逻辑的形式系统GAG和Gaa,关于概称句这一系列的研究主要是围绕概称句自身性质的探讨,以试图对于概
人工智能研究中，行动这一概念通常在理论框架中有完全的定义。然而，现实中的行动有时难以完全刻画。智能体需要从过去的经验观察中习得行动的后果。本文提出一种基于时态结构的
胡适一直是自由教育的信奉者和践行者,在北洋时期曾大显身手,独领风骚。1927年后,面对国民党强势推行的党化教育,胡适既公开不表认同,又在实际办学中进行了抵制。当时如其所
随着人们对于生活居住环境要求的不断提高,建筑物对于施工技术的重视程度也达到了前所未有的高度,在一代又一代建筑工作者的努力之下,桩基工程施工技术逐渐得到完善,逐渐在建
医院档案是医院建设的真实记录，是医院建设、管理的重要依据。通过医院档案的形成及内容，可以认识到，加强医院档案管理工作，有利于医院现代化、科学化管理，并充分发挥了档案在医院
伴随着经济发展越来越快,交通业也有了快速的发展,交通量越来越大,在建筑的高速公路中更多的使用到改性沥青的建筑,在国内,改性沥青的开发使用比较晚,不过改性沥青所具有的优
在桥梁工程施工中随着钢绞线的广泛采用，后张预应力工程的设计实施几乎涵盖了城市立交建设、高速公路的每座桥梁，已成为桥梁结构的力学体系主流。本文主要研究了桥梁工程后张预
不知不觉我担任高三(2)班班主任工作已有两个多月了,两个多月的时间里我感到既有喜悦,也有失败的遗憾,但我最大的感受,却是充实,这一点可能是所有班主任的共同心声。管理班级