一个实用的非单调推理系统

本文描述了应用谓词完备化进行非单调推理的基本过程:规范化、有序性检查、完备化、相容性检查、推理等,并描述了实现的基本模块。其中着重对有序性和相容性进行了探讨,提出了若干命题。