概称句推理研究

　　《概称句推理研究》在对概称句进行合理解释及形式化表达的基础上对包含概称句的推理作了全面研究。作者张立英通过分析概称句的特点，并借助形式化方法把已有研究成果内在的递进研究脉络呈现出来，最终发现双正常语义和涵义语义能同时刻画概称句七个特点。区别于以往建立逻辑系统来刻画单调推理的做法，作者用逻辑系统＋前提集上的排序来刻画这些非单调推理，并以概称句推理研究的结果为基础，进一步分析了概称句推理与归纳推理的关系，指出其中所得的概称句推理研究结果可以用于刻画归纳推理。 此外，《概称句推理研究》还探讨了概称句与语义网理论的关联性。

暂缺《概称句推理研究》作者简介

前言 第一章 绪论 1．1 研究背景 1．2 研究内容和意义 1．2．1 研究内容 1．2．2 研究意义 1．3 整体框架 第二章 概称旬的语义分析述评 2．1 概称句的分类及其特点 2．1．1 概称句分类 2．1．2 概称句的七个特点 2．2 概称句的语义分析述评 2．2．1 成规说 2．2．2 规则说 2．2．3 对全称句作限制 2．2．4 涵义语义 2．2．5概率方向 第三章 结论是事实句的概称句推理的基础逻辑 3．1 结论是事实句的概称句推理研究综述 3．1．l 结论是事实句的概称句推理 3．1．2 “试金石”问题 3．1．3 刻画局部推理的逻辑 3．2 结论是事实句的概称句推理的一个基础逻辑GF 3．2．1 语言LG 3．2．2 语义 3．2．3 基础逻辑G， 3．2．4 GF的可靠性和完全性 第四章 结论是概称句的推理的基础逻辑 4．1 结论是概称句的推理研究综述 4．1．1 结论是概称句的推理研究简述 4．1．2 结论是概称句的推理分类 4．2 通过演绎方式得概称句的推理的一个基础逻辑G 4．2．1 语言LG 4．2．2 语义 4．2．3 基础逻辑GD 4．2．4 GD的可靠性和完全性 4．2．5 与GD平行的其他逻辑系统 4．3 通过归纳方式得概称句的推理的基础 4．3．1 最纯粹的归纳法简单枚举归纳法 4．3．2 简单枚举归纳法的形式表达 4．3．3 通过归纳方式得概称句的推理的逻辑基础 第五章 前提集带排序的概称句推演 5．1 前提集带排序的概称句推演 5．1．1 排序的原因 5．1．2 前提集的一般优先序及优先原则 5．2结论是事实句的概称句推理的优先序 5．2．1 结论是事实句的概称句推理的优先序 5．2．2分析及验证 5．3 通过演绎方式得概称句的推理的优先序 5．3．1 通过演绎方式得概称句的推理的优先序 5．3．2 分析及验证 5．4 通过归纳方式得概称句的推理的优先序 5．4．1 通过归纳方式得概称句的推理的优先序 5．4．2 分析及验证 5．5 三种方式的融合 第六章 概称句推理与归纳推理 6．1 归纳推理研究简述 6．1．1 归纳推理的界定 6．1．2 归纳推理研究发展简述 6．1．3 归纳推理研究中的已有分类 6．2 概称句视角下的归纳推理 6．2．1 语句解释用概称句替代全称句 6．2．2 归纳推理前提集带排序的非单调(概称句)推理 6．3 概称句解释与概率解释比较 6．3．1 表达不确定性的方式 6．3．2 处理范围 6．3．3 应用性 6．3．4小释疑 6．4 概称句推理视角下的休谟问题 6．4．1 休谟问题 6．4．2 概称句视角下的休谟问题 6．5 本章小结 第七章 概称旬与语义网 7．1 从万维网到语义网 7．2 语义网与排序 7．3 概称句与语义网 参考文献 索 引 后记