On the logic of theory change: incision functions from selection functions

This work present an connection between partial meet contractions (AGM: Alchourrón, Gardenfors and Makinson) and kernel contractions (Hansson). We present a way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions). We present some pr...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Falappa, Marcelo Alejandro, Simari, Guillermo Ricardo
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
ARTIFICIAL INTELLIGENCE
belief revision
AGM theory
partial meet contractions
Kernel contractions
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/21803
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:This work present an connection between partial meet contractions (AGM: Alchourrón, Gardenfors and Makinson) and kernel contractions (Hansson). We present a way to define incision functions (used in kernel contractions) from selection functions (used in partial meet contractions). We present some properties of both kinds of functions and their relations.

Ejemplares similares