Default logic generalized and simplified

We provide a description of generalized default logic as a unified formalism for nonmonotonic reasoning. Special attention will be paid to the role of the monotonic logic underlying default reasoning, as well as to the representation opportunities created by the use of assumptions (justifications) in the heads of default rules. On the other hand, it will be shown that even the generalized default logic can be simplified to a formal system that involves only monotonic rules and default assumptions.

• Type: Journal
• Year: 2008
• Where: AMAI
• Authors: Alexander Bochman
• Keywords: AMAI 2008, Artificial Intelligence, Default Reasoning, Generalized Default Logic, Nonmonotonic Reasoning