本书是一部以自然语言指代消解及其相关推理研究为主体内容的论著。作者以国外新近相关文献文基础,借鉴其研究思路和研究方法,并对其研究成果进行了综合、拓展和创新。*篇在较为详尽地论述了国内外指代消解的主要方法和机制的基础上,详细地分析了动态谓词逻辑进行自然语言指代消解的机理;然后概括地阐述了带有受限缩并规则的兰贝克演算的理论基础及其进行自然语言指代消解的机理,*后对自然语言歧义消解进行了简要研究。第二篇在简明地介绍了广义量词理论的基础以及广义量词的重要语义性质的基础上,分别对基于广义量词理论的亚氏三段论、广义三段论和模态三段论进行了形式化的表示及其有效的研究,进而对自然语言语篇推理进行了研究。

提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。