Lock-Semantic Resolution Using Reduction

Liu Xu-hua

您当前的位置：

首页 >

文章列表页 >

Lock-Semantic Resolution Using Reduction

更新时间：2025-12-08

- Lock-Semantic Resolution Using Reduction
- Acta Electronica Sinica Issue 2, Pages: 58-61(1983)
- 作者机构：
  
  吉林大学计算机科学系
- 作者简介：
- 基金信息：
- DOI：
  CLC：
- Published：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

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

No data

Related Author

No data

Related Institution

No data

⁰