论文部分内容阅读
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量词理论和集合论,从语法上证明了14个广义三段论推理的有效性。这一方法为其他广义量词的广义三段论提供了一个简单合理的数学模式。
关于广义量词many的广义三段论推理
【摘 要】
：
三段论在自然语言信息处理和知识推理中占据着突出的地位,它们在自亚里士多德以来的逻辑中也一直扮演着重要作用。我们用广义量词many对传统三段论推理进行了扩展,利用广义量
【机 构】
：
四川师范大学逻辑与信息研究所,四川师范大学政治教育学院
【出 处】
：
四川师范大学学报：社会科学版
【发表日期】
：
2017年1期
【基金项目】
：
国家社科基金西部项目“面向中文信息处理的汉语主谓句的逻辑语义及其推理模式研究”（15XYY012）.
其他文献
在冷轧型材制造过程中,钢带的变形机理非常复杂,如何精准地设计孔型,成为型钢制造的关键环节。孔型设计方法来源于变形理论的研究,但目前来看,理论研究与孔型设计方法之间存
社会主义市场经济体制的确立并运行,给各级政府带来了一个全新的课题,即在领导本区域的改革,发展、稳定工作的过程中,怎样科学地把握自己的行政行为,依法行政,做到行为适度,
唯物辩证法认为,任何事物都是可以互相转化的。先进村党支部与后进村党支部是两个相对的、动态的概念。后进村党支部能够通过整顿、转化、提高,变成先进村党支部,先进村党支
加强对党员领导干部的监督,坚持预防和惩治腐败,是全党的一项重大的政治任务。我们党执政50多年来,党的三代领导集体高度重视党风廉政建设和反腐败工作,在加强领导干部的监督
目的系统评价机器人与腹腔镜手术治疗右侧结肠外科疾病的临床效果。方法计算机检索Pub Med、Cochrane Library、Medline、Embase等数据库,同时根据以上检索所得文献的参考文
<正>作为"宪法测震仪""应用宪法"的刑诉法,历来是人权保障的晴雨表,一部刑诉法变迁史在某种意义上就是人权保障不断提升的历史,"尊重和保障人权"载入我国2012年刑诉法修正案
网络英语教学平台在中国有广阔的市场与前景，但国内外却少有适合中国国情的产品。中国的英语学习平台大多极其简陋，诸多设计功能不能实现，评估系统不客观，甚至不能正常运行。国外
介绍了制管厂纵剪生产线的工艺流程及液压控制系统，该液压控制系统根据纵剪生产线生产要求，采用西门子S7—300PLC实施电气控制，并设计了人机界面和MP277触模屏，通过PROFIBUS-DP总
针对我国油气输送管线建设中需要大量耐腐蚀钢管的需求，进行了耐H2S环境腐蚀下的管线钢及输送钢管的研究工作，通过理化性能、氢致开裂、硫化物应力开裂等试验对X60管线钢和螺旋