Saved in:
| Main Authors: | , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2410.23913 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866909373751623680 |
|---|---|
| author | Wilson, Nic George, Anne-Marie |
| author_facet | Wilson, Nic George, Anne-Marie |
| contents | We analyse preference inference, through consistency, for general preference languages based on lexicographic models. We identify a property, which we call strong compositionality, that applies for many natural kinds of preference statement, and that allows a greedy algorithm for determining consistency of a set of preference statements. We also consider different natural definitions of optimality, and their relations to each other, for general preference languages based on lexicographic models. Based on our framework, we show that testing consistency, and thus inference, is polynomial for a specific preference language LpqT, which allows strict and non-strict statements, comparisons between outcomes and between partial tuples, both ceteris paribus and strong statements, and their combination. Computing different kinds of optimal sets is also shown to be polynomial; this is backed up by our experimental results. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_23913 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models Wilson, Nic George, Anne-Marie Logic in Computer Science Artificial Intelligence Computational Complexity We analyse preference inference, through consistency, for general preference languages based on lexicographic models. We identify a property, which we call strong compositionality, that applies for many natural kinds of preference statement, and that allows a greedy algorithm for determining consistency of a set of preference statements. We also consider different natural definitions of optimality, and their relations to each other, for general preference languages based on lexicographic models. Based on our framework, we show that testing consistency, and thus inference, is polynomial for a specific preference language LpqT, which allows strict and non-strict statements, comparisons between outcomes and between partial tuples, both ceteris paribus and strong statements, and their combination. Computing different kinds of optimal sets is also shown to be polynomial; this is backed up by our experimental results. |
| title | Efficient Inference and Computation of Optimal Alternatives for Preference Languages Based On Lexicographic Models |
| topic | Logic in Computer Science Artificial Intelligence Computational Complexity |
| url | https://arxiv.org/abs/2410.23913 |