Twenty-Five Years of Preferred Subtheories

In the seminal paper [6], Gerd Brewka argued that ranking a set of default rules without prerequisites, and selecting extensions according to a lexicographic refinement of the inclusion ordering proves to be a natural, simple and efficient way of dealing with the multiple extension (or “subtheories”) problem. This natural idea has been reused, discussed, revisited, reinvented, adapted many times in the AI community and beyond. Preferred subtheories do not only have an interest in default reasoning, but also in reasoning about time, reasoning by analogy, reasoning with compactly represented preferences, judgment aggregation, and voting. They have several variants (but arguably not so many). In this short paper I will say as much as I can about preferred subtheories in sixteen pages. 1 Prioritized Default Theories and Preferred Subtheories Preferred subtheories were introduced in [6] as a way of representing and exploiting priorities between default rules. Their starting point was ...

• Type: Journal
• Year: 2015
• Where: BIRTHDAY
• Authors: Jérôme Lang
• Keywords: Applied Computing, BIRTHDAY 2015