Teoría de cambio de creencias y sus aplicaciones sobre estados de conocimiento /
Prefacio: El principal propósito de esta tesis es proveer un panorama claro y amplio acerca de los diferentes conceptos involucrados en la disciplina conocida como Teoría de Cambio de Creencias, remarcando aquellos puntos objetables de la misma y brindando nuevos resultados. Puesto que esta área del...
Guardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | Spanish |
| Publicado: |
1999.
|
| Materias: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| Sumario: | Prefacio: El principal propósito de esta tesis es proveer un panorama claro y amplio acerca de los diferentes conceptos involucrados en la disciplina conocida como Teoría de Cambio de Creencias, remarcando aquellos puntos objetables de la misma y brindando nuevos resultados. Puesto que esta área del conocimiento está fuertemente conectada, entre otras, con la Lógica, Epistemología, Filosofía, Inteligencia Artificial y Ciencias de la Computación, el objetivo de esta tesis es presentar los diferentes conceptos de cambio de creencias y sus posibles aplicaciones. La teoría de cambio de creencias se ocupa del estudio de la dinámica del conocimiento, esto es, la forma en que se actualiza el conocimiento de un agente después de que recibe información nueva. Esta tesis no pretende ser un libro de texto sino dar un marco general para aquellos interesados en el estudio de la teoría de cambio de creencias, mostrando claramente los resultados obtenidos en la misma y dando un marco de referencia a gran parte de la bibliografía existente en el área. Esta tesis está estructurada de la siguiente manera. El Capítulo 1 presenta una introducción a la teoría de cambio de creencias, presentando las motivaciones, y los modelos epistémicos que pueden adoptarse. El general, el marco de trabajo será un lenguaje lógico al menos proposicional. El Capítulo 2 presenta el modelo AGM, principal referente de la teoría de cambio de creencias. Analizaremos las operaciones del modelo AGM (expansiones, contracciones y revisiones) en el nivel de conocimiento, sin dar métodos constructivos salvo para la operación de expansión que no requiere de más elementos que los que brinda la lógica clásica. Las presentaciones son axiomáticas, esto es, se caracterizan las operaciones en términos de postulados. A su vez, se plantean las relaciones existentes entre los postulados para revisión de creencias con condiciones en los sistemas de razonamiento no monótono. En el Capítulo 3 estudiaremos las contracciones. Se definen allí los operadores de partial meet contraction y sus casos particulares: maxichoice contraction y full meet contraction. También se definen las kernel contraction, safe contraction, contracciones basadas en importancia epistémica y contracciones de Levi. Cada uno de los operadores se define a través de postulados (teoremas de representación) y a través de métodos constructivos (dando algoritmos para obtenerlos). También se plantean modelos para iteración de contracciones (esto es, la aplicación repetida de operadores de contracción) así como también modelos para contracciones múltiples (eliminación de más de una creencia). En el Capítulo 4 se presentan las operaciones de revisión priorizadas, en donde la entrada epistémica tiene prioridad sobre la información que compone el conocimiento original. Se distinguen operaciones de cambio sobre conjuntos y sobre bases de creencias. A los métodos de presentación antes mencionados se agrega otra formulación: mediante mundos posibles. Esta presentación, dada en términos semánticos, permite un análisis intuitivo de ciertas propiedades de las operaciones de cambio. En el Capítulo 5 veremos las operaciones de actualización (updating) y borrado (erasure). Este tipo de operaciones permite modelar cambios en el mundo mientras que las dadas anteriormente permiten modelar cambios en el conocimiento. Las revisiones asumen que el mundo donde se desenvuelve un agente es estático; sólo cambia el conocimiento de un agente acerca del mismo. En cambio, las actualizaciones asumen que el mundo es dinámico, esto es, cambia por evolución propia o por la acción de ciertos agentes. Las operaciones de actualización y borrado son las duales de las operaciones de revisión y contracción respectivamente y están definidas en términos semánticos sobre bases de conocimiento finitas. En el Capítulo 6 se describen las operaciones de revisión no priorizadas, esto es, aquellas revisiones en las que la entrada epistémica no tiene absoluta primacía sobre el conocimiento original de un agente. Este tipo de comportamiento es más plausible en la vida real ya que todo agente tiende en forma natural a cuestionar la información externa, más aún cuando la misma contradice su propio conocimiento. En este capítulo se presentan algunos de los operadores de revisión no priorizados, dando caracterizaciones axiomáticas, métodos constructivos y las intuiciones que los sustentan. Los últimos tres capítulos de esta tesis contienen nuevos resultados en teoría de cambio de creencias. En el Capítulo 7 estudiaremos un marco general para operaciones no priorizadas. En particular, se define el operador de revisión con credibilidad limitada, esto es, un operador de revisión que acepta la entrada epistémica siempre y cuando la misma sea parte de un conjunto de sentencias consideradas como "creíbles". Se definen distintas propiedades sobre el conjunto de sentencias creíbles y se dan distintos teoremas de representación para los operadores de cambio formulados. Este trabajo fue realizado en conjunto con otros investigadores del área. En el Capítulo 8 se define un operador de revisión no priorizado denominado revisión mediante explicaciones, el cual asume que la entrada epistémica debe estar sustentada en una explicación. La explicación es formulada en términos deductivos y se definen ciertos postulados que deberían satisfacer las mismas. Tal explicación es confrontada con las explicaciones propias que la contradicen y, si es mejor que estas últimas, la misma es aceptada. De lo contrario, se conserva el conjunto de creencias original. Se definen diferentes operadores de cambio, formulando teoremas de representación para cada uno de ellos. Por último, se propone utilizar este tipo de operadores en sistemas argumentativos o teorías default con el objetivo de aplicarlos en sistemas de razonamiento no monótono. El Capítulo 9 aborda cuestiones de implementación de los operadores estudiados y/o formulados en capítulos anteriores. Se analizan ventajas y desventajas de cada propuesta y que ocurre con ciertos postulados cuando se analizan las operaciones en el nivel simbólico y en el nivel de conocimiento. Por último, se presentan brevemente distintas construcciones de operadores de cambio para tratar con lenguajes Horn,lenguajes temporales, etc., y se analiza la complejidad computacional de ciertas operaciones de cambio.// CALIFICACION DEPARTAMENTO DE GRADUADOS Calificación de la defensa oral:Sobresaliente - 10(diez) Fecha:16/6/99 |
|---|---|
| descripción de la copia: | "Tesis de Doctorado en Ciencias de la Computación". |
| Descripción Física: | xx, 404 p. : il. ; 30 cm.. |
| Bibliografía: | Incluye referencias bibliográficas. |