论文部分内容阅读
本文首先基于极限理论给出ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而而用可能世界的方法刻画出ＡＴＭＳ的环境类。
基于极限理论的ATMS研究
【摘 要】
：
本文首先基于极限理论给出ＡＴＭＳ标号的一种计算方法，并讨论了这种方法计算的标号与ｄｅＫｌｅｅｒ的ＡＴＭＳ标号是一致的；然后将命题逻辑意义下的ＡＴＭＳ模态化，从而而用可能世界的方法刻画出ＡＴＭＳ的环境类。
【机 构】
：
北京航空航天大学计算机科学与工程系
【出 处】
：
计算机学报
【发表日期】
：
1995年9期
其他文献
本文对地理环境不起决定作用的传统观点进行了大胆反思,以大量事实论述了地理环境在一定时期和特定条件下,对人类产生、社会发展以及经济、文化诸方面的某些决定作用,指出完
目的总结胃癌术后吻合口漏的营养支持经验,以提高对吻合口漏的治疗水平。方法对2000年1月至2008年6月,在两院治疗的胃癌切除术后10例食管胃吻合口漏和4例胃空肠吻合口漏共14
【正】 11月6日至10日,全国高校人文地理教学研究会在福建师范大学召开第四届学术年会.来自17个省、市、自治区的33所高等院校以及若干所中等专业学校和普通中学的60多名代表
【正】 金秋十月的最后一天,由中国地理学会主持的人文地理学、经济地理学学术讨论会在上海华东师范大学地理系的协助下于该校图书馆会议厅召开.会上,首先由著名经济地理学家
本文着重论述了在区域发展研究过程中的三个基本特点,提出区域发展研究,首先是目标研究,建立多维目标体系,要运用系统综合方法来求得区域发展的最佳战略和措施,并指出制定区
目的探讨与分析产后出血的原因,临床发病率及治疗措施。方法对我院15年来产后出血118例患者的临床资料进行回顾性分析。结果产后出血的118例患者当中其中剖宫产82例,占产后出