首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  完全免费   3篇
  自动化技术   6篇
  2015年   1篇
  2001年   1篇
  1997年   1篇
  1995年   2篇
  1993年   1篇
排序方式: 共有6条查询结果,搜索用时 203 毫秒
1
1.
基于广义归结的定理机器证明系统   总被引:5,自引:1,他引:4       下载免费PDF全文
本文使用C—PROLOG语言在SUN工作站上设计实现了基于广义归结和基于归结的两个定理机器证明系统GRM,RM,证明了《数学原理》中Part1:mathematicallogic中SectionA与SectionB中全部定理(350个).讨论GRM和RM的时、空复杂性,并在实现设计中提出新的全局调度策略及归结式的化简、排序策略,以单子句恒真、恒假的判断代替了广义归结中的自归结,实现了带OCCUR检查的模式匹配.  相似文献
2.
NC线性对称调解   总被引:3,自引:0,他引:3  
本文提出了NC调解方法,证明了NC对称调解与NC归结的结合及广义对称调解与广义归结的结合的线性演绎都是完备的。  相似文献
3.
基于算子模糊逻辑的不确定程度计算   总被引:1,自引:0,他引:1       下载免费PDF全文
程晓春 《软件学报》1997,8(7):525-534
本文提出并比较了在信度语义下,计算算子模糊逻辑中公式(集)模糊程度的3种方法——归结法、广义归结法和TABLEAU方法.  相似文献
4.
本文针对广义归结原理实现时空间复杂度非常大的问题,通过实际分析广义归结方法实现时造成多余归结的实例,提出了几种优化方法,使系统的归结能力显著提高。  相似文献
5.
本文定义了广义Horn集,并在广义Horn集上证明了广义输入归结的完备性;广义输入对称调解的完备性;以及一定条件下的广义输入有向调解的完备性.文中还证明了广义调解法的提升引理.  相似文献
6.
为了处理在不确定性环境下的自动演绎,重点研究了基于自动推理理论的归结方法,其自动推理理论是真值定义在格蕴涵代数(lattice implication algebra,LIA)结构上格值逻辑系统中的。在已有的确定真值水平α二元归结研究的基础上,作为其继续研究和扩展,引入了基于格值命题逻辑系统LP( X )的非子句多元α-有序线性广义归结方法和演绎,这从本质上避免了一个非子句广义归结演绎到规范子句的形式。随后,得到LP( X )中的非子句多元α-有序线性广义归结演绎是可靠和完备的。该研究工作为格值命题逻辑中基于自动推理的归结提供了一个更有效的方法。  相似文献
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号