Impediments to Universal Preference-based Default Theories
Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may uniformly be viewed as theories of rational inference, in which the reasoner selects maximally prefer...
| Main Authors: | , |
|---|---|
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149154 |
| _version_ | 1826203960573165568 |
|---|---|
| author | Doyle, Jon Wellman, Michael |
| author_facet | Doyle, Jon Wellman, Michael |
| author_sort | Doyle, Jon |
| collection | MIT |
| description | Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may uniformly be viewed as theories of rational inference, in which the reasoner selects maximally preferred states of belief. Though researchers have noted some cases of apparent conflict between the preferences supported by different theories, it has been hoped that these special theories of reasoning may be combined into a universal logic of nonmonotonic reasoning. We show that the different categories of preferences conflict more than has been realized, and adapt formal results from social choice theory to prove that every universal theory of default reasoning will violate at least one reasonable principle of rational reasoning. Our results can be interpreted as demonstrating that, within the preferential framework, we cannot expect much improvement on the rigid lexicographic priority mechanisms that have been proposed for conflict resolution. |
| first_indexed | 2024-09-23T12:46:10Z |
| id | mit-1721.1/149154 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:46:10Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1491542023-03-30T03:43:21Z Impediments to Universal Preference-based Default Theories Doyle, Jon Wellman, Michael Research on nonmonotonic and default reasoning has identified several important criteria for preferring alternative default inferences. The theories of reasoning based on each of these criteria may uniformly be viewed as theories of rational inference, in which the reasoner selects maximally preferred states of belief. Though researchers have noted some cases of apparent conflict between the preferences supported by different theories, it has been hoped that these special theories of reasoning may be combined into a universal logic of nonmonotonic reasoning. We show that the different categories of preferences conflict more than has been realized, and adapt formal results from social choice theory to prove that every universal theory of default reasoning will violate at least one reasonable principle of rational reasoning. Our results can be interpreted as demonstrating that, within the preferential framework, we cannot expect much improvement on the rigid lexicographic priority mechanisms that have been proposed for conflict resolution. 2023-03-29T14:33:23Z 2023-03-29T14:33:23Z 1989-10 https://hdl.handle.net/1721.1/149154 20943489 MIT-LCS-TM-416 application/pdf |
| spellingShingle | Doyle, Jon Wellman, Michael Impediments to Universal Preference-based Default Theories |
| title | Impediments to Universal Preference-based Default Theories |
| title_full | Impediments to Universal Preference-based Default Theories |
| title_fullStr | Impediments to Universal Preference-based Default Theories |
| title_full_unstemmed | Impediments to Universal Preference-based Default Theories |
| title_short | Impediments to Universal Preference-based Default Theories |
| title_sort | impediments to universal preference based default theories |
| url | https://hdl.handle.net/1721.1/149154 |
| work_keys_str_mv | AT doylejon impedimentstouniversalpreferencebaseddefaulttheories AT wellmanmichael impedimentstouniversalpreferencebaseddefaulttheories |