Repository logo
 
Publication

Levi and Harper identities for non-prioritized belief base change

2023Journal article Open access
Simple item page
dc.contributor.authorGarapa, Marco
dc.contributor.authorFermé, Eduardo
dc.contributor.authorReis, Maurício D. L.
dc.date.accessioned2023-06-14T12:28:44Z
dc.date.available2023-06-14T12:28:44Z
dc.date.issued2023
dc.description.abstractIn this paper, we investigate the relation between shielded base contraction postulates and credibility-limited (CL) base revision postulates. More precisely, we identify (i) the relation between the postulates satisfied by a shielded base contraction operator and the postulates satisfied by the CL base revision operator that is defined from it by means of the consistency-preserving Levi identity and (ii) the relation between the postulates satisfied by a CL base revision operator and the postulates satisfied by the shielded base contraction operator that is defined from it by means of the Harper identity. Furthermore, we show that the consistency-preserving Levi identity and the Harper identity establish a one-to one correspondence between the twenty classes of shielded base contractions presented in [21] and the twenty classes of credibility-limited base revisions presented in [22].pt_PT
dc.description.versioninfo:eu-repo/semantics/publishedVersionpt_PT
dc.identifier.citationGarapa, M., Fermé, E., & Reis, M. D. (2023). Levi and Harper identities for non-prioritized belief base change. Artificial Intelligence, 319, 103907.pt_PT
dc.identifier.doi10.1016/j.artint.2023.103907pt_PT
dc.identifier.urihttp://hdl.handle.net/10400.13/5228
dc.language.isoengpt_PT
dc.peerreviewedyespt_PT
dc.publisherElsevierpt_PT
dc.relationNOVA Laboratory for Computer Science and Informatics
dc.relationResearch Centre for Mathematics and Applications
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/pt_PT
dc.subjectNon-prioritized belief changept_PT
dc.subjectBelief basespt_PT
dc.subjectBase revisionpt_PT
dc.subjectCredibility-limited base revisionpt_PT
dc.subjectBase contractionpt_PT
dc.subjectConsistency-preserving Levi identitypt_PT
dc.subjectShielded base contractionpt_PT
dc.subjectHarper identitypt_PT
dc.subject.pt_PT
dc.subjectFaculdade de Ciências Exatas e da Engenhariapt_PT
dc.titleLevi and Harper identities for non-prioritized belief base changept_PT
dc.typejournal article
dspace.entity.typePublication
oaire.awardTitleNOVA Laboratory for Computer Science and Informatics
oaire.awardTitleResearch Centre for Mathematics and Applications
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F30990%2F2017/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/3599-PPCDT/PTDC%2FCCI-COM%2F4464%2F2020/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2019/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04674%2F2020/PT
oaire.citation.startPage103907pt_PT
oaire.citation.titleArtificial Intelligencept_PT
oaire.citation.volume319pt_PT
oaire.fundingStream3599-PPCDT
oaire.fundingStream3599-PPCDT
oaire.fundingStream6817 - DCRRNI ID
oaire.fundingStream6817 - DCRRNI ID
person.familyNameGarapa
person.familyNameFermé
person.familyNameReis
person.givenNameMarco
person.givenNameEduardo
person.givenNameMaurício
person.identifierhttps://scholar.google.com/citations?user=Qu6aCR8AAAAJ&hl
person.identifier.ciencia-id2712-ABAA-7FAD
person.identifier.ciencia-idC515-D92F-8F54
person.identifier.ciencia-id881A-A9ED-56DD
person.identifier.orcid0000-0003-3697-1565
person.identifier.orcid0000-0002-9618-2421
person.identifier.orcid0000-0001-7437-8354
person.identifier.scopus-author-id57191524100
person.identifier.scopus-author-id6507544015
person.identifier.scopus-author-id16025753300
project.funder.identifierhttp://doi.org/10.13039/501100001871
project.funder.identifierhttp://doi.org/10.13039/501100001871
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
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.isAuthorOfPublication17ad4b81-ed14-4f2c-9302-0c6fa9125673
relation.isAuthorOfPublicationdbd2982b-b171-4458-b280-5bf0569ca5f2
relation.isAuthorOfPublication6ad739b6-6c65-4385-bde1-71d6047878fe
relation.isAuthorOfPublication.latestForDiscovery17ad4b81-ed14-4f2c-9302-0c6fa9125673
relation.isProjectOfPublication9cf81ce7-2e2d-469d-ba33-9a70d1eb657d
relation.isProjectOfPublication890a3e51-3051-44b0-be55-036c4fab2b00
relation.isProjectOfPublication6ba2835f-91ea-405b-8134-949b529ceb42
relation.isProjectOfPublication2dffc102-a624-4fd1-969d-4e0c3705d84b
relation.isProjectOfPublication.latestForDiscovery2dffc102-a624-4fd1-969d-4e0c3705d84b

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Levi and Harper identities for non-prioritized belief base change.pdf
Size:
620.69 KB
Format:
Adobe Portable Document Format
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Artigos em revistas internacionais