Abstract

This chapter provides necessary background of Logic Programming (LP) used throughout this book, including semantics of Logic Programs (particularly the Stable Model and the Well-Founded Semantics). The subsequent part of this chapter briefly overview considered LP reasoning features: abduction, preferences, probabilistic LP, updating, LP counterfactuals, and tabling. Moreover, the appropriateness of these features for representing and reasoning about diverse issues of moral facets tackled in this book is discussed.