包邮汉语指代消解及其推理模式研究

序言 引论 **节 为何面向自然语言信息处理的语言学研究离不开逻辑学 一、开启语言学与逻辑学的沟通交流模式 二、交叉研究中存在的主要问题及相应对策 三、逻辑、语言、信息与计算的交叉研究亟待加强 第二节 何为语言表达式的意义 一、语言表达式的意义是逻辑哲学研究的重要课题 二、意义的静态理论 三、意义的动态理论 四、意义的算法理论 1．算法理论的形成过程 2．算法理论的理论预设 3．同义概念与等价算法 4．算法理论的思想脉络 第三节 指代消解的主要方法及其机制 一、指代消解的主要方法 二、指代消解的主要机制 1．中介机制 2．动态约束机制 3．加标机制 4．复合机制 5．范畴机制 **章 动态谓词逻辑 **节 动态谓词逻辑产生的*初动力 第二节 动态谓词逻辑的动态机制 一、合取式和存在量化式的动态解释 二、蕴涵式的动态解释 三、全称量化式、否定式与析取式的动态解释 第三节 动态谓词逻辑的形式系统 一、语法和语义 二、意义、真和等值 三、辖域与约束 四、一些逻辑事实 五、动态后承 第四节 动态谓词逻辑的主要特征 一、组合性的语义特征 二、表达式的测试特征 三、变元的复位特征 第五节 动态谓词逻辑与其相关逻辑的关系 一、动态谓词逻辑与标准谓词逻辑的比较 二、动态谓词逻辑与量化动态逻辑的比较 三、动态谓词逻辑与话语表现理论的比较 第六节 动态谓词逻辑研究展望 …… 第二章 范畴类型逻辑 第三章 自然语言推理研究的简便工具 第四章 基于广义量词理论的直言三段论研究 第五章 基于广义量词理论的广义三段论研究 第六章 模态三段论的有效性与公理化研究 参考文献 后记