在缺省逻辑中,关于世界的知识被表示成为一个缺省理论,它是一个由一致的公式集合和一个被称为缺省规则的集合所构成的序对,其中一致的公式集合含有关于世界的在逻辑上是有效的部分信息,它可以通过缺省规则认可那些似乎有理的,但未必是无懈可击的结论来扩大,最终得到一个关于世界的信念的集合。这在缺省逻辑中被Reiter定义为缺省理论的扩充。缺省逻辑本身是基于似然假设的、严格的不完全信息推理,属于静态的推理方法,不能进行带有变化的推理。因此,Antoniou在从动态的角度结合信念修正的思想,定义了缺省理论的删除和修正算子。动态算子的加入提供了随变化进行推理的手段,可以弥补原有缺省逻辑在这方面的不足。基于上述工作,本文给出了带约束的认识缺省理论,通过引入模态词K(知道)和B(相信),对知识和信念加以区分,使其更加符合智能主体的直观,同时通过在缺省理论中引入约束集,对主体的推理行为加以限制。这种认识缺省理论具有良好的理论性质和直观背景,证明了其扩充的存在性和半单调性。同时,本文提出了新知识、有效知识和知识反驳以及新约束和约束反驳的概念及其意义,并讨论了当Agent获得知识和遇到约束变化时,扩充的性质和变化规律,进而提出新扩充的计算过程和有效求解方法;定义了Agent的认识进程,刻画其认识进程的单调性和非单调性,讨论知识集和约束集不断变化的最终结果使Agent得到一个关于某个特定问题的完全认识;最后,本文对修正的缺省理论和认识缺省理论的动态特性进行了比较,分别阐述了各自的特点,并提出了进一步的改进工作。