The propositional normal default logic and the finite/infini

发布时间：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 δ...

【文章页数】：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