INTELIGENCIA ARTIFICIAL, 9

Autor: MARTÍN BAUTISTA M. JOSÉ.
Año: 1999.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S. INGENIERÍA INFORMÁTICA.

Resumen: El crecimiento vertiginoso de las comunicaciones y la aprición de la sociedad de la información personalizados a las necesidades de cada usuario. Una de las principales áreas que se encarga de dicha personalización mediante la construcción de perfiles de usuario es el de Filtrado de la Información. Mediante dicho proceso, se evita que la especialización de consulta de usuario a un Sistema de Recuperación de Información (p.ej. Internet) se realice a través de términos. Tras una consulta general realizada al sistema a través de términos relacionados mediante operadores lógicos, el usuario puede evaluar algunos de los documentos recuperados por el sistema, sin tener que volver a introducir términos que concreten más sus preferencias. En esta Tesis se hace uso de dos de las más relevante técnicas de Computación Flexible: la Lógica Difusa y los Algoritmos Genéticos para la resolución de este problema de los perfiles de usuario. Como alternativa y mejora a los modelos clásicos de Recuperación de Información, se presenta un modelo difuso en el que se proponen nuevos esquemas de representación de los términos en los documentos. Así mismo, se extienden las medidas clásicas de exhaustividad y precisión al caso difuso, con la aportación del uso de cardinales para conjuntos difusos que permitan el cálculo de la relevancia de los documentos de la colección. Tanto los nuevos esquemas como las medidas de evaluación del modelo difuso se utilizan en el modelo genético, en el que mediante un Algoritmo Genético, se resuelve el problema de construcción de perfiles de usuario. Dentro de los modelos genéticos distinguimos dos casos atendiendo a la oritenación de la función a optimizar: los modelos orientados a documentos, que optimizan el proceso de recuperación de documentos y los modelos orientados a términos, que optimizan el proceso de representación de los términos en los documentos. Ambos nos permiten extraer de la población del Algoritmo Genético el perfiel de usuario, que optimece el proceso de consulta en futuros accesos del usuario al sistema, al tener un conocimiento específico sobre sus preferencias.

Autor: FELIX LAMAS PAULO.
Año: 1998.
Universidad: SANTIAGO DE COMPOSTELA.
Centro de lectura: FISICA .

Resumen: Uno de los objetivos perseguidos con más ahínco por la Inteligencia Artificial es el de desarrollar modelos y sistemas que resuelvan problemas relativos a la interpretación de un determinado medio, tratando de simular aquellos esquemas de representación y razonamiento inherentes al ser humano. La finalidad es automatizar algunas de las tareas que habitualmente desempeña el hombre, de modo que el resultado no se distinga de aquél que éste hubiera obtenido. En la memoria que aquí se presenta se sigue esta línea en el desarrollo de un nuevo modelo, al que denominaremos perfil temporal borroso, para la representación de conocimiento impreciso y el razonamiento sobre la evolución de un determinado parámetro físico en el tiempo. Un perfil temporal borroso, se define como una red de restricciones entre un conjunto de puntos especialmente significativos sobre la evolución de un determinado parámetro. Dichas restricciones fijan por un lado, la distancia temporal, incremento en valor y pendiente entre cada par de dichos puntos y, por otro lado, permiten modelar el comportamiento del fragmento de evolución comprendido entre ellos. La semántica de esta representación se apoya en la teoría de conjuntos borrosos para la manipulación del conocimiento impreciso descrito en el perfil.

Autor: DOMINGO GARCIA PALOMA.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.

Resumen: Ha habido, en estos últimos tiempos un auge de las formas de enseñanza que contemplan la formación, permanente y recurrente, apareciendo conceptos novedosos como son los de la planificación y personalización de la formación y el auto-aprendizaje. Entre las soluciones a los distintos problemas de la enseñanza actual, la implantación de las nuevas tecnologías en el ámbito educativo puede solventar gran parte de los problemas planteados, ya que permiten que los sistemas de enseñanza lleguen en forma y contenidos a todos los individuos. La aplicación de técnicas de Inteligencia Artificial está contribuyendo a abrir nuevas perspectivas en temas de enseñanza y de aprendizaje. La ventaja de la utilización de técnicas de Inteligencia Artificial en educación es la capacidad de poder expresar explícitamente algunas de las habilidades de razonamiento y conocimiento de los expertos, y explotar dicha experiencia para la formación. Del estudio del estado de la cuestión efectuado en esta tesis se concluye que una de las tecnologías más adecuadas para abordar este nuevo enfoque de la enseñanza son los Tutores Inteligentes, entre los cuales, cabría destacar: no existen herramientas que permitan desarrollar sistemas Tutores Inteligentes a personal no informático para cualquier parcela de conocimiento y que permitan incluir diversas estrategias pedagógicas. En la presente tesis, se ha desarrollado una herramienta para la generación de tutores inteligentes autorregulados basada en modelos. Esta representación permite descomponer y organizar y representar los conocimientos para construir fácilmente tutores inteligentes funcionales por computadora. Se reparan los conocimientos acerca del dominio, de los métodos de inferencia y de los conocimientos pedagógicos, siendo este último independiente de una estrategia en particular. Además permite realizar un diagnóstico continuo de los conocimientos adquiridos por el alumno para alcanzar la autorregulación de los contenidos.

Autor: PRADERA GOMEZ ANA.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.

Resumen: La tesis se enmarca en el campo de investigación de la lógica borrosa y se centra en el estudio de algunos aspectos destacados relativos a la agregación de información en entornos borrosos: se aborda en primer término uno de los problemas más importantes de la lógica borrosa teórica, el problema de cómo extender las operaciones conjuntistas clásicas al ámbito de los subconjuntos borrosos: el segundo problema que se plantea consiste en el estudio del comportamiento, en el sentido conjuntivo/disyuntivo, de los distintos operadores de agregación. Por último; se investiga la posibilidad de usar otro tipo de operadores, además de las habituales normas triangulares, para modelizar la agregación de premisas en los procesos de inferencia borrosos. El estudio se completa con la aplicación de todos los resultados teóricos obtenidos a algunos de los operadores de agregación más comunmente utilizados en la actualidad.

Autor: SANCHIS DE MIGUEL M. ARACELI.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.

Resumen: El objetivo central de este trabajo es el estudio y desarrollo de un sistema de aprendizaje genético basado en Sistemas Clasificadores SC que resuelva los dos problemas principales de los SC: el tiempo de respuesta y la generación de reglas uniformes. Este objetivo puede ser abordado desde dos perspectivas, por un lado la necesidad de encontrar un SC que pueda trabajar con limitaciones en el tiempo de respuesta y por otra parte la búsqueda de una solución a la pérdida de diversidad en las reglas. El primer problema se resuelve mediante el desarrollo de un SC, que se denomina Sistema Clasificador Reactivo (SCR), que pueda aprender en un entorno cambiante con restricciones temporales de respuesta. El segundo problema será resuelto mediante el Sistema Clasificador con Tags (SCT) donde se establece una división de las reglas en grupos de manera que se fuerza su permanencia en el sistema. Así, se pretende obtener una estructura de codificación que permita la evolución genética de estos grupos, de manera que el número y la relación de los mismos sea también aprendida en el proceso de evolución. Los dos SC propuestos han sido validados en entornos adecuados: navegación en robótica y juego de las damas.

Autor: MARQUEZ VILLODRE LLUIS.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: AGUADO CHAO JUAN CARLOS.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Resumen: El propósito de esta tesis ha sido el perfeccionamiento, generalización y realización práctica de los métodos de clasificación basados en conectivos híbridos, para aplicarlos seguidamente a la supervisión de procesos industriales. El trabajo ha sido dividido en cinco secciones. La primera parte, a modo de introducción, recuerda las características de diferentes técnicas de clasificación automática, y explica las ventajas fundamentales del método LAMDA, entre ellas, su capacidad de trabajar simultáneamente con datos cualitativos y cuantitativos, su rapidez, automatismo de funcionamiento, bajo requerimientos de memoria y fácil interpretación de los resultados. Este método empezo a ser diseñado hace unos quince años gracias al esfuerzo de varios autores (Aguilar, López de Mántaras, Piera...). La segunda sección del trabajo se centra en generalizar y completar las capacidades de esta técnica, dando origen a los métodos basados en conectivos híbridos. Tal generalización se emprende en tres direcciones: extensión de la función de posibilidad utilizada para los descriptores cualitativos, completición de la capacidad de exploración automática de los todos resultados posibles, y diseño de medidas difusas de evaluación de estos resultados. Tras estas contribuciones teóricas, la siguiente aportación de la tesis es la programación de un entorno de aprendizaje y rutinas de reconocimiento en tiempo real que además se ofrecen al dominio público vía Internet. Sus características son la flexibilidad, potencia, modularidad (filosofía orientada a objetos), facilidad de uso en varias plataformas y rapidez de funcionamiento. La cuarta parte del trabajo ilustra la bondad del método aplicando las herramientas desarrolladas a la supervisión de un proceso industrial real, logrando un muy buen rendimiento. Por supuesto, la última sección de la tesis se ocupa de apuntar líneas de investigación actuales y futuras que merecen posteriores esfuerzos.

Autor: RIGAU CLARAMUNT GERMAN.
Año: 1998.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.

Autor: RUBIO SANCHEZ JUAN LUIS.
Año: 1998.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS INDUSTRIALES.

Resumen: En la tesis "SISTEMA INTELIGENTE DE MODELADO Y PREDICCION" se presenta una metodología para el modelado de procesos alternativa a las existentes. Dicha metodología se basa en la cooperación de técnicas en contraposición a la utilización de técnicas individuales. En concreto se aborda el problema de modelización desde la perspectiva de un modelado inicial univariante ARIMA que posteriormente se mejora mediante el empleo de redes neuronales. El papel de las redes neuronales consiste en predecir, en la medida de lo posible, los residuos que se generarán en el modelo univariante. Para ello se incorpora a la red información sobre variables exógenas que puedan influir sobre la variable objeto de estudio. La combinación de ambas predicciones mejora los resultados de las técnicas individuales. Igualmente se aportan una serie de técnicas encaminadas a simplificar la tarea de representación de información en redes neuronales y mejorar la calidad del aprendizaje. Dichas técnicas abarcan desde la representación de variables cuantitativas y cualitativas hasta medidas de calidad del conocimiento que la red neuronal ha adquirido. Para la realización del trabajo ha sido necesario desarrollar un programa informático, ejecutable sobre varias plataformas, en entorno gráfico, de fácil portabilidad, que sea capaz de ajustar los diversos modelos que emplea la metodología propuesta. Con objeto de contrastar la validez del método se ha aplicado dicha metodología a la predicción de demanda eléctrica. Para ello se han tomado datos de consumo eléctrico semanales y se ha elaborado inicialmente un modelo ARIMA univariante que posteriormente ha sido mejorado mediante redes neuronales. Los resultados han sido muy satisfactorios.

Autor: ACID CARRILLO SILVIA.
Año: 1998.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.

Resumen: El contenido de la memoria gira entorno al tema del aprendizaje inductivo de redes de creencia, así como de su aplicación al problema de la clasificación. En la memoria se desarrolla una nueva metodología híbrida para la inducción de redes de creencia basada en la detección de independencias y en métrica con técnicas de búsqueda. En la memoria se realiza un estudiode las cuestiones preliminares necesarias para su desarrollo como son el estudio del formalismo de las redes de creencia, una revisión de los métodos de inducción existentes en la literatura hasta el momento y una introducción al problema de la clasificación. Indicar que esta memoria tiene una doble componente: teórica y práctica. En la primera se hace un estudio teórico de los conjuntos d-separadores minimales, lo que constituye un soporte esencial a la metodología aunque su interés práctico trasciende esta memoria. Por otro lado, se presentan diversos algoritmos de aprendizaje basada en esta metodología, de una manera progresiva, en forma de sucesivos refinamientos. Desde la perspectiva de la clasificación se trata de especializar el proceso de inducción, tanto por vía de la adaptación de métodos de inducción genéricos como por vía del diseño específico de métodos orientados a la clasificación. Todos los métodos propuestos y las soluciones alternativas, se encuentran validadas mediante una cuidadosa experimentación.

Autor: AGUIRRE BENGOA ENEKO.
Año: 1998.
Universidad: PAIS VASCO.
Centro de lectura: INFORMATICA .

Resumen: Los humanos decimos de forma natural el punto hasta el que dos cosas cualquiera están relacionadas o no. Denominamos medida de la naturaleza de la relación a esa capacidad, es decir, la capacidad que mide la fuerza que tiene la relación entre dos palabras. Para poder formalizar y llevar a cabo la medida de la naturaleza de la relación se necesitan recursos lexicales estructurados. Las principales aportaciones de esta tesis son las siguientes: 1. Formalización de la naturaleza de la relación entre palabras y conceptos basados en el conocimiento. 2. Definición del método para enriquecer y fortalecer los recursos lexicales estructurados extraídos de diccionarios. La primera aportación se ha concretado en la Densidad Conceptual, que hemos realizado sobre la base de conocimiento lexical WordNet, en inglés. Hemos explicado las ventajas teóricas de nuestra formalización y la hemos evaluado con dos tareas prácticas. Por un lado, en la desambiguación de las palabras, hemos desambiguado todos los nombres de un corpus público en inglés. Hemos comparado la Densidad Conceptual con otros dos métodos, logrando mejores resultados. Por el otro, también la hemos aplicado a la corrección automática de textos ingleses, pero en ese caso con la ayuda de otras fuentes de conocimientos, por ejemplo la gramática reductora, la frecuencia de las palabras y las concurrencias. El sistema que hemos llevado a cabo ha demostrado que es posible escoger sugerencias de correcciones con una gran precisión. En cuanto a la segunda aportación, es sabido que el conocimiento extraído de los diccionarios suele ser limitado. Las jerarquías se construyen entre las palabras, no entre los significados. Además, a las jerarquías extraídas se les ha achacado ser pequeñas y de estructura mediocre en la superficie. Con este trabajo queremos probar que hay un modo de superar esas barreras, accediendo a la base de conocimiento de una lengua por medio de diccionarios bilingues. El complemento fundamental de ese método es la Densidad Conceptual, y lo hemos utilizado para unir las acepciones del diccionario francés Le Plus Petit Larousse con WordNet y para desambiguar y compactar las jerarquías de la base de conocimientos extraídos del propio diccionario. De paso también se han solucionado los problemas que planteaban las entradas definidas por medio de eslabones y relatores especiales. Gracias a este método se podrá agilizar la construcción de recursos léxicos estructurados para lenguas diferentes del inglés, creando lazos biligues entre los recursos de lenguas diferentes.

Autor: VERGARA MORENO EDMUNDO.
Año: 1998.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.

Resumen: Como es de sobra conocido, las metodologías asociadas a los conjuntos difusos se han apoyado prácticamente siempre en las que previamente existían (clásicas), siendo poco frecuente el que los modelos convencionales se traten de resolver a partir de métodos originales del campo difuso. Sin embargo esto no se ha dado con los Sistemas Basados en Reglas, que si han aportado una metodología propia proveniente de los conjuntos y los sistemas difusos. Dentro del campo de la Inteligencia Artificial, y también en otros campos, una de las áreas más provechosas, en diferentes sentidos, es la de los modelos de programación matemática, y dentro de estos, uno de los problemas más relevantes, tanto por sus aplicaciones como por ser un auténtico banco de pruebas teórico, son los problemas de programación lineal. Desde este doble punto de vista, el ámbito en el que se desarrolla este trabajo, que lleva por título Nuevos Criterios de Parada para Algoritmos de Optimización, es el del interfaz entre los Sistemas Basados en Reglas y los Algoritmos de Optimización, concentrado en los criterios de parada de estos algoritmos. Clásicamente los criterios de parada fijan las condiciones de finalización del procedimiento iterativo de un algoritmo, estableciéndose dichos criterios a partir de las características teóricas del problema, del tipo de solución que se busca y del tipo del algoritmo que se utilice, que en definitiva determina un conjunto de referencia, y se detiene cuando se verifica el criterio de parada. La flexibilización de los algoritmos exactos con la introducción de criterios de parada basados en reglas difusas, supone considerar que el conjunto de referencia es un conjunto difuso, y los criterios de parada difusa se fijan en función del grado de pertenencia de los elementos. Estos criterios de parada difusos se aplican en esta Tesis a diferentes algoritmos de problemas clásicos, para lo que el trabajo se desarrolla del siguiente modo. En el primer capítulo se hace un repaso de problemas, métodos y técnicas propios del campo de la Programación Matemática Difusa. En el segundo se introducen los criterios de parada que se van a emplear en lo sucesivo en este contexto, y se aplican al caso lineal, concretando en los algoritmos de punto interior y de Karmarkar. En el tercer capítulo, se desarrollan y aplican criterios de parada basados en reglas difusas a los problemas de la mochila y del viajante de comercio. La memoria termina con la presentación de conclusiones, la exposición de líneas de investigación a desarrollar en el futuro, y la recopilación de las referencias bibliográficas más importantes, empleadas para su confección.

Autor: ELORZA BARBAJERO JORGE.
Año: 1998.
Universidad: PUBLICA DE NAVARRA.
Centro de lectura: CIENCIAS.

Resumen: Análisis de las propiedades de los operadores de consecuencias borrosas y su vinculación con las relaciones binarias borrosas y con los conceptos de sistema clausura y co-clausura, resaltando el estudio algebraico de las diferentes estructuras que originan los conceptos anteriores en el marco de lateoría de retículos y obteniendo distintos teoremas de isomorfía y por tanto de representación entre las citadas estructuras.

Autor: SANTOS DEL RIEGO ANTONINO.
Año: 1998.
Universidad: A CORUÑA.
Centro de lectura: INFORMATICA.

Resumen: El avance producido en los últimos años en el ámbito de la computación e inteligencia artificial permite disponer de un conjunto de técnicas que traten, de una forma experta y consistente, el amplio y complejo dominio de las evaluaciones de impacto ambiental. Las características generales del dominio, de gran tamaño y con una tasa de cambio de los conocimientos elevada, sugiere como adecuada una aproximación de integración entre bases de datos, sistemas expertos y redes de neuronas artificiales. La ausencia de una metodología de integración entre las citadas técnicas, requiere un amplio estudio de diversas metodologías existentes en cada una de las técnicas involucradas, necesario para la consecución de una metodología de integración que incorpore un alto gradod e integridad y consistencia a los sistemas de información resultantes. En general, las capacidades de aprendizaje de las redes de neuronas artificiales unidas a las posibilidades de razonamiento y explicación de los sistemas expertos y a las capacidades de definición y manipulación de grandes cantidades de datos de las bases de datos permiten manejar el complejo dominio de las evaluaciones de impacto ambiental con unas mínimas garantias. En el aspecto técnico, el sistema general incorpora un nivel de abstracción superior basado en reglas de producción que define las hipótesis generales del dominio (acciones causantes de impacto, cruces de efectos y medidas correctoras), y un nivel inferior, con un mecanismo de razonamiento basado en restricciones, que decremente el coste de mantenimiento del sistema. Además, se incorpora una nueva arquitectura de manipulación de redes de neuronas artificiales que considera la integración de las diferentes etapas de los sistemas conexionistas (arquitectoras, conjuntos de entrenamiento, conjuntos de test y en ejecución). Este esquema, que hace un uso masivo de bases de datos, automatiza e incrementa las capacidades de las redes de neuronas artificiales y de los correpondientes conjuntos de entrenamiento y test, facilitando la reutilización modular de los sistemas conexionistas en entornos distribuidos en red.

Autor: VARA ARRIBAS RICARDO.
Año: 1998.
Universidad: A CORUÑA.
Centro de lectura: CIENCIAS ECONOMICAS Y EMPRESARIALES.

Resumen: Se analizan las responsabilidades de los auditores en la detección de errores y fraudes que hayan podido cometer las empresas auditadas. Se revisa la situación internacional en este campo, particularmente la evaluación de los controles internos de las organizaciones como procedimiento de auditoría que pueda garantizar razonablemente que no se han producido errores o fraudes significativos en las cuentas. Desde este punto de vista, las Tecnologías de la Información condicionan totalmente el trabajo que realiza el auditor. Tanto si se considera un reto para la profesión (pues afecta no solo a los errores y fraudes que pueden cometerse sino también a los controles capaces de detectarlos) como si los consideramos una oportunidad tenológica capaz de resolver, precisamente, esos problemas. En particular, se investiga la aplicabilidad de los sistemas expertor en auditoría en general y en la evaluación de los controles internos en particular. Tanto en los Anexos de la Tesis como en disquete adjunto a la misma se exponen tres prototipos originales de sistemas expertos aplicados en este campo, y que han sido desarrollados por el autor con el "shell" XpertRule.

Autor: CUADRADO GAMARRA NURIA.
Año: 1998.
Universidad: COMPLUTENSE DE MADRID.
Centro de lectura: DERECHO.

Resumen: El presente trabajo de investigación plantea una serie de interrogantes en torno a la problematica que surge al aplicar la inteligencia artificial al concreto ambito del derecho. Primero desde bases teoricas y despues haciendo un recorrido por los principales sistemas expertos juridicos que existen en la actualidad, esta tesis doctoral se centra principalmente en la problematica de adaptar el lenguaje juridico a estructuras formalizadas y en el posible desarrollo de los sistemas expertos juridicos decisionales.

Autor: FERRANDEZ RODRIGUEZ ANTONIO.
Año: 1998.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITECNICA SUPERIOR.

Resumen: La resolución de la anáfora se podria decir que es uno de los problemas mas difíciles pendientes de solucion en el campo de estudio del procesamiento del lenguaje natural. En esta tesis, hemos llevado a cabo las siguientes aportaciones a su resolucion. Hemos propuesto un nuevo formalismo gramatical: gramatica de unificación de huecos (sug, slot unification grammar). Tambien hemos desarrollado en prolog un sistema modular de procesamiento del lenguaje natural denominado sup (slot unification parser). Igualmente, hemos llevado a cabo un estudio completo de la anafora, que nos ha permitido delimitar el tipo de anafora a tratar (la anafora discursiva que sucede en un contexto linguistico, mas concretamente en la morfosintactica de tipo nominal cuyas expresiones anaforicas estan formadas por pronombres o sintagmas nominales en los que se encuentra omitido el nucleo nominal o de tipo adjetivo, y por ultimo, tanto relaciones de correferencia como de no correferencia y la aproximacion utilizada para su resolucion (sistema integrado democratico pobre en conocimiento basado en restricciones y preferencias). Hemos trabajado tanto sobre textos restringidos como no restringidos, obteniendo en el ultimo caso un porcentaje de exito o precision del 83% en la resolucion de la anafora pronominal junto con unacobertura del 100%.#

Autor: MARCOS LOPEZ M. MAR.
Año: 1998.
Universidad: JAUME I DE CASTELLON.
Centro de lectura: TECNOLOGIA Y CIENCIAS EXPERIMENTALES.

Resumen: La supervisión de programas tiene cono objetivo la automatización de las distintas actividades implicadas en la utilización especializada de una librería de programas. Para llevar a cabo esta tarea, los sistemas de supervisión de programas necesitan una gran cantidad de conocimiento sobre la utilización de los programas, incluyendo las situaciones en que pueden ser aplicados, las combinaciones de programas habitualmente utilizadas, etc. Los sistemas de supervisión de programas incorporan esta experiencia en una arquitectura basada en el conocimiento. Sus características distintivas son la variedad de conocimiento que emplean y su representación, la cual normalmente incluye objetos estructurales y reglas de producción. A pesar de su importancia creciente, poca investigación se ha dedicado a la verificación y validación de sistemas con las características anteriores. En esta tesis acometemos la verificación y validación de sistemas de supervisión de programas a partir de un modelado del conocimiento, explotando la información sobre el conocimiento que requieren, su organización y la manera precisa en que utilizan este conocimiento durante el razonamiento. Esta información nos permite identificar las propiedades que las bases de conocimiento deben verificar para servir adecuadamente a la supervisión de programas, propiedades más allá de la consistencia y cmpletitud de su implementación. En esta tesis presentamos las herramientas de verificación de bases de conocimiento desarrolladas de acuerdo con este enfoque, así como algunos experimentos en la aplicación de técnicas de verificación de programas a motores de supervisión de programas con el fin de identificar las propiedades que nos interesan. Palabras clave: Inteligencia artificial, sistemas basados en el conocimiento, supervisión de programas, verificación y validación de sistemas basados en el conocimiento, modelado del conocimiento.#

Autor: LUACES RODRÍGUEZ OSCAR.
Año: 1998.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO DE INFORMÁTICA.

Resumen: Se trata de construir un sistema de aprendizaje automático que , a partir de ejemplos de entrenamiento que describen de forma parcial unproblema de clasificación, se capaz de obtener un conjunto de reglas clasificadoras con un alto rendimiento.El objetivo principal del algoritmo es lograr una alta capacidad de explicación de las decisiones en la clasificación, par alo que cual es fundamental que el conjunto de reglas seas compacto, es decir, que se obtengan pocas reglas y con un número de antecedentes pequeño. Las reglas se obtienen tras un proceso iterativo de generalización de observaciones. Partiendo inicialmente de puntos, o ejemplos en el espacio del problema se llegará a obtener un conjunto de reglas que cubran lso ejemplos que haya en los alrededores dlepunto de partida. El mecanismo de generalización se basa en el principio del vecino más próximo, tratando de extender una regla, inicialmente puntual, para que cubra regiones en su vecindad. Las reglas se van a ver dodificadas a lo largo del proceso de inducción en función de los ejemplos presentados más próximos a ellas. Estas modfiicaciones se harán siguiendo un procedimiento similar a las modificaciones de los mapas autoorganizativos de Kohonen. Lo más destacable de estere proceso es la necesidad de medir distancias entre reglas y ejemplos,problema que no es trivial cuando los atributos son de carácter simbólico. Inner prtende utilizar una aproximación en la que la forma de medir distancias entre atributos simbólicos se aprenda durante el proceso de inducción de reglas. La generalización utiliza una medida de calidad de las reglas denominada nivel de impureza, que evita el sobreajuste de las reglas al conjunto de entrenamiento, permitiendo así obtener soluciones tolerantes al rudio. El nivel de impureza es una medida de calidad de reglas que ha probado su eficacia en sistemas como ABANICO, de donde se han heredado también los procesos de depuraciónde reglas, denominados cualificación y selección.

Autor: AMENGUAL ARGUDO JUAN CARLOS.
Año: 1998.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El problema central que abordamos en esta tesis se puede plantear como sigue: "Un emisor E envía un mensaje, contenido en la cadena y, a un receptor R a través de un canal C, utilizando la descripción del lenguaje fuente F. Sin embargo, R recibe la cadena X. Se trata de diseñar un descodificador D según la descripción F y las características del ruido que puede introducir C". Asumiendo que F se puede representar mediante un modelo (estocástico) de estados finitos y que el ruido introducido por C, afecta a símbolos indiviudales y se puede representar mediante operaciones de inserción, sustitución y borrado: - Hemos desarrollado eficientes algoritmos de análisis sintáctico corrector de errores empleando técnicas de búsqueda en haz. - Hemos planteado diversas técnicas para la estimación de los parámetros de C (asumiendo un modelo estocástico del mismo). - Hemos desarrollado un nuevo modelo estocástico para C capaz de realizar operaciones de "trasnposición". Finalmente, presentamos experimentos que demuestran la utilidad de las técnicas de corrección de errores en: - Reconocimiento de formas - Suavizado de modelos de lenguaje - Tratamiento del Lenguaje Natural - Traducción Automática.