Expressing Preferences Declaratively in Logic-based Agent Languages

Logical Formalizations of Commonsense Reasoning

Volume

Papers from the 2007 AAAI Spring Symposium

Contents

Preference-based reasoning is a form of commonsense reasoning that makes many problems easier to express and sometimes more likely to have a solution. In this paper, we present an approach to introducing preferences among actions in logic-based agent-oriented languages. These preferences are local to the rule where they are defined. To the best of our knowledge, no similar approach has been proposed before, and cannot be easily simulated by means of preferences expressed in a global way. The approach is exemplified by choosing preferred actions to be performed in reaction to an event.