在智能推理当中，特别是常识知识推理中，信息的不完备是不可避免的.缺省推理是用来处理不完备信息的一种有效手段.缺省逻辑是缺省推理的一种形式化方法，但是在经典缺省逻辑的推理过程中，即在构造缺省理论的扩展的过程中，会不可避免的舍弃掉很多有价值的知识.而提出贪婪缺省逻辑的目的是能够更多地保留缺省规则中结论公式中蕴含的知识.　　在经典缺省逻辑中，某一缺省规则能否被使用，以及这条缺省规则使用后会产生怎样的结果是由规则本身和缺省理论决定的，并不涉及缺省规则中公式的结构.从而要么该缺省规则的结论公式会被包含于该缺省理论的扩展当中，要么它不被包含于扩展当中.但是缺省规则的结论公式是由原子公式使用逻辑联结词复合得来的，因此在经典缺省逻辑中，如果某条缺省规则不能被使用，那么就会舍弃掉该缺省规则中的结论公式中蕴含的全部信息.为了能够更多地保留缺省规则中结论公式所蕴含的知识，需要将原有的结论公式进行分解，进而来分析组成该公式的原子公式的性质，因此需要建立缺省逻辑的Gentzen型推导系统.并且在此基础上，根据对结论公式中原子公式（或者原子公式的否定）保留程度的不同，进而提出了两种不同的贪婪缺省逻辑.　　本文的创新点主要有:　　建立了缺省逻辑的Gentzen型推导系统，并且证明了由Gentzen型推导系统生成的缺省理论的扩展与经典缺省逻辑中缺省理论的扩展是等价的，即说明了这种新的推导系统的推导能力与之前经典缺省逻辑的推理能力是相同的.给出了一种由R-演算到缺省逻辑的翻译，使得R-定理为对应的缺省理论的扩展.　　提出了贪婪缺省逻辑，并建立了贪婪缺省逻辑的Gentzen型推导系统.定义了贪婪缺省逻辑的证明和GD-扩展.给出了贪婪缺省逻辑的GD-扩展的生成方法，并且证明了贪婪缺省逻辑的GD-扩展具有协调性，存在性和半单调性等性质.　　提出了极度贪婪缺省逻辑，并建立了极度贪婪缺省逻辑的Gentzen型推导系统.定义了极度贪婪缺省逻辑的证明和G2D-扩展.给出了极度贪婪缺省逻辑的G2D-扩展的生成方法，并且证明了极度贪婪缺省逻辑的G2D-扩展具有协调性，存在性和半单调性等性质.　　对缺省逻辑的扩展，贪婪缺省逻辑的GD-扩展和极度贪婪缺省逻辑的G2D-扩展三者进行了比较和分析.证明了贪婪缺省逻辑和极度贪婪缺省逻辑都是不可退化的.因此证明了缺省逻辑，贪婪缺省逻辑和极度贪婪缺省逻辑是三种不同的逻辑.　　本文中的缺省理论都是正则缺省理论.