【摘 要】
：
由于一阶语言表达能力的局限性，本文首先在一阶语言的基础上增加一些算子构成新的语言，使语言的表达能力得到增强，并且给出了该语言下公式的语义解释。其次，使用这种语言对诸如信
论文部分内容阅读
由于一阶语言表达能力的局限性，本文首先在一阶语言的基础上增加一些算子构成新的语言，使语言的表达能力得到增强，并且给出了该语言下公式的语义解释。其次，使用这种语言对诸如信念之类的认知观念进行形式化，然后基于模态逻辑和时态逻辑结构念逻辑；最后基于信念逻辑对Ｄａｖｉｓ－Ｐｕｔｍａｎ方法进行推广来对认知公式进行推理。基于上述四点，提出了一个信念系统模型来模拟抽象思维行为，并在ＶＡＸ－Ⅱ上用ＣＯＭＭＯＮ－Ｌ
其他文献
公路是交通行业的重要载体,为人们的生产生活提供便捷的运输.在公路的施工建设中,桥涵是一种施工形式,对施工技术和质量要求很高.本文分析了公路桥梁涵洞施工质量的制约因素
在公路在进行施工过程中,相关的工作人员需要加强管理,这是充分保障公路质量以及投入使用之后车辆安全行驶的重要因素之一.在公路质量管理工作中,工作人员需要坚持质量控制作
绿色施工是绿色产业及绿色建筑理念的延伸,是文明施工内涵的进一步扩展.绿色施工不仅包括传统意义上的文明施工,同时还需要能够体现出先进施工工艺技术和先进的技术管理理念,
随着我国社会的发展和人们生活水平的提高,人们对于居住环境的要求越来越高.在这样的情况下,室内设计这一提高人们居住生活条件的行业也因此而崛起.
<正> 六届全国人大常委会第九次会议通过的《中华人民共和国会计法》公布之后,市人大常委会财经委员会最近连续召开会议,研究和部署学习和宣传《会计法》的工作。一月二十九
射阳县供销社系统从1986年在大兴供销社进行了全员抵押承包的试点工作,87年以来他们又结合引入竞争机制,在全系统全面推开。到目前为止,所属37个基层企业的八千名干部职工,以
<正> 每当论及社会主义工业企业成本的经济内容时,我们经常都会看到一些财会书籍和文章中,引用了马克思在商品价值构成学说中所创立的一个公式: W=C+V+m,这个公式是成本理论
目的：探讨医护一体化管理模式对临床护士自我效能及工作控制感的影响。方法：2014年1月-2015年1月选择80名注册护理人员进行调查，随机等分为观察组和对照组，观察组实施医护一体化
项目不仅局限于房屋建筑行业,诸如水利水电、交通运输等都需要项目的制定与规划.近年来,我国建筑业发展突飞猛进,各企业间竞争不断,致使企业对于技术的重视程度远大于管理,导
(一) 目前基层畜牧兽医站的药品管理和会计核算方面的现状如何呢?据我们不完全了解,药品资金的混乱状态,突出表现有如下几个方面: 有的兽医站的兽医人员,借个人承包之机,对药