Logo do repositório
 
Publicação

Maps between different kinds of two-level credibility-limited revision operators

2025-07-12Artigo científico Acesso aberto
Ver registo simples
datacite.subject.fosCiências Naturais::Ciências da Computação e da Informação
dc.contributor.authorGarapa, Marco
dc.contributor.authorFermé, Eduardo
dc.contributor.authorReis, Maurício D. L.
dc.contributor.authorGarapa, Marco
dc.contributor.authorFermé, Eduardo
dc.contributor.authorReis, Maurício
dc.date.accessioned2026-08-06T13:27:49Z
dc.date.available2026-08-06T13:27:49Z
dc.date.issued2025-07-12
dc.description.abstract<jats:p> <jats:italic toggle="yes">Two-level credibility-limited revision</jats:italic> is a non-prioritized revision operation. When revising through a two-level credibility-limited revision, two levels of credibility and one level of incredibility are considered. When revising by a sentence at the highest level of credibility, the operator behaves like a standard revision, if the sentence is at the second level of credibility, the revision process results in a standard contraction by the negation of that sentence. If the sentence is not credible, then the original belief set remains unchanged. In this article, we introduce a novel constructive method for two-level credibility-limited revision operators, based on a modified version of entrenchment relations. Additionally, we propose a semantics for this type of operators, based on Grove’s systems of spheres. Furthermore, we present axiomatic characterizations for the newly proposed operators. </jats:p>eng
dc.identifier.citationMarco Garapa, Eduardo Fermé, and Maurício D. L. Reis. 2025. Maps between Different Kinds of Two-Level Credibility-Limited Revision Operators. ACM Trans. Comput. Logic 26, 3, Article 16 (July 2025), 33 pages. https://doi.org/10.1145/3733830
dc.identifier.doi10.1145/3733830
dc.identifier.issn1529-3785
dc.identifier.issn1557-945X
dc.identifier.urihttp://hdl.handle.net/10400.13/7909
dc.language.isoeng
dc.peerreviewedyes
dc.publisherAssociation for Computing Machinery (ACM)
dc.relationPTDC/CCI-COM/4464/2020
dc.relationNOVA Laboratory for Computer Science and Informatics
dc.relationResearch Centre for Mathematics and Applications
dc.relation.ispartofACM Transactions on Computational Logic
dc.rights.urihttp://creativecommons.org/licenses/by/4.0/
dc.subjectComputing methodologies
dc.subjectNonmonotonic
dc.subjectDefault reasoning and belief revision
dc.subjectTheoryof computation
dc.subjectLogic
dc.subjectTwo level credibility
dc.subjectLimited revisions
dc.subjectSystem of spheres
dc.subjectEpistemic entrenchment
dc.subject.
dc.subjectFaculdade de Ciências Exatas e da Engenharia
dc.titleMaps between different kinds of two-level credibility-limited revision operatorseng
dc.typejournal article
dspace.entity.typePublication
oaire.awardNumberPTDC/CCI-COM/4464/2020
oaire.awardNumberUID/CEC/04516/2013
oaire.awardNumberUIDB/04674/2020
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%2F4464%2F2020/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FCEC%2F04516%2F2013/PT
oaire.awardURIinfo:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F04674%2F2020/PT
oaire.citation.issue3
oaire.citation.titleACM Transactions on Computational Logic
oaire.citation.volume26
oaire.fundingStream3599-PPCDT
oaire.fundingStream6817 - DCRRNI ID
oaire.fundingStream6817 - DCRRNI ID
oaire.versionhttp://purl.org/coar/version/c_970fb48d4fbd8a85
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.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
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.isProjectOfPublication890a3e51-3051-44b0-be55-036c4fab2b00
relation.isProjectOfPublicationf9e53ffc-7786-4c3a-b9fc-424f5f88acb2
relation.isProjectOfPublication2dffc102-a624-4fd1-969d-4e0c3705d84b
relation.isProjectOfPublication.latestForDiscovery890a3e51-3051-44b0-be55-036c4fab2b00

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
Maps between Different Kinds of.pdf
Tamanho:
1.63 MB
Formato:
Adobe Portable Document Format
Ver/Abrir
Licença
A mostrar 1 - 1 de 1
Miniatura indisponível
Nome:
license.txt
Tamanho:
4.03 KB
Formato:
Item-specific license agreed upon to submission
Descrição:
Ver/Abrir

Coleções

Artigos em revistas internacionais