首页> 中文期刊> 《辽宁工业大学学报（自然科学版）》 >基于支持集策略实现定理证明及问题的求解

基于支持集策略实现定理证明及问题的求解

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

人工智能原理中,基于一阶谓词逻辑下的归结推理方法可以在机器上实现"自动定理证明以及问题的求解",实际研究应用表明归结原理中的"支持集策略"是一种简单、高效、完备的实现定理证明和问题求解的好方法.

著录项

来源
《辽宁工业大学学报（自然科学版）》 |2004年第3期|69-70|共2页
作者
邱忠媛; 王艳丽;
展开▼
作者单位

辽宁工学院,数理科学系,辽宁,锦州,121001;

锦州医学院,畜牧兽医学院,辽宁,锦州,121001;

展开▼
原文格式 PDF
正文语种 chi
中图分类人工神经网络与计算;
关键词
归结原理; 一阶谓词; 子句集; 空子句; 支持集策略;

相似文献

中文文献
外文文献
专利

1. 基于支持集策略的归结推理方法的实现及其优化 [J] . 蔡致暖 ,黄乾 ,黄庆彦 . 现代计算机（专业版） . 2005,第005期
2. 故障诊断问题的支持集求解方法研究 [J] . 林孔元 ,刘艳丽 . 天津大学学报 . 1992,第003期
3. 二次函数在闭区间上的最值问题两类轴对称问题的辨析小议辅助角公式的求解策略抽象函数问题分类例析均值不等式的应用与分析对称问题中参数范围的一种求解策略关于解不等式问题的若干策略简化解析几何计算的若干策略“定”，“动”相宜——二次函数在闭区间上的最值问题 [J] . 蔡永强 . 数理化解题研究：高中版 . 2008,第001期
4. 利用动态规划求解最优生产策略问题及Lingo实现 [J] . 蔡鸣晶 . 林区教学 . 2015,第011期
5. 基于问题结构的启发式策略在析取时态问题求解中的应用 [J] . 刘越畅 ,姜云飞 ,钱红 . 计算机研究与发展 . 2008,第011期
6. 基于定理证明的CPU结构形式化验证方法与实现 [C] . 彭方州 ,马殿富 . 全国抗恶劣环境计算机第二十五届学术年会 . 2015
7. 基于分支策略与距离比删除策略的SAT问题求解算法研究 [A] . 王萌 . 2020

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号