| R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance |
| |
| 作者姓名： | Shen Ningchuan Li Wei |
| |
| 作者单位： | [1]DepartmentofComputerScience,BeijingUniversityofAeronauticsandAstronauticsBeijing100083 [2]DepartmentofCo,BeijingUniversityofAeronauticsandAstronauticsBeijing100083 |
| |
| 摘 要： | Sme concepts used in knowledge base maintenace,such as sequence,new law,user‘s rejection and reconstructions of a knowledge base,are first introduced,and then a framework for extended logic programming(ELP)is given,where an extended logic program is equivalent to a knowledge base.A transition system called R-calculus for ELP is provided.For a given knowledge base and a user‘s rejection,the R-calculus for ELP will deduce best revisions of the base.The soundness and the completeness of the R-calculus for ELP are proved,and the R-calculus for ELP is implemented in Prolog.In addition,the research is compared with other relevant work.
|
| 关 键 词： | 逻辑设计 知识库 维修保养 |
R-calculus for ELP: An operational approach to knowledge base maintenance |
| |
| Shen Ningchuan,Li Wei.R-Calculus for ELP:An Operational Approach to Knowledge Base Maintenance[J].Journal of Computer Science and Technology,1997,12(1):17-28. |
| |
| Authors: | Ningchuan Shen Wei Li |
| |
| Affiliation: | Department of Computer Science; Beijing University of Aeronautics and Astronautics Beijing 100083; E-mail:{shen; liwei}@cs.sebuaa.ac.cn; |
| |
| Abstract: | Some concepts used in knowledge base maintenance, such as sequence, new law, user's rejection and reconstructions of a knowledge base, are first introduced, and then a framework for extended logic programming (ELP) is given,where an extended logic program is equivalent to a knowledge base. A transition system called R-calculus for ELP is provided. For a given knowledge base and a user's rejection, the Rcalculus for ELP will deduce best revisions of the base. The soundness and the completeness of the Rcalculus for ELP are proved, and the Rcalculus for ELP is implemented in Prolog. In addition, the research is compared with other relevan work. |
| |
| Keywords: | Knowledge base maintenance extended logic programming |
| 本文献已被 CNKI 维普 SpringerLink 等数据库收录！ |
| 点击此处可从《计算机科学技术学报》浏览原始摘要信息 |
|
点击此处可从《计算机科学技术学报》下载全文 |
