首页> 中文期刊> 《计算机工程与科学》 >相干命题逻辑系统R的一种演绎生成算法

相干命题逻辑系统R的一种演绎生成算法

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

本文提出了相干命题逻辑系统R的一种演绎生成算法--试探法.该算法采用后向推理法,依据推理规则将待证命题逐步分解成子命题并构造一棵证明树,对系统R中的定理证明取得了较好的效果.

著录项

来源
《计算机工程与科学》 |2008年第12期|105-109|共5页
作者
郭远华; 曾振柄;
展开▼
作者单位

华东师范大学软件学院;

上海;

200062;

华东师范大学软件学院;

上海;

200062;

展开▼
原文格式 PDF
正文语种 chi
中图分类自动推理、机器学习;算法理论;
关键词
相干逻辑; 自动推理; 演绎; 可读证明; 证明树;

相似文献

中文文献
外文文献
专利

1. 一种算子命题逻辑系统及其T-不变量推理算法 [J] . 夏世芬 ,徐扬 . 模糊系统与数学 . 2007,第6期
2. BL命题逻辑系统的强同余关系及演绎系统 [J] . 崔艳丽 ,梁颖 ,吴洪博 . 吉林大学学报（理学版） . 2018,第002期
3. 格值命题逻辑系统中基于滤子的MP归结演绎 [J] . 夏世芬 ,秦应兵 ,徐扬 . 模糊系统与数学 . 2009,第1期
4. 一种相干体快速生成算法 [J] . 马晓晨 ,孔小利 ,王太勇 . 石油地球物理勘探 . 2008,第003期
5. 格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 [J] . 李晓冰 ,邱小平 ,徐扬 . 模糊系统与数学 . 2009,第4期
6. 相干命题逻辑系统R的一种演绎生成算法 [C] . . 2008年全国理论计算机科学学术年会 . 2008
7. n值S-MTL命题逻辑系统中的近似推理理论及三I算法的还原性 [A] . 邓富喜 . 2011

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号