Selecting extended logic programming with the answer-set semantics as a "generic" nonmonotonic logic, we show how that logic defines preferred belief sets and how preferred belief sets allow us to represent and interpret normative statements. Conflicts among program rules (more generally, defaults) give rise to alternative preferred belief sets. Finally, we comment on formalisms which explicitly represent preferences on properties of belief sets. Such formalisms either build preference information directly into rules and modify the semantics of the logic appropriately, or specify preferences on belief sets independently of the mechanism to define them.
Brewka, Gerhard, Niemela, Ilkka
The Seventh International Workshop on Nonmonotonic Reasoning was held in Trento, Italy, on 30 May to 1 June 1998 in conjunction with the Sixth International Conference on the Principles of Knowledge Representation and Reasoning (KR-98). The workshop was sponsored by the Association for the Advancement of Artificial Intelligence, Compulog, Associazione Italiana per l'Intelligenza Artificiale, and the Prolog Development Center.