| Santos Ribeiro Santos, Jandson 2024. Semantic constructions for belief base contraction: Partial meet vs smooth kernel. Presented at: 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2-8 November 2024. Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning. pp. 620-630. 10.24963/kr.2024/58 |
Preview |
PDF
- Accepted Post-Print Version
Download (313kB) | Preview |
Abstract
We introduce novel classes of fully rational contraction operators for belief bases. These operators are founded on a plausibility relation on models, called tracks, that allow distinguishing between suitable and unsuitable models. We obtain three main representation theorems: the first one semantically characterises the class of partial-meet operators, which are related to the rationality postulate of relevance; while the second one semantically characterises the class of smooth kernel contraction operators, which are related to the postulates of core-retainment and relative closure. The third representation theorem semantically characterises the supplementary postulates (conjunction and intersection). We consider logics that are both Tarskian and compact.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Date Type: | Publication |
| Status: | Published |
| Schools: | Schools > Computer Science & Informatics |
| ISBN: | 9781956792058 |
| ISSN: | 2334-1033 |
| Related URLs: | |
| Date of First Compliant Deposit: | 15 August 2024 |
| Date of Acceptance: | 11 July 2024 |
| Last Modified: | 06 Nov 2024 15:58 |
| URI: | https://orca.cardiff.ac.uk/id/eprint/171427 |
Actions (repository staff only)
 |
Edit Item |
Altmetric
Altmetric