Publication
On the logic of theory change iteration of KM-update
| datacite.subject.fos | Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática | |
| dc.contributor.author | Fermé, Eduardo | |
| dc.contributor.author | Gonçalves, Sara | |
| dc.date.accessioned | 2025-03-31T14:06:52Z | |
| dc.date.available | 2025-03-31T14:06:52Z | |
| dc.date.issued | 2023-11 | |
| dc.description.abstract | We present a model for iterating the Katsuno and Mendelzon Update (KM-Update) process, which is inspired by models developed for iterated belief revision in the AGM framework. Our model adapts the postulates of belief revision proposed by Darwiche and Pearl, including the independence postulate. We characterize two classes of iterated update operators based on natural and lexicographic revision. The semantics of our models are characterized using the framework of possible worlds. | eng |
| dc.identifier.doi | 10.1016/j.ijar.2023.109005 | |
| dc.identifier.issn | 0888-613X | |
| dc.identifier.uri | http://hdl.handle.net/10400.13/7220 | |
| dc.language.iso | eng | |
| dc.peerreviewed | yes | |
| dc.publisher | Elsevier BV | |
| dc.relation | PTDC/CCI-COM/4464/2020 | |
| dc.relation | UIDB/04516/2020 | |
| dc.relation.ispartof | International Journal of Approximate Reasoning | |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc/4.0/ | |
| dc.subject | Belief change | |
| dc.subject | KM-update | |
| dc.subject | Iteration | |
| dc.subject | Possible world semantics | |
| dc.subject | . | |
| dc.subject | Faculdade de Ciências Exatas e da Engenharia | |
| dc.title | On the logic of theory change iteration of KM-update | |
| dc.type | journal article | |
| dspace.entity.type | Publication | |
| oaire.awardURI | info:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4464%2F2020/PT | |
| oaire.citation.title | International Journal of Approximate Reasoning: Uncertainty in Intelligent Systems | |
| oaire.citation.volume | 162 | |
| oaire.fundingStream | 3599-PPCDT | |
| oaire.version | http://purl.org/coar/version/c_970fb48d4fbd8a85 | |
| project.funder.identifier | http://doi.org/10.13039/501100001871 | |
| project.funder.name | Fundação para a Ciência e a Tecnologia | |
| relation.isProjectOfPublication | 890a3e51-3051-44b0-be55-036c4fab2b00 | |
| relation.isProjectOfPublication.latestForDiscovery | 890a3e51-3051-44b0-be55-036c4fab2b00 |