论文部分内容阅读
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。
关于广义量词many的广义三段论推理
【摘 要】
：
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量
【机 构】
：
四川师范大学逻辑与信息研究所,四川师范大学政治教育学院
【出 处】
：
四川师范大学学报：社会科学版
【发表日期】
：
2017年1期
【基金项目】
：
国家社科基金西部项目“面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究”（15XYY012）.
其他文献
在冷轧型材制造过程中,钢带的变形机理非常复杂,如何精准地设计孔型,成为型钢制造的关键环节。孔型设计方法来源于变形理论的研究,但目前来看,理论研究与孔型设计方法之间存
<正>作为"宪法测震仪""应用宪法"的刑诉法,历来是人权保障的晴雨表,一部刑诉法变迁史在某种意义上就是人权保障不断提升的历史,"尊重和保障人权"载入我国2012年刑诉法修正案
介绍了制管厂纵剪生产线的工艺流程及液压控制系统，该液压控制系统根据纵剪生产线生产要求，采用西门子S7—300PLC实施电气控制，并设计了人机界面和MP277触模屏，通过PROFIBUS-DP总
针对我国油气输送管线建设中需要大量耐腐蚀钢管的需求，进行了耐H2S环境腐蚀下的管线钢及输送钢管的研究工作，通过理化性能、氢致开裂、硫化物应力开裂等试验对X60管线钢和螺旋