Publication
Relevance, recovery and recuperation: a prelude to ring withdrawal
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | |
| dc.contributor.author | Fermé, Eduardo | |
| dc.contributor.author | Garapa, Marco | |
| dc.contributor.author | Abhaya Nayak | |
| dc.contributor.author | Reis, Maurício D. L. | |
| dc.contributor.author | Reis, Maurício | |
| dc.date.accessioned | 2025-03-31T14:47:18Z | |
| dc.date.available | 2025-03-31T14:47:18Z | |
| dc.date.issued | 2024-03 | |
| dc.description.abstract | In this paper, we introduce recuperative withdrawals, belief change operators that satisfy recuperation, a postulate weaker than recovery, all the AGM postulates for contraction except recovery and another postulate which is a slightly stronger condition than conjunctive inclusion. Furthermore, we present a constructive definition for a class of operators —named ring withdrawals— which are such that the outcome of a ring withdrawal of a belief set 𝐊 by a sentence 𝛼 is obtained by adding to the set of most plausible models ‖𝐊‖ all the worlds which are as close to ‖𝐊‖ as its closest ¬𝛼-worlds. Ring withdrawals satisfy the Lindström and Rabinowicz’s interpolation thesis. We show that the classes of recuperative withdrawals and of ring withdrawals are identical. Additionally we show that the class of ring withdrawals is not contained in and does not contain the class of AGM contractions or the class of severe withdrawals. Finally we present methods for defining an operator of ring withdrawal by means of a severe withdrawal operator and by means of an AGM contraction operator, and vice-versa. | eng |
| dc.identifier.doi | 10.1016/j.ijar.2023.109108 | |
| dc.identifier.issn | 0888-613X | |
| dc.identifier.uri | http://hdl.handle.net/10400.13/7221 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Elsevier BV | |
| dc.relation | NOVA Laboratory for Computer Science and Informatics | |
| dc.relation | Research Centre for Mathematics and Applications | |
| dc.relation.ispartof | International Journal of Approximate Reasoning | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | |
| dc.subject | Belief contraction | |
| dc.subject | Recovery postulate | |
| dc.subject | Groove’s system of spheres | |
| dc.subject | Axiomatic characterization | |
| dc.subject | . | |
| dc.subject | Faculdade de Ciências Exatas e da Engenharia | |
| dc.title | Relevance, recovery and recuperation: a prelude to ring withdrawal | eng |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardTitle | NOVA Laboratory for Computer Science and Informatics | |
| oaire.awardTitle | Research Centre for Mathematics and Applications | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04516%2F2020/PT | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04674%2F2020/PT | |
| oaire.citation.title | International Journal of Approximate Reasoning: Uncertainty in Intelligent Systems | |
| oaire.citation.volume | 166 | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.fundingStream | 6817 - DCRRNI ID | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| person.familyName | Reis | |
| person.givenName | Maurício | |
| person.identifier.ciencia-id | 881A-A9ED-56DD | |
| person.identifier.orcid | 0000-0001-7437-8354 | |
| person.identifier.scopus-author-id | 16025753300 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| relation.isAuthorOfPublication | 6ad739b6-6c65-4385-bde1-71d6047878fe | |
| relation.isAuthorOfPublication.latestForDiscovery | 6ad739b6-6c65-4385-bde1-71d6047878fe | |
| relation.isProjectOfPublication | 84bb6b14-6089-4ca9-be13-bedaef38ba73 | |
| relation.isProjectOfPublication | 2dffc102-a624-4fd1-969d-4e0c3705d84b | |
| relation.isProjectOfPublication.latestForDiscovery | 84bb6b14-6089-4ca9-be13-bedaef38ba73 |