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