We identify different kinds of relevance relations between formulas that emerge in the process of belief revision. Informal definitions for alternative notions of relevance are suggested and a set of schemas and intuitive postulates for formalizing these notions are proposed.
The notions of relevance proposed here are shown to be good candidates for modeling the process of belief revision.
Notas
Eje: Programación lógica
Información general
Fecha de exposición:octubre 2001
Fecha de publicación:octubre 1999
Idioma del documento:Inglés
Evento:V Congreso Argentino de Ciencias de la Computación
Institución de origen:Red de Universidades con Carreras en Informática (RedUNCI)
Excepto donde se diga explícitamente, este item se publica bajo la siguiente licencia Creative Commons Attribution-NonCommercial-ShareAlike 2.5 Argentina (CC BY-NC-SA 2.5)