Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento

Grimaldi, Daniel Alejandro

Registro:

Documento:	Tesis Doctoral
Título:	Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento
Título alternativo:	A study of a family of non-prioritized belief change operators
Autor:	Grimaldi, Daniel Alejandro
Editor:	Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales
Fecha de defensa:	2025-06-06
Fecha en portada:	2025
Grado Obtenido:	Doctorado
Título Obtenido:	Doctor de la Universidad de Buenos Aires en el área de Ciencias de la Computación
Departamento Docente:	Departamento de Computación
Director:	Martínez, María Vanina
Director Asistente:	Rodríguez, Ricardo Oscar
Consejero:	Acevedo, Daniel Germán
Jurado:	Wassermann, Renata; García, Alejandro Javier; Pino Pérez, Ramón A.
Idioma:	Español
Palabras clave:	REPRESENTACION DEL CONOCIMIENTO Y EL RAZONAMIENTO; TEORIA DE CAMBIO DE CREENCIAS; OPERADORES NO PRIORIZADOS; SEMANTICA DE MUNDOS POSIBLES; PERADORES DE CAMBIO MULTIPLEKNOWLEDGE REPRESENTATION AND REASONING; BELIEF CHANGE THEORY; NON-PRIORITIZED OPERATORS; POSSIBLE WORLD SEMANTICS; MULTIPLE CHANGE OPERATORS
Formato:	PDF
Handle:	https://hdl.handle.net/20.500.12110/tesis_n7751_Grimaldi
PDF:	https://bibliotecadigital.exactas.uba.ar/download/tesis/tesis_n7751_Grimaldi.pdf
Registro:	https://bibliotecadigital.exactas.uba.ar/collection/tesis/document/tesis_n7751_Grimaldi
Ubicación:	COM 007751
Derechos de Acceso:	Esta obra puede ser leída, grabada y utilizada con fines de estudio, investigación y docencia. Es necesario el reconocimiento de autoría mediante la cita correspondiente. Grimaldi, Daniel Alejandro. (2025). Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n7751_Grimaldi

Resumen:

Desde la década de 1980, el modelo AGM de operadores revision y contraction en la teoría del cambio de creencias ha sido adoptado en inteligencia artificial para enfrentar el problema de actualizar bases de conocimiento con información potencialmente inconsistente. Este modelo ofrece tanto un enfoque formal, como también una perspectiva computacional realista y una claridad semántica. Con el tiempo, el modelo AGM se ha generalizado para aplicarse en diversos contextos, desarrollando operadores priorizados para entornos dinámicos, como update y erase; operadores de cambios múltiples priorizados, como package y choice; operadores no priorizados, como credibility-limited revision, shielded contraction o filtered revision; e incluso variantes aplicables a lógicas no clásicas. En esta tesis, proponemos un enfoque homogéneo para analizar esta diversidad bajo un mismo marco teórico. Presentaremos una semántica basada en mundos posibles, desvinculada de cualquier lógica subyacente, donde las creencias se representan únicamente como un conjunto de mundos, sin depender de una sintaxis específica. A continuación, adaptaremos varios de los modelos conocidos a este marco, y propondremos una familia de operadores no priorizados que engloba las propuestas anteriores. Finalmente, demostraremos que nuestro marco teórico efectivamente homogeneiza y generaliza las propuestas clásicas, finitas y múltiples que se conocen para la lógica proposicional clásica.

Abstract:

Since the 1980s, the AGM model of revision and contraction operators in belief change theory has been adopted in artificial intelligence to address the problem of updating knowledge bases with potentially inconsistent information. This model provides a formal path to manipulate the update in the presence of inconsistencies in a precise and clear semantic way, combined with a realistic perspective from a computational point of view. Over time, the AGM model has been generalized to apply in various contexts, for example, prioritized operators for dynamic environments, such as update and erase; prioritized multiple change operators, such as package and choice; non-prioritized operators, such as credibility-limited revision, shielded contraction, or filtered revision; and operators for non-classical logics. This thesis proposes a homogeneous approach to analyze this diversity under a unified theoretical framework. We introduce a possible worlds semantic, independent of any underlying logic, where beliefs are represented solely as a set of worlds, without relying on a specific syntax. We then adapt several known models to this framework and propose a family of non-prioritized operators encompassing the previous proposals. Finally, we demonstrate that our theoretical framework effectively homogenizes and generalizes the classical, finite, and multiple proposals known for classical propositional logic.

Citación:

---------- APA ----------

Grimaldi, Daniel Alejandro. (2025). Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento. (Tesis Doctoral. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/tesis_n7751_Grimaldi

---------- CHICAGO ----------

Grimaldi, Daniel Alejandro. "Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento". Tesis Doctoral, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2025.https://hdl.handle.net/20.500.12110/tesis_n7751_Grimaldi

Estadísticas:

Descargas totales desde :

Navegar

Colección

Tesis Doctoral