一阶逻辑推理系统中有关量词推理规则的研究

发布时间：2019-09-19 22:13

【摘要】：通过对两种一阶逻辑自然推理系统中有关量词的推理规则及其成立条件的比较分析,给出形式简单、直观的有关量词的推理规则和合理、严谨的成立条件,从而保证在使用这些规则时,既保留了直观性,又消除了不严格性,并能准确把握成立条件.
【作者单位】： 喀什大学计算机科学与技术学院;上海大学计算机工程与科学学院;
【基金】：国家自然科学基金项目(61561027) 新疆高校科研计划重点项目(XJEDU2014I039)
【分类号】：O141

【相似文献】

相关期刊论文 前10条

1 王国俊;论聚合与推理的顺序[J];陕西师范大学学报(自然科学版);1999年01期

2 肖华勇;田铮;马雷;;数独基于规则的逐步枚举算法设计[J];计算机工程与设计;2010年05期

3 王海林;;SWRL推理规则在平面几何证明中的应用[J];计算机技术与发展;2010年09期

4 莫志浩;中介命题系统MP推理规则的简化[J];解放军理工大学学报(自然科学版);2001年01期

5 莫志浩;中介命题系统MP推理规则的独立性问题[J];解放军理工大学学报(自然科学版);2001年05期

6 邱文;;一阶逻辑推理有效性的探析[J];海南大学学报(自然科学版);2006年02期

7 韩毅;谷文祥;殷明浩;张靖波;陈建;;一种引入推理规则的快速规划识别算法[J];东北师大学报(自然科学版);2007年01期

8 李必祥,汪培庄;二阶 Fuzzy 逻辑推理[J];数学杂志;1982年01期

9 王洁;吴坚;史婕;;基于云模型的推理规则在空气质量预报中的应用[J];数字技术与应用;2011年05期

10 吴茂康;Horn集上RUE-NRF推理规则下的输入半锁反驳[J];科学通报;1988年11期

相关会议论文 前2条

1 赵新生;高善清;邢立新;许梅生;;炮兵军用文书智能处理的主要模型及推理规则[A];计算机模拟与信息技术会议论文集[C];2001年

2 方毅;;牛顿的哲学推理规则之思考[A];第二届中国科技哲学及交叉学科研究生论坛论文集（博士卷）[C];2008年

相关硕士学位论文 前2条

1 谢明慧;基于推理规则的个性化网络教学平台的设计与开发[D];四川师范大学;2015年

2 王其冰;本体查询和推理规则在学科概念建模中的应用[D];华东师范大学;2009年

，

本文编号：2538373