对基于约束条件的缺省逻辑扩充的注记

基于带约束条件的缺省理论,给出了缺省理论Δ=(D,W,C)的新约束、约束反驳、C-重构和C-认识进程的概念及其意义,主要讨论当约束条件C发生变化(如遇到新的约束或出现与原来约束相矛盾的约束)时扩充E的性质和变化规律,提出了获取新扩充的较简单的求解方法,并证明了相关的定理.在此基础上,本文建立了缺省理论的关于约束的一个动态描述过程,证明了当缺省理论遇到新约束时扩充呈单调变化,遇到约束反驳时呈现非单调性,进一步讨论了当不断添加新约束和约束反驳时,扩充的最终结果为某一特定问题的经验公式集.