Results on translating defaults to circumscription
Artificial Intelligence
Hard problems for simple default logics
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Cumulative default logic: in defense of nonmonotonic inference rules
Artificial Intelligence
Artificial Intelligence
Cumulative default logic: finite characterization, algorithms, and complexity
Artificial Intelligence
Translating default logic into standard autoepistemic logic
Journal of the ACM (JACM)
A new research into default logic
Information and Computation
Nonmonotonic Logic: Context-Dependent Reasoning
Nonmonotonic Logic: Context-Dependent Reasoning
On the intertranslatability of non-monotonic logics
Annals of Mathematics and Artificial Intelligence
More on representation theory for default logic
Information and Computation
Towards efficient default reasoning
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |
Normality, semi-normality and prerequisite-freedom are examples of syntactic restrictions proposed for defaults. The expressive powers of Reiter's default logic under the corresponding syntactic restrictions have been analyzed by Janhunen. It is quite natural that to ask if such restrictions affect the expressive power of variants of default logic. In this paper we analyze the expressive powers of semi-normal (SN) variants of Lukaszewicz's default logic (LDL). Among another variants of default logic are cumulative default logic (CDL) by Brewka as well as commitment to assumptions default logic and quasi-default logic (CADL and QDL) by Giordano and Martelli. The expressive powers of these three variants under the corresponding syntactic restrictions are also investigated. The framework is based on the notion of Janhunen's polynomial, faithful and modular (PFM) translation function that maps systematically theories of one nonmonotonic logic to theories of other such that the semantics of theories is preserved. The criteria for evaluating expressive powers of nonmonotonic logics are existence/nonexistence of PFM translations between such nonmonotonic logics. According to the measure provided by PFM translation we point out that semi-normality, in general (allowing defaults possessing no consistency conditions) may decrease expressive power of defaults in LDL and prove that semi-normality does not affect expressiveness of defaults in LDL *(where defaults have at least one consistency condition). For assertion default theories, expressive power may decrease in certain DL variants if syntactic resections (such as semi-normality) are introduced. The reason why such anomalies arise is that consistency conditions of applied defaults are recorded in the support of extensions. To deal with this problem we introduce a weaker notion of PFM translation function, called quasi-PFM translation function (QPFM). According to the measure provided by QPFM translations we analyze expressive powers of semi-normal defaults in CDL, CADL and QDL and establish that, in CDL and QDL, semi-normality does not affect expressiveness of defaults yet. For CADL, unfortunately, semi-normal defaults are less expressive than general defaults even if we adopt a weaker notion of faithfulness than one by Janhunen. Noticing that arbitrary consistency conditions (including empty consistency condition) are allowed for LDL, CADL and QDL, we also consider the possibility of reducing multiple consistency conditions to a single consistency condition.