作者：张晓君，吴宝祥著 日期：2021-08-17 01:54:31
本专著以国内外新近相关文献为基础，围绕汉语语篇推理加以研究，并对语篇推理中经常遇到的指代消解、歧义消解和并列关系的语义分析进行了形式化处理。具体内容包括：语篇推理中的语义问题、语篇推理的基础理论广义量词理论、语篇推理的形式之一广义三段论、语篇推理的形式之二模态三段论、动态谓词逻辑、范畴类型逻辑及其应用等。本书适合于逻辑学、语言学的教师和研究生以及对自然语言信息处理、计算机科学中的知识表示和知识推理感兴趣的教师、研究生和科研人员阅读。