动态谓词逻辑相关论文
话语表现理论(Discourse Representation Theory,DRT)是由Hans Kamp发展起来的适合于自然语言句子序列的语义学理论。DRT增设一个语义......
指代消解是人工智能研究领域的重点和难点内容之一,因而产生了各种各样的指代消解的方法。从逻辑学的角度介绍了十四种指代消解的方......
"皮尔士谜题"由皮尔士(C.S.Peirce)提出,其核心问题在于,一阶逻辑框架内两对表达式真值相同,而它们在自然语言中所对应的句子却不等值......
话语表现理论是形式语义学发展过程中的一道分水岭,人们称其之前的为传统形式语义学。它与传统形式语义学最大的不同就是:后者对句......