Semantic constructions for belief base contraction: Partial meet vs smooth kernel

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:	Computer Science & Informatics
ISBN:	9781956792058
ISSN:	2334-1033
Related URLs:	Organisation
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