模型论语义相关论文
语义的形式化是自然语言语义计算的必要条件,其基础是戴维森真值条件语义学和蒙太格的模型论语义学。戴维森的目标是用真值条件来......
意图生成是BDI型Agent为实现目标而产生动作序列的过程。验证软件Agent中意图生成的正确性是A-gent编程语言中一个重要的研究问题......
蒙太古语义学(Montague Semantics,简称MS)是用数理逻辑方法研究自然语言的一种形式语义学理论。MS的产生及发展有其深刻的语言学......
在过去的30多年中,特别是近年来,模型论语义学发展成为日益扩大的哲学研究和语言学研究的领域。人们对各类语言设计出形式语义学;......
