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