發(fā)布時(shí)間：2024-02-22 20:09

　　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 δ...

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

【文章目錄】：
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



本文編號(hào)：3907196