摘要
本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关终止性和正确性问题的一些充要条件与充分条件。对存在的一些问题,待进一步探讨。
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.
出处
《上海第二工业大学学报》
1989年第2期63-66,共4页
Journal of Shanghai Polytechnic University
关键词
知识库
可终止性
正确性
递归规则
knowledge base endability recursive rule-non-logic member
