A carregar...
Publicação
Maps between different kinds of two-level credibility-limited revision operators
| Nome: | Descrição: | Tamanho: | Formato: | |
|---|---|---|---|---|
| 1.63 MB | Adobe PDF |
Orientador(es)
Resumo(s)
<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>
Descrição
Palavras-chave
Computing methodologies Nonmonotonic Default reasoning and belief revision Theoryof computation Logic Two level credibility Limited revisions System of spheres Epistemic entrenchment . Faculdade de Ciências Exatas e da Engenharia
Contexto Educativo
Citação
Marco 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
Editora
Association for Computing Machinery (ACM)