INTELIGENCIA ARTIFICIAL, 6

Autor: LLORENS LARGO FARAÓN.
Año: 2001.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: La complejidad estructural de la gestión del conocimiento distribuido implica distintos aspectos, todos ellos relevantes y constituyentes de forma aislada en problemas con múltiples vertientes, para los cuales, dependiendo de la naturaleza del conocimiento, se tienen distintos enfoques de resolución. El concepto de conocimiento distribuido supone un salto cualitativo. Desde este punto de vista, en la tesis se aborda en especial la componente de integración y coordinación del conocimiento distribuido. Para ello es necesario afrontar aspectos de representación, razonamiento y coordinación. Centrándonos especialmente en la distribución, tanto física como lógica, en la tesis se propone un modelo a tal fin. Más concretamente se propone el modelado basado en agentes inteligentes, constituyendo el enlace entre el medio físico (internet junto con los procesadores y memorias distribuidas), la representación del conocimiento y los procesos cognitivos (razonamiento y deducción). Para ello, en primer lugar se ha realizado un estudio y recopilación de información del contexto general y un estudio y análisis detallado de la situación actual, en los campos en que se basa el trabajo: los modelos de representación de conocimiento, las técnicas de razonamiento, en especial los sistemas basados en reglas, los agentes inteligentes y sistemas multiagente y los métodos de coordinación y comunicación, en situaciones tanto de colaboración como de competencia entre agentes. Se han estudiado y analizado distintas propuestas de lenguajes y formatos, que se están convirtiendo en estándares reconocidos por especialistas en estos campos: el lenguaje ACL ("Agent Communication Language") y su utilización para la intercomunicación entre agentes autónomos distribuidos, el formato de representación KIF ("Knowledge Interchange Format") para el intercambio de conocimiento entre sistemas heterogéneos y el protocolo KQML ("Knowledge Query and Manipulation Language") para el manejo de los mensajes. Tras ello se ha realizado un estudio de las últimas investigaciones en el campo, así como la identificación de los aspectos susceptibles de ampliación y mejora. Se ha investigado sobre los medios y las tecnologías actualmente disponibles para la construcción de sistemas multiagente. Se han evaluado distintas herramientas para su instrumentalización decidiéndonos por la utilización de Java como lenguaje genérico, Jess ("Java Expert System Shell") como motor de inferencia, lo que nos permite escribir el conocimiento en el lenguaje de Jess, cuya sintaxis está basada en CLIPS ("C Language Integrated Production System") y KQML como lenguaje y protocolo de comunicación entre los agentes. Como consecuencia se ha aportado un modelo de Sistema de Agentes para su uso en redes, con un planteamiento de soporte formal de caracterización para la implementación de dicho sistema multiagente. Dicho sistema se caracteriza por la existencia de agentes especializados o agentes con conocimiento (JKAgentes), los cuales adquieren su conocimiento y, por tanto, su especialización al cargar e interpretar ficheros en CLIPS/Jess. Se ha verificado la bondad del modelo por su versatilidad, ya que con una clase de objetos genérica, disponemos de múltiples y diferentes agentes con sólo proporcionarles el conocimiento adecuado. Por la estructura que presentan, los agentes pueden desempeñar distintos roles en distintos momentos y adquirir nuevo conocimiento, al mismo tiempo que pueden compartir el conocimiento con los demás agentes. Se han incorporado mecanismos para no perder integridad en el paso de mensajes debido a indisponibilidades temporales de algún nodo.

Autor: SAIZ NOEDA MAXIMILIANO.
Año: 2001.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: La Tesis presenta un estudio de la influencia y el uso de papeles sintácticos e información semántica en la resolución de la anáfora pronominal en español, en concreto la generada por pronombres personales, demostrativos, reflexivos y omitidos. Se plantea una combinación de ambas fuentes de conocimiento para proponer una base lingüística, científica y metodológica de resolución basada en información enriquecida que incorpora morfología, sintaxis y semántica. Las aportaciones fundamentales de la Tesis son: * Contextualización y definición del fenómeno de la anáfora: la anáfora se relaciona con otros fenómenos como la elipsis o la deixis y se clasifica en función de distintos criterios (relación entre la anáfora y su antecedente, categoría sintáctica del antecedente y naturaleza sintáctica del elemento anafórico). * Exhaustiva revisión del estado del arte: basada en los mismos criterios propuestos a lo largo de la tesis, los trabajos relacionados se agrupan en métodos de conocimiento limitado (basados en información morfológica y sintaxis), métodos enriquecidos (incorporan información semántica y de discurso) y métodos alternativos (aplican mecanismos extra-lingüísticos en el proceso de resolución). * Estudio de las fuentes de conocimiento que intervienen en el proceso de resolución de la anáfora así como de algunos de los recursos que las proporcionan. * Propuesta de un método de conocimiento limitado, basado en un conjunto de restricciones y preferencias de carácter morfológico y sintáctico, se presentan los resultados de su evaluación que se comparan con los obtenidos por otros métodos clásicos (Hobbs, Lappin y Leass, centering) implementados y adaptados al español. * Propuesta de un etiquetado enriquecido a partir de un análisis parcial del corpus de entrada que cubra las necesidades de anotación adicionales que plantea el método enriquecido de resolución de la anáfora en lo referente a los papeles sintácticos de los elementos oracionales y a los sentidos correctos de las palabras a partir de WordNet. * Propuesta del método enriquecido de resolución de la anáfora pronominal en español (ERA) en el que se incorporan las fuentes de conocimiento provenientes de los papeles sintácticos y la información semántica. * Construcción de un barco de pruebas para la evaluación del método ERA diseñado específicamente para determinar la influencia de las diferentes fuentes de conocimiento en el proceso de resolución de la anáfora. * Análisis de la influencia de las distintas fuentes de información en la resolución de la anáfora con el método ERA.

Autor: PATRICIO GUISADO MIGUEL ANGEL.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA. UPM.

Resumen: El principal problema con el que nos enfrentamos en el Análisis de Texturas es el de encontrar la mejor representación de textura. Sobre esta problemática se centra la principal aportación de este trabajo. Hemos desarrollado un novedoso concepto al que hemos llamado; Histograma de Frecuencias de Elementos Conexos (HFEC). Se puede definir el HFEC de una imagen como una aproximación a la función de densidad de un suceso o evento aleatorio denominado "elemento conexo". Este suceso no sólo representa la distribución de los niveles de gris de la textura, sino también la dependencia espacial que existe entre ellos. El trabajo se compone principalmente de tres partes. La primera parte del trabajo se centra en la descripción de esta novedosa herramienta. En una segunda parte se presenta una arquitectura para el diseño de Sistemas de Reconocimiento Automático de Formas basados en la representación de un HFEC. Dicha arquitectura se divide en tres fases: 1,- Extracción de características. 2,- Selección de caracteríticas. 3,- Clasificación. Por último, se presenta la aplicación de esta arquitectura y el HFEC a un sistema real de inspección automática de madera. La inspección de estos objetos se realiza bajo condiciones de un entorno industrial y existe una gran variabilidad en la apariencia de los mismos.

Autor: LINARES LÓPEZ CARLOS.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Los algoritmos de búsqueda de un agente son, en principio, una técnica muy útil para la construcción de sistemas inteligentes. Sin embargo, su estudio se ha restringido habitualmente a pocos dominios, en casos muy restringidos y, en términos generales, no existe una comprensión definitiva sobre su comportamiento. Por lo tanto, esta tesis está dedicada al estudio de algoritmos de búsqueda de un agente, con el propósito de caracterizar su comportamiento en un entorno que garantice la igualdad de condiciones en dos dominios de muy distinta naturaleza, y que sirvan para caracterizar su utilidad y la forma en la que pueden mejorarse, fundamentalmente con el uso de estrategias bidireccionales, o de perímetro, con las que es posible mejorar muy significativamente los resultados obtenidos. Para ello, se ha empleado el algoritmo unidireccional RBFS y se proponen dos versiones bidireccionales, los algoritmos BRBFS* e IBRBFS*, y una versión de perímetro, el algoritmo RBFPS*. Asimismo, se propone también una versión de perímetro, denominada, BFBnBPS*, del algoritmo unidireccional de ramificación y acotación en profundidad. Por útlimo, introduce conceptos novedosos sobre la utilidad de los algoritmos de este tipo, tradicionalmente circunscritos a la resolución de problemas de optimización con descripciones explícitas y únicas de los nodos finales, que servirán para generalizar la descripción de los nodos origen y final con el uso de formulaciones lógicas que deben ser necesariamente satisfechas.

Autor: DIAZ VALDERRAMA ANA M..
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La tesis presenta una aplicación de las bases de Gröbner a la construcción de dos sistemas expertos en medicina. Comienza el trabajo con una exposición de la teoría de las bases de Gröbner y de un teorema que relaciona consecuencias en lógica con un problema de pertenencia a un ideal en álgebra. Se traducen unas tablas que se refieren a criterios apropiados en el tratamiento de enfermedades del corazón, a polinomios y se aplica el teorema mencionado. Con ello se detectan automáticamente inconsistencias, lo cual hasta ahora sólo se podía hacer manualmente. Se lleva a cabo un proceso similar en el estudio de esterilización de habitaciones en un hospital.

Autor: FERNÁNDEZ GARCÍA NICOLÁS LUIS.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA .
Centro de realización: FACULTAD DE INFORMÁTICA, UPM.

Resumen: El presente trabajo estudia las características esenciales de las fases de una metodología de reconocimiento de objetos bidimensionales basada en la detección de bordes en imágenes en color y en el análisis de la curvatura de los puntos de los contornos de los objetos. Se ha incluido una revisión del "estado del arte" de cada una de las fases y se han propuesto nuevos algoritmos. Se ha realizado un estudio sobre la influencia, el origen y los métodos de supresión o atenuación del ruido en imágenes digitales. Se han descrito los tipos de bordes y las principales propuestas sobre algoritmos de detección de bordes, tanto en imágenes monocromáticas como en color. Se ha diseñado una metodología para comparar medidas de evaluación de algoritmos de detección de bordes. Las pruebas realizadas han permitido determinar una medida de evaluación adecuada para comparar algoritmos de detección de bordes. La medida seleccionada ha sido utilizada para comparar diferentes algoritmos de detección de bordes en imágenes en color y elegir el más eficiente. Se han estudiado las características del adelgazamiento de bordes, se han descrito algunos de los algoritmos más importantes y se han propuesto dos variantes. Se ha diseñado un método que permite extraer el contorno exterior de un objeto. Para el desarrollo de dicho método, se han propuesto dos algoritmos de identificación de los puntos del contorno. Se han revisado los sistemas de representación de contornos y los métodos utilziados para extraer los descriptores de un contorno. Se ha desarrollado un sistema de representación de contornos invariante a rotaciones y traslaciones que ha sido utilizado para obtener los puntos críticos o relevantes de los contornos mediante el análisi sde los puntos de curvatura extrema. Se han propuesto dos nuevas funciones de comparación de contornos, basadas en los puntos críticos, que son simétricas y normalizadas. En resumen, se ha desarrollado una metodología de reconocimiento de objetos bidimensionales basada en el uso de un algoritmo de detección de bordes en imágenes en color y en el análisis de la curvatura de los puntos de los contornos.

Autor: LÓPEZ GARCÍA SERGIO.
Año: 2001.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN .
Centro de realización: E.T.S INGENIEROS DE TELECOMUNICACIÓN.

Resumen: El algoritmo de las c-medias borroso (FCM) es una herramienta matemática ampliamente utilizada en muchos problemas prácticos tales como el reconocimiento de patrones, el análisis de datos y el procesamiento de imágenes. Sin embargo, tiene varios inconvenientes en su aplicación para todo tipo de problemas de agrupamiento: * Depende de las condiciones iniciales del algoritmo. * El número de conjuntos debe conocerse por anticipado. * El algoritmo sólo detecta conjuntos hiperesféricos debido a la definición de la distancia, que es euclídea por defecto. Esta tesis incluye varios trabajos con respecto a la resolución de las carencias comentadas previamente. Los puntos clave son. * La dependencia de las condiciones iniciales se evita mediante el uso de algoritmos genéticos (AA.GG). Los AA.GG son un método de optimización muy conocido basado en la genética natural. Los algoritmos basados en el FCM con estructura genética se conocen normalmente como algoritmos FCM genéticos (GFCM). * Por otro lado, se propone una nueva estructura llamada "especie", basada también en la genética natural. Una especie de conjuntos se compone de las soluciones que tiene el mismo número de conjuntos. De esta forma, hay un esquema de dos niveles: un primer nivel donde se aplica el algoritmo FCM dentro de cada especie y un segundo nivel donde un funcional de "selección entre especies" es capaz de encontrar el número más adecuado de conjuntos. * En la bibliografía se pueden encontrar muchas referencias a los índices de validación, que son frecuentemente utilizados para comparar soluciones con distinto número de conjuntos. En esta tesis se estudia este problema, incluyendo el desarrollo de un funcional basado en índices de validación. * Finalmente, se presenta una norma diagonal en la definición de distancia de la estructura del GFCM, cuyos coeficientes también se calculan en el algortimo. De esta forma, se pueden detectar tanto conjuntos hiperesféricos como hiperelípticos. Como resultado de esta tesis, se han desarrollado y probado varios algoritmo. El algoritmo más avanzado (algoritmo de agrupamiento genético borroso no euclídeo) está disponible bajo Linux y GNU.

Autor: MIRÓ JULIÁ MARGARITA.
Año: 2000.
Universidad: ISLAS BALEARES .
Centro de lectura: INFORMATICA.
Centro de realización: UNIVERSITAT DE LES ILLES BALEARS.

Resumen: Esta tésis recoge toda una serie de fundamentos teóricos que definen un lenguaje multivaluado que permite la búsqueda de expresiones declarativas multivaluadas a partir de una tabla multivaluada de objetos y atributos dada. Este lenguaje multivaluado permite realizar técnicas multivaluadas similares a las ya conocidas para tablas binarias(booleanas). El trabajo desarrollado también permite la transformación de declaraciones multivaluadas en otras más convenientes. Para ello, se introduce una notación simbólica cuyos elementos básicos son los "arrays" y "co-arrays" junto con unas operaciones elementales: el producto o y la suma ; y unos procedimeintos de cómputo utilizando esta notación. La equivalencia estre expresiones se estudia a partir de los "primer-ar"("prime-co-ar"), y se proporcional algoritmos que determinan los "prime-ar" ("prime-co-ar") de una expresión. El problema de la optimización de una expresión se estudia introduciendo la noción de "cover" de una expresión. Para la obtención de un "cover" es necesario determinar los "essential arrays" y estudiar los "redundant arrays". Resulta notable el hecho de que un "cover" aceptable de una expresión puede obtenerse sin utilizar la descripción exhaustiva elemental de los conjuntos.

Autor: ZWIR JORGE SERGIO IGOR.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMATICA.
Centro de realización: ETS INGENIERIA INFORMATICA.

Resumen: El objetivo de esta memoria es aportar soluciones a algunos de los problemas de los SBRDs descriptivos y aproximativos de tipo Mamdani a partir de un t ratamiento jerárqueico de la información. Este ojetivo global se descompone en dos objetivos principales, la creación de modelos lingüisticos jerárquicos y de metodologías jerárquicas de construcciónd e Bases de Conocimiento Jerárqueicas (BCJ) y de BRDs: 1- Elaboración de modelos lingüisticos jerárquicos en base a la construcción de BCJs. Estudiar la flexibilidad de la BC de los SBRDs descriptivos de tipo Mamdani por medio del desarrollo de una nueva estructura jerárquica, esto es, la BCJ. Dicha estructura está compuesta por una Base de Datos jerárquica (BDJ), formada por particiones lingüisticas con distintos niveles de granularidad, y una Base de Reglas Jerárquicas (BRJ), integrada por reglas difusas cuyas variables lingüisticas toman valores en la mencionada BDJ. Este hecho permitirá realizar unmodelado del espacio del problema por medio de un sistema jerárquico de reglas lingüisticas (SJRL) que modelará con mayor precisión aquellos subespacios donde las reglas tradicionales presentan los problemas anteriormente expuestos, intentando a su vez preservar la interpretabilidad original de la BC. Para ello, se deberá permitir que coexistan reglas con diferente nivel de granularidad modelando distintos subespacios de un problema, asignándole niveles de importancia de acuerdo a la dificultad de los mismos. 2- Creación de metodlogías, jerárquicas capaces de generar BCJs para SBRDs lingüisticos y BRDs para SBRDs aproximativos. En el primer caso, se deberá contemplar la relación de cada una de las flexibilizaciones anteriormente comentadas con la BDJ y con la BRJ, componentes de la BCJ. En el segundo caso, se deberá tratar con los modelos aproximativos y sus problemas correspondientes. Estas metodologías deberá tratar con los modelos aproximativos y sus problemas correspondientes. Estas metodologías deberán proveer soluciones que joperen en espacios de búsqueda complejos, que generalicen a partir de un aprendizaje inductivo y que Manipulen heurísticas propias de las soluciones aproximadas. Para ello, se deberá: - Agrupar y caracterizar los métodos de aprendizaje proponiendo una solución general, es decir, una meta-metodología que opere sobre modelos previamente obtenidos a partir de métodos de aprendizaje de SBRDs, con el propósito de aprovechar las capacidades de su propia filosofía de trabajo. - Diseñar una metodología iterativa que, tal como lo hacen las técnicas de clustering jerárquico, efatice el aislamiento secuencial de clusters sobre el clustering general o global y permita la no asunción a priori de un número fijo de reglas - Combinar la modaalidad iterativa con una política que permita realizar un refinamiento localizado gradual de las zonas mal modeladas, en lugar de hacerlo en todo el dominio del problema. Todo esto como una forma de regulación entre extensionalidad y precisión y una prevención del sobreaprendizaje del modelo. Dicho en otras palabras, la conservación de los niveles de granularidad adecuados en las distinas zonas del problema. - Diseñar un mecanismo de compactación que permita integrar el comportamiento local del modelo construido jerárquicamente con el global del modelo. Es necesario destacar la importancia de este proceso debido a que se requiere de métodos de diseño que van más allá de la simplicidad de "poner todo junto" y de un sentido mayor de la compacidad de las hibridaciones realizadas.

Autor: UREÑA LOPEZ L. ALFONSO.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMATICA .
Centro de realización: FACULTAD DE CIENCIAS SECCION INFORMATICA.

Resumen: En esta memoria se describen las tareas de análisis del contenido y se estudian tanto la resolución de la ambigüedad léxica como la clasificción de documentos, estableciendo paralelismos y elementos próximos entre ambos campos. En nuestro trabajo analizamos los recursos lingüisticos existentes e investigamos las formas en que éstos pueden mejorar la efectividad de la desambiguación. La principal aportación de esta Tesis consiste en la propuesta de un nuevo enfoque para la resolución de la ambigüedad léxica basado en la integración de recursos lingüisticos, para ellos se utiliza informaciónproveniente de un corupus de textos (SemCor) y de una base de datos léxica (WordNet). Se ha desarrollado una evalucaicóndirecta de la desambiguación, que muestra de forma experimental, sobre un amplio conjunto o colecciónde prueba, la efectividad del enfoque de desambiguaciónd e términos basado en la integración de recursos lingüisticos empleando una evaluación automática. Se aplica la resolución de la ambigüedad léxica a dos tareas concretas de clasificación de documentos: recuperación de información y categorización de textos. En el proceso de recuperación de información se expanden los términos de la consulta coninformación de WorlNet, una vez desambiguada mediante realimentación. En la categorización de textos se ha propuesto la resolución automática de la ambigüedad léxica enun enfoque también basado en la integración del corpus Reuters y la base de datos léxica WordNet. Este es un enfoque novedoso al incorporar la desambiguación automática en el proceso de integración de recursos lingüisticos en la tarea de categorización de textos. Finalmente, hemos expuesto y evaluado ambas tareas mediante un método sistemático que nos ha permitido comparar la efectividad en el ámbito de los sistemas de clasificación de documentos, tanto en recuperación de información como en categorización de textos.

Autor: DÍAZ MADRIGAL VICTOR JESÚS.
Año: 2000.
Universidad: SEVILLA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Las gramáticas de adjunción de árboles (Tag, Tree Adjoning Grmmars) sonuna extensiónd e las gramáticas independientes del contexto basadas en un sistema de reescritura de árboles. Desde la perspectiva del análisis sintáctico de lenguajes naturales, las gramáticas de adjunción de árboles presentan tres interesantes características: su deomino de localidad extendido, la factorización de la recursión y su carácter lexicalista. Esta tesis se dedica al estudio de estas gramáticas desde un punto de vista deductivo. Los resultados más relevantes son: - Estudio sobre representación de árboles elementales - Estudio de diversas estrategias de análisis y la relación entre ellas. - Estudio de la relación entre las estrategias para las Tag y para las gramáticas independientes del contexto. - Estudio experimental del comportamiento de los analizadores descritos para las Tag.

Autor: MORENO RIBAS ANTONIO.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMATICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMATICS UNIVERSITAT POLITECNICA CATALUNYA.

Autor: ALVAREZ DE TOLEDO LINIERS SANTIAGO.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMATICA.
Centro de realización: FACULTAD DE INFORMATICA DE LA UPM.

Resumen: El Aprendizaje por Refuerzo ha tenido durante los últimos años una gran relevancia y se le supone tal potencial que algunos autores han llegado a sostener que es una nueva forma de concebir en su conjunto la Inteligencia Artificial. Sin embargo, el éxito conseguido, por ejemplo, en un area como la robótica, ha sido unicamente parcial, por existir dos principales dificultades en su desarrollo: -las aplicaciones son especializadas para un área determinada, lo que dificulta su generalización y extrapolación a otras áreas. -el proceso de aprendizaje y la convergencia de los resultados son más lentos y limitados de cómo sería deseable. A veces, el propio aprendizaje genera tanta información que el proceso se bloquea. Esta Tesis pretende exponer un marco de trabajo que sea utilizable en diferentes clases de aplicaciones de Aprendizaje por Refuerzo, independientemente de los tipos de entrada y salida utilizados, asi como del nivel de complejidad. Asimismo, pretende compendiar unos principios generales que sirvan de aceleradores al subsodicho proceso de aprendizaje. Para ello, se establece una arquitectura basada en un Agente Central de la Asociación, Un Subsistema de Entrada y un Subsistema de Salida. El Subsistema de Entrada tiene el cometido de detectar sensorialmente el entorno y generar unos patrones de acción al Subsistema de Salida, que es responsable de realizar las acciones correspondientes. El agente Central de la Asociación tiene medios para asociar estadisticamente los patrones de las entradas y salidas que han tenido lugar repetidas veces y que han aportado unos resultados positivos o negativos, acertados o erroneos. Para ello dispone de unos elementos de valoración de los resultados, que reaccionan positiva o negativamente a determinados estímulos sensoriales. La asociación descrita guía el proceso de aprendizaje. El hecho de que el Agente Central de Asociación no se relacione directamente con estímulos sensoriales concretos ni con acciones especificas, sino con meros patrones de unos y otras, le da unas características de generalización que le posibilitan el ser utilizado en diferentes aplicaciones, entornos y niveles. La productividad, cuando se sigue este marco general de aprendizaje está incrementada por un proceso de selectividad de las asociaciones, de forma que permanentemente sólo una parte prioritaria de ellas se crea, mantine y juega su papel generador del aprendizaje, sin bloquearse por una excesiva información debida a la cantidad de estados y acciones combinados. Los "aceleradores" del proceso de aprendizaje, cuyo potencial es principalmente efectivo al ser utilizados, cada uno en su versión maximizada y todos en conjunto, son: -Detección de resultados positivos y negativos, no solamente de uno y otro tipo. -Utilización de la intensidad de los resultados, no solamente de su signo. -Utilización de la medida de los lapsos de tiempo entre la percepción, la acción y el resultado. -Propagación del valor del resultado a patrones de percepción simultáneos y anteriores. -Utilización de patrones multisensoriales de percepción. -Utilización de patrones de estimulos contiguos. -Acciones directas, generadas por estímulos especificos, no por aprendizaje. MAGENTA parece especialmente adecuado para aplicaciones y entornos más complejos y dinamicos, al poderse, en ese marco de trabajo, utilizar un tipo variable y por ello un posible gran numero de entradas y salidas y posibilitar el uso de patrones de alto nivel tanto como de bajo nivel, asi como existir medios de evitar, dificultar o retrasar el bloqueo del proceso de aprendizaje por un excesivo volumen de informacion.

Autor: ALFONSO GALIPIENSO M. ISABEL.
Año: 2000.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR.

Resumen: En un problema de scheduling, existen un conjunto de restricciones (sobre las tareas, objetos del problema, uso de recursos compartidos, etc.), que deben satisfacerse para poder obtener una solución. Las principales propuestas contenidas en esta Tesis consisten en: * Un marco de representación flexible y expresivo para especificar problemas de scheduling mediante un conjunto de restricciones temporales métrico-disyuntivas basadas en puntos de tiempo. De esta forma se extienden especificaciones previas que no permiten captar diversas restricciones típicas existentes en problemas de shedulin reales. * Un nuevo modelo de integración de los procesos de CSP y clausura para la resolución de problemas de restricciones temporales. Esta integración extiende y es más efectiva que la colaboración típica previa (separada y meramente secuencial) de estos procesos. Adicionalmente, se introduce un proceso de clausura total (completo y correcto), de forma alternativa y más potente que el proceso de clausura parcial. Este modelo de integración se aplica para la resolución de problemas de shceduling. * Nuevas heurísticas orientadas para su aplicación en el modelo de resolución prouestos, enbase a la nueva información disponible debido a la integración obtenida de los procesos de clausura y CSP. Adicionalmente, se han adaptado diversas heurísticas previas para su utilización de forma combinada con estas nuevas heurísticas propuestas en esta Tesis. El modelo propuesto ha sido evaluado empíricamente, mostrando su capacidad para especificar distintos tipos de problemas de shceduling, así como el carácter incremental y eficiencia del mismo. Asímismo, también se ha experimentado con las heurísticas propuestas, comprobando sus efectos en los resultados obtendios. Esta sevaluaciones permiten finalmente concluir la novedad y aplicabilidad de los métodos y procesos desarrollados en amplios dominios de aplicación correspondientes al tipología de problemas analizada.

Autor: MARTÍNEZ BARCO PATRICIO MANUEL.
Año: 2000.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITÉCNICA SUPERIOR DE ALICANTE.

Resumen: En este trabajo se ha desarrollado un sistema para la resolución computacional de la anáfora general en el uso del lenguaje natural por pronombres (personales y demostrativos) y anáforas adjetivas en los diálogos. El método propuesto se basa en el uso de conocimiento lingüístico (información léxica, morfológica y sintáctica) y de conocimiento estructural (la estructura del diálogo y el espacio de accesibilidad anafórica estructural que genera), ambos independientes del dominio. Gracias al uso de información no dependiente del dominio, este sistema de resolución de la anáfora para diálogos al que hemos denominado ARIADNA (Anaphora Resolution In Automatic Dialogue systemas with Natural language Analysis) está preparado para ser aplicado a sistemas que trabajen sobre cualquier dominio, y de una forma muy especial para los sistemas de diálogo que consittuyen su aplicación más inmediata. Así este trabajo presenta las siguientes aportaciones: * La definición de un espacio de accesibilidad anafórica estructural, garantizado mediante un estudio empírico, en el que se demuestra que en los diálogos en español, los antecedentes de la anáfora pronominal y adjetiva se encuentran en este espacio. * La propuesta y definición de una esquema de anotación par diálogos en español con el objetivo de obtener el espacio de accesibilidad anafórica. * La definición de un conjunto de restricciones morfológicas y sintácticas que definen la no correferencialidad entre la anáfora y los candidatos a antecedente, un conjunto de preferncias lingüisticas basadas en la estructura sintáctica parcial generada por el analizador sintáctico, y un conjunto de preferncias estructurales basados en la propia estructura del diálogo. * El desarrollo de un algoritmo de resolción de la anáfora basado en los conjuntos de restricicones y preferencias lingüísticas y estructurales definidos. Este algoritmo aplica el conjunto de restricciones como un filtro lingüístico que descarta los posibles antecedentes,y el conjunto de preferencias como un modo de ordenar los candidatos para devolver el mejor de ellos. * La construcción del sistema de resolución de la anáfora al que hemos denominado ARIADNA que integra el algoritmo de resolución de la anáfora y el espacio de accesibilidad anafórica estructural. La implementación del sistema se ha realizado en el lenguaje de programación lóigco Prolog. * La definición de un conjunto de herramientas interfaz que integran la información que proviene de las distintas fuentes de conocimiento usadas por ARIADNA con el módulode resolución anafórica, es decir, el núcleo de ARIADNA. La existencia de estas herramientas proporciona una total independencia y facilidad de integración con cualquier sistema de diálogo o aplicación final a la que se destine ARIADNA. Sobre el sistema final, se ha realizado un proceso de entrenamiento con el objeto de obtener de un modo empírico y cuantitativo el mejor conjunto de preferencias, y una evaluación del sistema sobre un corpus independiente obteniendo como resultado se obtuvo que el 81,37% de las anáforas tratadas fueron resueltas corectamente.

Autor: MUÑOZ GUILLENA RAFAEL.
Año: 2000.
Universidad: ALICANTE.
Centro de lectura: ESCUELA POLITÉCNICA SUPERIOR.
Centro de realización: ESCUELA POLITECNICA SUPERIOR.

Resumen: En este trabajo se presenta un profundo estudio de la influencia de diferentes fuentes de información en el tratamiento y resolución de las diferentes descripciones definidas que aparecen en textos en español. Además, de este estudio se ha extraido una clasificaicón de las diferentes descripciones definidas existentes. Se han propuestodos métodos (ARH Y AGSN) para la identificación de las descripciones definidas no anafóricas y para la resolución de las anafóricas. El método ARH realiza la identificación de las noanaforicas al mismo tiempo que realiza la resolución de las anaforicas. Este método utiliza un sistema de aplicación de heuristicas en forma de filtro para proponer el antecedente o identificarla como no anafórica. El método AGSN se basa en la cosntrucción automática de una red semántica a partir de la ontologia del --- español. Al agrupar los SN en la red en funcional a su compatibilidad semántica se reduce el -- de comparaciones aunque se mantiene el espacio de búsqueda de la solucción a todas las oraciones previas a la aparición de la descripción definida. Este método utiliza un sistema ponderado de aplicación de las heurísticas ambos métodos presentan mejores resultados que los existentes en la literatura.

Autor: CASTRO SÁNCHEZ JOSE JESUS.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: La eficacia de los procesos de razonamiento de un Sistema Inteligente (SI) está determinada por el conocimiento que éste posea sobre el problema. Es por ello, por lo que se adquisición se puede considerar como una fase clave del desarrollo de un sistema basado en el conocimiento (SBC). Siendo conscientes de su importancia como una etapa crucial dentro del proceso de construcción de un SI, se desarrolla una metodología de adquisición del conocimiento especialmente diseñada para aquellos casos en los que el tiempo del experto sea escaso, solventando algunos de los inconvenientes que poseen las herramientas de adquisición de conocimiento actuales. Para alcanzar este objetivo general se desarrollará: * Un método para la obtención automática de la estructura conceptual de un experto, enfrentado a un problema de clasificación, que extiende ideas provenientes del campo de la psicología. El método desarrollado presenta como características más interesantes: la libertad que otroga al experto a la hora de definir los conceptos empleados por él, los aributos que poseen esos conceptos y los valores que estos pueden tomar, así como la posibilidad de emplear el conocimiento generado durante este proceso para inferir un conjunto de reglas generales que conforman las directrices principales de su razonamiento. * Un algoritmo de aprendizaje inductivo que hace uso de la estructura conceptual adquirida directamente del experto y que adquiere el conocimiento presente en un conjunto de ejemplos, éste deberá tener en cuenta la imprecisión presente en la mente del experto. De cara a la interpretabilidad del modelo y su posible uso para adquirir más conocimiento este considerará otro tipo de características no imprecisas empleadas por el experto para describir situaciones y tenderá a obtener conclusiones generales. * Un método de validación que descubre inconsistencias en la base de reglas (adquiridas y aprendidas) y se las entrega a un módulo encargado de ofrecer alternativas al experto que solucionen esas inconsistencias. El objetivo será obtener conocimiento sobre la forma en la que el experto soluciona esos casos para ampliar la competencia del sistema.

Autor: BAILÓN MORILLAS ANTONIO BAUTISTA.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: ESCUELA TÉCNICA SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: Se plantea como objetivo el diseño de una memoria sociativa difusa que permita el almacenamiento eficiente de información imprecisa. Para lograrlo se establece un plan de trabajo a desarrollar en dos paso: diseño de un modelo de memoria asociativa discreta de alta capacidad y extensión del modelo para el almacenamiento de información imprecisa. Tras identificar lso factores que provocan la baja capacidad de almacenamiento en otros modelos de memorias asociativas se presenta la Memoria Asociativa Clasificadora Discrtea (CLAM) que presenta una alta capacidad de almacenamiento, clasificando los patrones de entrada por el criterio del vecino más próximo según la distancia de Hamming. La extensión de la CLAM para capacitarla para la memorización de información imprecisa se aborda mediante el empleo de dos métodos, cada uno de ellos con sus ventajas e inconvenientes. Uno de lso métodos consiste en el acoplamiento a la CLAM de un filtro discretizador que codifique la información imprecisa en una representación discreta que pueda ser almacenada en una CLAM. Como filtro discretizador se emplea el método de codificación de variables lingüísticas mediante discretización incremental. El otro método empleado para la extensión consiste en la adaptación de la CLAM para el almacenamiento de información continua que represente informacion imprecisa expresada mediante los grados de compatibildiad con un conjunto de términos lingüísticos. La adaptación de la CLAM da lugar a la Memoria Asociativa Clasificadora Continua (CCLAM) que, conservandola alta capacidad de almacenamiento de la CLAM, permite almacenar patrones continuos. La memoria se puede configurar para adaptar su comportamiento a las necesidades específicas de cada problema. En concreto se muestra cómo configurarla para el almacenamiento de patrones y reglas expresados en términos lingüísticos.

Autor: PUENTE PEINADOR JORGE.
Año: 2000.
Universidad: OVIEDO.
Centro de lectura: INGENIEROS INDUSTRIALES.
Centro de realización: DEPARTAMENTO DE MATEMÁTICAS.

Resumen: Los sistemas de deducciones en paralelo basados en lógica de predicados suponen la colaboración de dos grandes campos de investigación que son la Inteligencia Artificial y las Arquitecturas Paralelas en pos de la eficiencia en la resolución de problemas. En ambos campos se han realizado grandes avances, y en particular dentro de la Progrmación Lógica Paralela los esfuerzos se han centrado en la definición de modelos de interpretación capaces de trabjar sobre enormes bases de conocimiento,por medio del aprovechamiento de los recursos que ofrecen estas arquitecturas en conjunción con el paralelismo presente en los programas lógicos. En esta línea se centra el trabajo presentado en esta tesis doctoral. Empleando como base un modelo de interpretaciones lógicas bien definido como es el RFD/RPS, se construye una arquitectura virtual capaza de solventar las limitaciones de una arquitectura paralela de carácter general a la hora de satisfacer las necesiades específicas de dicho modelo. Para ello este trabajo identifica claramente las necesidads del modelo y plantea una adecuada repressentación para el conocimiento implicado, así como los procedimientos para su manipulación. Todo ello en un prototipo de la máquina virtual en una arquitectura paralela de memoria compartida. La memoria detalla además un estudio consistente del comportamiento, tanto de la propia máquina virtual, como del sistema deductivo resultante basado en el modelo RFD/RPS. Una de las principales aportaciones de este trabajo consiste en la adecuación de los recursos de una arquitectura paralela convenciona a los requisitos específicos de un modelos de Programación Lógica en Paralelo por medio del diseño de una nueva máquina paralela.

Autor: PÉREZ NAVA FERNANDO.
Año: 2000.
Universidad: LA LAGUNA.
Centro de lectura: CENTRO SUPERIOR DE INFORMÁTICA .

Resumen: En esta tesis se proponen nuevos modelos de deformaicón de contornos en espacios de veov para la resolución de problemas de emparejamiento de objetos en visión artificial así mismo. Estos modelos se generalizan para modelar su evolucion temporal y realizar aplicaciones de seguimiento de objetos en secuencias de imágenes. Los resultados presentados incluyen la aplicaicón de diferentes tipos de filtros dinámicos tanto lineales como no lineales lo que permite su aplicación en un amplio rango de problemas.