Residual contraction
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Outros Autores: | |
Tipo de documento: | Artigo |
Idioma: | eng |
Título da fonte: | Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
Texto Completo: | http://hdl.handle.net/10400.13/4115 |
Resumo: | In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contrac tions. We investigate the interrelations in the sense of (strict) inclusion among the class of residual contractions and other classes of well known contraction operators for belief bases. |
id |
RCAP_37033578b54c44a00a08bcadac7c804d |
---|---|
oai_identifier_str |
oai:digituma.uma.pt:10400.13/4115 |
network_acronym_str |
RCAP |
network_name_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository_id_str |
7160 |
spelling |
Residual contractionBelief changeBelief basesContractionAxiomatic characterizationsResidual contractionsResiduums.Faculdade de Ciências Exatas e da EngenhariaIn this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contrac tions. We investigate the interrelations in the sense of (strict) inclusion among the class of residual contractions and other classes of well known contraction operators for belief bases.SpringerDigitUMaGarapa, MarcoReis, Maurício D. L.2022-03-07T09:12:33Z2019-01-01T00:00:00Z2019-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articleapplication/pdfhttp://hdl.handle.net/10400.13/4115engGarapa, M., & Reis, M. D. (2020). Residual contraction. Journal of Logic, Language and Information, 29(2), 255-274. https://doi.org/10.1007/s10849-019-09296-110.1007/s10849-019-09296-1info:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2022-09-05T12:57:17Zoai:digituma.uma.pt:10400.13/4115Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T15:07:56.459171Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse |
dc.title.none.fl_str_mv |
Residual contraction |
title |
Residual contraction |
spellingShingle |
Residual contraction Garapa, Marco Belief change Belief bases Contraction Axiomatic characterizations Residual contractions Residuums . Faculdade de Ciências Exatas e da Engenharia |
title_short |
Residual contraction |
title_full |
Residual contraction |
title_fullStr |
Residual contraction |
title_full_unstemmed |
Residual contraction |
title_sort |
Residual contraction |
author |
Garapa, Marco |
author_facet |
Garapa, Marco Reis, Maurício D. L. |
author_role |
author |
author2 |
Reis, Maurício D. L. |
author2_role |
author |
dc.contributor.none.fl_str_mv |
DigitUMa |
dc.contributor.author.fl_str_mv |
Garapa, Marco Reis, Maurício D. L. |
dc.subject.por.fl_str_mv |
Belief change Belief bases Contraction Axiomatic characterizations Residual contractions Residuums . Faculdade de Ciências Exatas e da Engenharia |
topic |
Belief change Belief bases Contraction Axiomatic characterizations Residual contractions Residuums . Faculdade de Ciências Exatas e da Engenharia |
description |
In this paper, we propose and axiomatically characterize residual contractions, a new kind of contraction operators for belief bases. We establish that the class of partial meet contractions is a strict subclass of the class of residual contractions. We identify an extra condition that may be added to the definition of residual contractions, which is such that the class of residual contractions that satisfy it coincides with the class of partial meet contrac tions. We investigate the interrelations in the sense of (strict) inclusion among the class of residual contractions and other classes of well known contraction operators for belief bases. |
publishDate |
2019 |
dc.date.none.fl_str_mv |
2019-01-01T00:00:00Z 2019-01-01T00:00:00Z 2022-03-07T09:12:33Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/article |
format |
article |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10400.13/4115 |
url |
http://hdl.handle.net/10400.13/4115 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.relation.none.fl_str_mv |
Garapa, M., & Reis, M. D. (2020). Residual contraction. Journal of Logic, Language and Information, 29(2), 255-274. https://doi.org/10.1007/s10849-019-09296-1 10.1007/s10849-019-09296-1 |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Springer |
publisher.none.fl_str_mv |
Springer |
dc.source.none.fl_str_mv |
reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação instacron:RCAAP |
instname_str |
Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
instacron_str |
RCAAP |
institution |
RCAAP |
reponame_str |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
collection |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) |
repository.name.fl_str_mv |
Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação |
repository.mail.fl_str_mv |
|
_version_ |
1799129947582758912 |