Handbook of Automated Reasoning

Chapter 19

Nonmonotonic Reasoning: Towards Efficient Calculi and Implementations

Jürgen Dix

Ulrich Furbach

Ilkka Niemelä

Gerd Brewka; Mirek Truszczyński Second readers:

Contents

1 General Nonmonotonic Logics  1244

1.1 Herbrand vs. General Models   1246

1.2 Default Logic (DL)   1247

1.3 Circumscription (CIRC)   1250

1.4 Autoepistemic Logic (AEL)   1253

1.5 Rational Closure (${\mathcal{K}}^{\text{rat}}$)   1256

2 Automating General Nonmonotonic Logics  1260

2.1 Decidability and Complexity   1261

2.2 Finitary Characterization   1263

2.3 Algorithms for Default Logic   1267

2.4 Algorithms for Autoepistemic Logic   1275

2.5 Implementing Circumscription   1277

2.6 Implementing ...