Formalización y uso del concepto de relevancia en sistemas lógicos

Ana Gabriela Maguitman.

1997.

132 págs.

Tesis--Universidad Nacional del Sur, 1997.

Resumen: Esta tesis es el resultado de la investigación desarrollada bajo la dirección del Dr. Guillermo R. Simari durante la ejecución del plan de trabajo para obtener el título de Magister en Ciencias de la Computación que otorga el Departamento de Graduados de la Universidad Nacional del Sur, Bahía Blanca. La tarea se ha llevado a cabo en base a una Beca de Iniciación a la Investigación otorgada por la Universidad Nacional del Sur, desde abril de 1995 a junio de 1996, y a una beca de Iniciación a la Investigación otorgada por el Consejo Nacional de Investigaciones Científicas y Técnicas (CONICET), desde julio de 1996 hasta junio de 1998. Esta tesis tiene como objetivo estudiar el papel que juega la noción de relevancia en sistemas lógicos, especialmente en sistemas de razonamiento revisable. En el capítulo 1 presentamos un análisis general de la noción de relevancia, investigamos los orígenes del "problema de la relevancia", y discutimos las acepciones que el término relevancia tiene en distintos entornos. En el capítulo 2 analizamos las características del razonamiento revisable. Presentamos y discutimos un conjunto de principios básicos que cualquier sistema de razonamiento revisable debería respetar: el principio de irrelevancia, el principio de especificidad y el principio de herencia. Clasificamos a los sistemas de razonamiento revisable en sistemas extensionales o fuertes y en sistemas condicionales o débiles, analizamos algunas de las propuestas más representativas para estas clases de sistemas y estudiamos en qué medida estas propuestas se ajustan a los principios presentados. El capítulo 3 está destinado a describir los papeles alternativos que juega la noción de relevancia en sistemas lógicos en general. En la primera sección mostramos la importancia del uso de la noción de relevancia en la representación de conocimiento a través del estudio de distintas estructuras que capturan relaciones de relevancia. En la segunda sección analizamos el uso de la noción de relevancia como factor de eficiencia desde un punto de vista pragmático y desde un punto de vista formal. En la última sección mostramos cómo la noción de relevancia puede ser utilizada como factor de plausibilidad en mecanismos de inferencia inductivos, abductivos y analógicos. En el capítulo 4 estudiamos la noción de relevancia como factor de interferencia. Dicha forma de relevancia surge en distintos contextos: probabilísticos, posibilísticos, condicionales y de dinámica de creencias. Estudiamos distintos trabajos orientados a definir y caracterizar dicha forma de relevancia. En el capítulo 5 analizamos la interacción existente entre los sistemas de razonamiento revisable y la noción de relevancia como factor de interferencia. Un mecanismo de razonamiento revisable debe estar provisto de dos cualidades. Debe ser capaz de dejar de lado conclusiones ante la presencia de nueva evidencia relevante que entre en conflicto con dichas conclusiones, y debe a la vez, ser capaz de preservar sus conclusiones ante nueva información irrelevante para las mismas. Lo primero da lugar a lo que se conoce como el problema de la calificación. Lo segundo, a lo que se conoce como el problema de la calificación inverso. El problema de la calificación y el problema de la calificación inverso conforman lo que llamamos el problema de la (ir)relevancia. Estudiaremos varias propuestas destinadas a resolver dicho problema. En el capítulo 6 presentamos los resultados más importantes de nuestra investigación. En la primera sección, proponemos una caracterización formal de la noción de relevancia como una relación conceptual primitiva. Distinguimos entre relevancia positiva y relevancia negativa. Describimos un sistema que permite razonar acerca de relaciones de relevancia, y presentamos una semántica formal para dicho sistema. Mostramos una colección de reglas de relaciones de relevancia que se desprenden del sistema propuesto. Entre dichas reglas, se encuentran aquellas que representan los principios de irrelevancia, especificidad y herencia. En la segunda sección del capítulo 6, fundamentamos la conjetura de que "es posible basar un sistema de razonamiento revisable en nociones de relevancia", definiendo un sistema de razonamiento revisable en términos del sistema de relaciones de relevancia propuesto. Presentamos un mecanismo computacional para el nuevo sistema de razonamiento revisable e ilustramos el comportamiento del mismo a través de una serie de ejemplos. En el capítulo 7 realizamos un análisis comparativo de las distintas propuestas destinadas a caracterizar la noción de relevancia, enfrentándonos al problema de determinar si es posible dar forma concreta a una noción general y unificada de relevancia. Las distintas propuestas son contrastadas determinando la medida en que las mismas respetan una serie de principios generales de relevancia. Presentamos, en el capítulo 8, nuestras conclusiones y problemas a resolver. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: Sobresaliente - 10 (diez) Fecha: 6/8/97

Incluye referencias bibliográficas.