使用约化的锁语义归结原理

刘叙华

您当前的位置：

首页 >

文章列表页 >

使用约化的锁语义归结原理

更新时间：2025-12-08

- 使用约化的锁语义归结原理
- Lock-Semantic Resolution Using Reduction
- 电子学报 1983年第2期页码：58-61
- 作者机构：
  
  吉林大学计算机科学系
- 作者简介：
- 基金信息：
- DOI：
  中图分类号：
- 纸质出版：1983
- 稿件说明：
移动端阅览
[1]刘叙华.使用约化的锁语义归结原理[J].电子学报,1983(02):58-61.

Liu Xu-hua. Lock-Semantic Resolution Using Reduction[J]. Acta Electronica Sinica, 1983, (2): 58-61.
[1]刘叙华.使用约化的锁语义归结原理[J].电子学报,1983(02):58-61. DOI：

Liu Xu-hua. Lock-Semantic Resolution Using Reduction[J]. Acta Electronica Sinica, 1983, (2): 58-61. DOI：

摘要

本文在作者以前提出的锁语义归结原理中

使用了约化的手段

以代替通常的归结原理中的取因子手段。并证明了

使用约化的锁语义归结原理（即RLI-归结原理）是完备的。并给出了实现RLI-归结的算法。

Abstract

Instead of factoring in the usual resolution principle

this paper uses reduction in the lock-semantic resolution proposed by the author before.It is proved that the lock-semantic resolution using reduction （RLI-resolution） is complete. An algorithm for performing RLI-resolution is also given.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

暂无数据

使用约化的锁语义归结原理

Lock-Semantic Resolution Using Reduction

DOI：

摘要

Abstract

关键词

Keywords

references