Prioritized and Non-prioritized Multiple Change on Belief Bases

In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state an...

ver descrição completa

Detalhes bibliográficos
Autores: Falappa, Marcelo Alejandro, Kern Isberner, Gabriele, Reis, Maurício D. L., Simari, Guillermo Ricardo
Formato: artículo
Estado:Versión publicada
Fecha de publicación:2012
País:Argentina
Recursos:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/66292
Acesso em linha:http://hdl.handle.net/11336/66292
Access Level:acceso abierto
Palavra-chave:Belief Revision
Merging
Multiple Change
Belief Bases
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
Descrição
Resumo:In this article we explore multiple change operators, i.e., operators in which the epistemic input is a set of sentences instead of a single sentence. We propose two types of change: prioritized change, in which the input set is fully accepted, and symmetric change, where both the epistemic state and the epistemic input are equally treated. In both kinds of operators we propose a set of postulates and we present different constructions: kernel changes and partial meet changes.