语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......

人工智能自１９５６年问世以来，已取得了一些进展，并正在引起越来越多人的重视．它的基础研究难度大，还没有形成完整的理论和体系．目前，人工智能的......

可扩展标记语言(XML)作为Web上数据表示和交换的标准已经获得了巨大的成功，XML数据成了继关系型数据以后最为普遍的一种数据形式。......

意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题......

带否定子目标的ＤＡＴＡＬＯＧ（称为ＤＡＴＡＬＯＧ）是ＤＡＴＡＬＯＧ的一种扩充。本文研究ＤＡＴＡＬＯＧ语义的良基模型的不动点特性。首先，重新考察了稳定性变换，定义了新算子及其不动点。在此......

本文通过将模态算子M引入传统语言提出了一种描述非单调逻辑的方法,并说明了这样的非单调模态逻辑都是语法一敏感的,我们还对一个......

蒙太古语义学(Montague Semantics,简称MS)是用数理逻辑方法研究自然语言的一种形式语义学理论。MS的产生及发展有其深刻的语言学......

在过去的30多年中,特别是近年来,模型论语义学发展成为日益扩大的哲学研究和语言学研究的领域。人们对各类语言设计出形式语义学;......