知识库系统的可终止性与正确性问题  

The Endability and Correctness of KB System

作　　者：蒋川群[1] 

机构地区：[1]上海第二工业大学计算机系

出　　处：《上海第二工业大学学报》1989年第2期63-66,共4页Journal of Shanghai Polytechnic University

摘　　要：本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关终止性和正确性问题的一些充要条件与充分条件。对存在的一些问题,待进一步探讨。The endability and correctness of knowledge-base system are studied in this paper. It includes: system not involving recursive rules, system involving recursive rules, and system involving non-logic member. By means of the strict definations and proofs, some sufficient-neccessary-conditons and sufficient-conditions of the endability and correctness of the KB system are given, though a lot of problem must still be studied.

关 键 词：知识库 可终止性 正确性 递归规则 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]