Credibility-Limited Revision for Epistemic Spaces

Fuente: arXiv
Guardado en:
Detalles Bibliográficos
Autor principal: Sauerwald, Kai
Formato: Preprint
Publicado: 2024
Materias:
Acceso en línea:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
_version_ 1866916388717723648
author Sauerwald, Kai
author_facet Sauerwald, Kai
contents We consider credibility-limited revision in the framework of belief change for epistemic spaces, permitting inconsistent belief sets and inconsistent beliefs. In this unrestricted setting, the class of credibility-limited revision operators does not include any AGM revision operators. We extend the class of credibility-limited revision operators in a way that all AGM revision operators are included while keeping the original spirit of credibility-limited revision. Extended credibility-limited revision operators are defined axiomatically. A semantic characterization of extended credibility-limited revision operators that employ total preorders on possible worlds is presented.
format Preprint
id arxiv_https___arxiv_org_abs_2409_07119
institution arXiv
publishDate 2024
record_format arxiv
spellingShingle Credibility-Limited Revision for Epistemic Spaces
Sauerwald, Kai
Artificial Intelligence
Logic in Computer Science
We consider credibility-limited revision in the framework of belief change for epistemic spaces, permitting inconsistent belief sets and inconsistent beliefs. In this unrestricted setting, the class of credibility-limited revision operators does not include any AGM revision operators. We extend the class of credibility-limited revision operators in a way that all AGM revision operators are included while keeping the original spirit of credibility-limited revision. Extended credibility-limited revision operators are defined axiomatically. A semantic characterization of extended credibility-limited revision operators that employ total preorders on possible worlds is presented.
title Credibility-Limited Revision for Epistemic Spaces
topic Artificial Intelligence
Logic in Computer Science
url https://arxiv.org/abs/2409.07119