Second,it is proved that default theories having pairwise inconsistent extensions can be represented by a prerequisite-free semi-normal default theory.

• 其次,证明有具配对不相容扩充的缺省理论可由(无前提)(半)正规缺省理论表示。