In propositional normal default logic, given a default theory(?, D) and a well-defined ordering of D, there is a method to construct an extension of(?, D) without any injury. To construct a strong extension of(?, D) given a well-defined ordering of D, there may be finite injuries for a default δ∈ D. With approximation deduction ?s in propositional logic, we will show that to construct an extension of(?, D) under a given welldefined ordering of D, there may be infinite injuries for some default δ...

【文章頁數(shù)】：10 頁

【文章目錄】：
1 Introduction
2 Basic definitions in default logic
3 Construction of an extension without injury
4 Construction of a strong extension with finite injury priority method
5 Construction with infinite injury priority method
6 Conclusion



本文編號：3907196