Repository logo
 
Publication

On the logic of theory change: iteration of expansion

2018Journal article Open access
Simple item page
dc.contributor.authorFermé, Eduardo
dc.contributor.authorWassermann, Renata
dc.date.accessioned2021-05-27T11:27:39Z
dc.date.available2021-05-27T11:27:39Z
dc.date.issued2018
dc.description.abstractConstructing models that allow for iterated changes is one of the most studied problems in the literature on belief change. However, up to now, iteration of expansion was only studied as a special case of consistent revision and, as far we know, there is no work in the literature that deals with expansions into inconsistency in a supraclassical framework. In this paper, we provide a semantics for iterated expansion, as well as its axiomatic characterization. We extend the model to two well-known families of iterated belief change (natural and lexicographic). Iteration of expansion can be combined with existent models of iteration of revision and contraction. Since we are able to accommodate different inconsistent belief states, iteration of expansion allows us to define new belief change functions that are currently only defined for belief bases: semi-revision, external revision, as well as consolidation.pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationFermé, E., & Wassermann, R. (2018). On the logic of theory change: iteration of expansion. Journal of the Brazilian Computer Society, 24(1), 1-9.pt_PT
dc.identifier.doi10.1186/s13173-018-0072-4pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.13/3442
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherSpringer Openpt_PT
dc.relationModelos de revisão de bases de crenças para fusão de ontologias
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectBelief changept_PT
dc.subjectBelief statespt_PT
dc.subjectAGMpt_PT
dc.subjectIterationpt_PT
dc.subject.pt_PT
dc.subjectFaculdade de Ciências Exatas e da Engenhariapt_PT
dc.titleOn the logic of theory change: iteration of expansionpt_PT
dc.typejournal article
dspace.entity.typePublication
oaire.awardTitleModelos de revisão de bases de crenças para fusão de ontologias
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/5876/UID%2FCEC%2F04516%2F2013/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/OE/SFRH%2FBSAB%2F127790%2F2016/PT
oaire.citation.endPage9pt_PT
oaire.citation.issue1pt_PT
oaire.citation.startPage1pt_PT
oaire.citation.titleJournal of the Brazilian Computer Societypt_PT
oaire.citation.volume24pt_PT
oaire.fundingStream5876
oaire.fundingStreamOE
person.familyNameFermé
person.familyNameWassermann
person.givenNameEduardo
person.givenNameRenata
person.identifierhttps://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl
person.identifier.ciencia-idC515-D92F-8F54
person.identifier.orcid0000-0002-9618-2421
person.identifier.orcid0000-0001-8065-1433
person.identifier.ridG-2873-2013
person.identifier.scopus-author-id6507544015
person.identifier.scopus-author-id8338743500
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.nameFundação para a Ciência e a Tecnologia
project.funder.nameFundação para a Ciência e a Tecnologia
rcaap.rightsopenAccesspt_PT
rcaap.typearticlept_PT
relation.isAuthorOfPublicationdbd2982b-b171-4458-b280-5bf0569ca5f2
relation.isAuthorOfPublication165f198f-fc68-48de-b5c3-8e8e10c1a0ad
relation.isAuthorOfPublication.latestForDiscovery165f198f-fc68-48de-b5c3-8e8e10c1a0ad
relation.isProjectOfPublication04933815-92a2-4373-8395-4005f98a0e88
relation.isProjectOfPublication9bc97f81-1c0f-4f1a-97b5-5e1fc4bb9db1
relation.isProjectOfPublication.latestForDiscovery9bc97f81-1c0f-4f1a-97b5-5e1fc4bb9db1

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
On the logic of theory change iteration of expansion.pdf
Size:
847.45 KB
Format:
Adobe Portable Document Format
Download

Collections

Artigos em revistas internacionais