期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
格值命题逻辑系统L9P(X)中的自动推理算法 被引量：5
1
作者 李晓冰 邱小平 徐扬 《计算机工程与应用》 CSCD 北大核心 2008年第10期6-9,共4页
给出了格值命题逻辑系统L9P(X)上的放缩原理和放缩归结原理,基于放缩归结原理,给出了一种判断L9P(X)上子句集S为M-可满足的自动推理算法(这里M为L9上的中界元),并证明了其可靠性和完备性。
关键词 中界元 格值命题逻辑系统 归结自动推理 放缩归结原理 自动推理算法
下载PDF
格值命题逻辑系统L_(2n+1)P(X)中基于半正则广义文字的自动推理算法 被引量：8
2
作者 李晓冰 邱小平 徐扬 《模糊系统与数学》 CSCD 北大核心 2009年第4期21-26,共6页
在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L... 在格值命题逻辑系统L2n+1P(X)上,提出了半正则的正广义文字和半正则的负广义文字的概念,进一步给出了半正则广义子句和半正则广义子句集的定义,详细地讨论了L2n+1P(X)上以中界元M为归结水平的半正则广义文字之间的M-归结性,最后,给出了L2n+1P(X)上基于半正则广义文字的归结水平为M的归结自动推理算法,并验证了其可靠性和完备性。 展开更多
关键词 半正则的广义文字 中界元 格值命题逻辑系统 归结自动推理 自动推理算法
下载PDF
重言衍推系统的试探法自动证明
3
作者 郭远华 曾振柄 《计算机应用与软件》 CSCD 2009年第9期34-37,45,共5页
提出针对重言衍推系统的模仿人类思维方式的生成可读证明的算法:试探法。试探法将待证的命题逐步分解成子命题并构造一颗证明树,对重言衍推系统中的定理证明取得了较好的效果。
关键词 重言衍推 自动推理 可读证明 证明树 试探法
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部