共查询到18条相似文献,搜索用时 31 毫秒
1.
归纳法推理中的项重写策略 总被引:2,自引:2,他引:0
本文介绍归纳法推理系统中的项重写策略,该策略根据不同的待重写项term,分别运用公理、重写引理、函数定义、项重写规则等重写项term,以期得到一个更接近推理目标的已重写项,这一策略已在微机上用编译LISP语言实现。 相似文献
2.
3.
4.
分元符删除,项推广;无关式删除;交融是归纳法推理系统中一些重要的推理策略,文中逐一介绍了这些推理策略,给出了使用这些推理策略的方法,列出了不同推理策略的编译LISP语言实现。 相似文献
5.
6.
7.
8.
9.
10.
本文介绍归纳法推理系统中的简化策略,系统推理能力在很大程度上取决于系统简化持证公式的能力,本文从定义的类型规定出发,描述了如何计算并利用类型集信息来简化子句,以及如何在运用重写策略的基础上,完成对各种子句的简化,该系统已在微机上用编译LISP语言实现。 相似文献
11.
12.
项重写系统的并行归约可以提高归约的效率,在无共享内存的Transputer网络上实现时要考虑任务的分配,项的拼装,归约任务的控制等问题,其中怎么样减少机间的机内进程的通信慢提高系统效果的关键。本文从控制方式角度讨论在不同拓扑结构的Transputer网络上实现项重写系统的方案,重点介绍基于树形结构下的控制方法,进程安排和通讯形式。 相似文献
13.
14.
本文着重研究重写系统的合流性,通过引入符号测度的概念,本文定义了半正则重写系统,并证明了半正则重写系统的合流性。 相似文献
15.
16.
随着对Web服务的不断深入研究和应用,出于各种服务自动化任务的需要,语义Web服务逐渐成为学术界的研究热点。可以看出这些研究大都基于服务单个操作级别的语义进行推理,而对于多个操作之间的语义联系却很少涉及。提出Web服务的重写模型,通过为Web服务添加操作之间的重写规则语义,将Web服务建模为服务重写系统,利用重写技术中的推理机制,实现对Web服务的分析和挖掘。这个方法可应用于服务的QoS优化,以及服务的组合与融合等方面。 相似文献
17.
18.
程序自动综合中的一个难题是:系统怎样才能自动地发现并构造出所需的子程序.本文中我们提出一种基于部分二阶逻辑的机制,称之为假说演算.我们实现了一个基于此种机制的逻辑程序自动设计的实验系统ALP.当不能由背景知识直接构造出C_i~’S时,ALP能自动导出所需子程序的输入-输出实例并综合出所需子程序. 相似文献