Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento
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 enfoqu...
Guardado en:
| Autor principal: | |
|---|---|
| Otros Autores: | , , , , , |
| Formato: | Tesis Libro |
| Lenguaje: | Español |
| Publicado: |
2025
|
| Materias: | |
| Aporte de: | Registro referencial: Solicitar el recurso aquí |
| LEADER | 04854nam a22004937a 4500 | ||
|---|---|---|---|
| 003 | AR-BaUEN | ||
| 005 | 20251120172128.0 | ||
| 008 | 250624s2025 ag |||f m||| 000 0|spa d | ||
| 040 | |a AR-BaUEN |b spa |c AR-BaUEN | ||
| 041 | 0 | |b spa |b eng | |
| 044 | |a ag | ||
| 084 | |a COM 007751 | ||
| 100 | 1 | |a Grimaldi, Daniel Alejandro | |
| 245 | 1 | 0 | |a Estudio lógico-matemático de una familia de operadores de actualización no-priorizados de bases de conocimiento |
| 246 | 3 | 1 | |a A study of a family of non-prioritized belief change operators |
| 260 | |c 2025 | ||
| 300 | |a [7], 151 p. | ||
| 502 | |b Doctor de la Universidad de Buenos Aires en el área de Ciencias de la Computación |c Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales |d 2025-06-06 | ||
| 506 | |2 openaire |e Autorización del autor |f info:eu-repo/semantics/embargoedAccess |g 2025-12-06 | ||
| 518 | |o Fecha de publicación en la Biblioteca Digital FCEN-UBA | ||
| 520 | 3 | |a 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. |l spa | |
| 520 | 3 | |a 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. |l eng | |
| 540 | |2 cc |f https://creativecommons.org/licenses/by-nc-sa/2.5/ar | ||
| 653 | 1 | 0 | |a REPRESENTACION DEL CONOCIMIENTO Y EL RAZONAMIENTO |
| 653 | 1 | 0 | |a TEORIA DE CAMBIO DE CREENCIAS |
| 653 | 1 | 0 | |a OPERADORES NO PRIORIZADOS |
| 653 | 1 | 0 | |a SEMANTICA DE MUNDOS POSIBLES |
| 653 | 1 | 0 | |a PERADORES DE CAMBIO MULTIPLE |
| 690 | 1 | 0 | |a KNOWLEDGE REPRESENTATION AND REASONING |
| 690 | 1 | 0 | |a BELIEF CHANGE THEORY |
| 690 | 1 | 0 | |a NON-PRIORITIZED OPERATORS |
| 690 | 1 | 0 | |a POSSIBLE WORLD SEMANTICS |
| 690 | 1 | 0 | |a MULTIPLE CHANGE OPERATORS |
| 700 | 1 | |a Martínez, María Vanina | |
| 700 | 1 | |a Rodríguez, Ricardo Oscar | |
| 700 | 1 | |a Acevedo, Daniel Germán | |
| 700 | 1 | |a Wassermann, Renata | |
| 700 | 1 | |a García, Alejandro Javier | |
| 700 | 1 | |a Pino Pérez, Ramón A. | |
| 856 | 4 | |q application/pdf | |
| 931 | |a DC | ||
| 961 | |b tesis |c EM |e ND | ||
| 962 | |a info:ar-repo/semantics/tesis doctoral |a info:eu-repo/semantics/doctoralThesis |b info:eu-repo/semantics/publishedVersion | ||
| 999 | |c 107688 | ||