Sistemas de razonamiento no monótono y su relación con la semántica de las bases de datos deductivas /
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 en el Departamento de Graduados de la Universidad Nacional del Sur, Bahía Blanca. La tar...
Guardado en:
| Otros Autores: | , |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
1995.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Sumario: | 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 en 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 otorgada por el Consejo Nacional de Investigaciones Científicas (CONICET) otorgada desde abril de 1993 hasta marzo de 1995. El objetivo principal de esta tesis es estudiar la relación que existen entre la semántica formal de la Programación en Lógica y Bases de Datos Deductivas y los sistemas propuestos para el Razonamiento No Monótono en el área de la Inteligencia Artificial. Los programas lógicos en los que se emplea la negación tienen una interpretación posible como sistemas no monótonos. A partir de este punto común es posible extender la conexión a otros temas en donde la Programación en Lógica, las Bases de Datos Deductivas y la Representación de Conocimiento interactúan, haciendo posible que los avances en alguno de estas áreas tengan su importancia en las restantes. Se ha incluido en la tesis todos los conceptos necesarios para formalizar estas áreas aparentemente independientes dentro de la Inteligencia Artificial, de manera de hacer que la lectura de la tesis sea autocontenida. A continuación se describe la estructura de la misma, junto con los resultados obtenidos: Capítulo 1 Se introducen los objetivos y el marco en el que se ha desarrollado esta investigación. Capítulo 2 Se presentan los conceptos básicos del cálculo de predicados y su aplicación en la Programación en Lógica, que luego serán utilizados en el resto de la tesis. Salvo por cambios menores en algunos temas, este capítulo sigue los lineamientos de [97], referencia obligada en el tema. Capítulo 3 Se introducen los sistemas más conocidos que se han propuesto para formalizar el Razonamiento No Monótono, poniendo especial énfasis en la relación que existe entre los mismos. El principal aporte en este capítulo es el trabajo de recopilación de artículos y comunicaciones en congresos sobre el tema, la mayoría de fecha muy reciente. Se ha tratado de compatibilizar los enfoques y la notación de cada uno, tarea nada fácil considerando la diversidad y la cantidad de los trabajos. Capítulo 4 En este capítulo se presenta el problema de la respresentación en una semántica declarativa de la negación en la Programación en Lógica, junto con las distintas soluciones propuestas. También en este capítulo se ha efectuado una tarea de recopilación, pero sobre un tema que tiene una base teórica en común ya desarrollada. El principal aporte lo constituye la comparación de las soluciones propuestas. Capítulo 5 Este capítulo describe la relación que existe entre los sistemas de Razonamiento No Monótono y las distintas soluciones al problema de la negación en la Programación en Lógica presentadas en el capítulo anterior. Si bien fundamentado en algunos trabajos previos, en este capítulo se han profundizado los resultados obtenidos corrigiéndose en algunos casos puntos de vista sobre el tema. Capítulo 6 Se enumeran distintas generalizaciones de la Programación en Lógica tradicional basadas en sistemas de Razonamiento No Monótono. En este capítulo se reúne bajo un mismo marco teórico distintos trabajos de muy reciente publicación. Capítulo 7 En este capítulo se presenta un extensión de desarrollo propio que generaliza a la Programación en Lógica con distintas semánticas de la negación, basándose en un sistema de Razonamiento No Monótono en particular. Estos resultados han sido publicados durante el desarrollo de esta tesis en diversos congresos internacionales. Capítulo 8 Se resume toda la investigación desarrollada, juntamente con las distintas líneas de trabajo a seguir. Bibliografía Lista de las referencias bibliográficas del tema, juntamente con un breve comentario personal sobre su contenido. CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral: 10 (diez) p. Fecha: 6/10/95 |
|---|---|
| descripción de la copia: | Director de tesis: Guillermo R. Simari. "Tesis de Magíster en Ciencias de la Computación". |
| Descripción Física: | 265 p. : il. ; 30 cm. |
| Bibliografía: | Incluye referencias bibliográficas. |