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

摘要

本文讨论的内容共分三部分:不包含递归规则的系统,包含递归规则的系统,与包含非逻辑设施的系统。通过严格的定义和证明,给出了有关终止性和正确性问题的一些充要条件与充分条件。对存在的一些问题,待进一步探讨。