【摘要】 文章从缺省理论扩充的定义出发,在求扩充前根据缺省规则的特征,把对计算扩充没有影响的规则不予考虑,同时把具有不相容判断的规则分开考虑,也即就是在求扩充前对缺省规则进行适当的简化和分类,通过分析讨论给出了若干简化和分类的原则,从而使计算得以简化。更多还原

【Abstract】 In this paper,by the definition of default extensions,some default rules can not be considered that have no effect to compute extension and can be classified whose justification are inconsistent each other before compute the extension of default theory.that is,this paper classifies and simplifies properly default rules before compute extension,and gives some classification and simplification principles in order to compute simply and easily.更多还原