INTELIGENCIA ARTIFICIAL, 7

Autor: BLAGUER BALLESTER EMILIO .
Año: 2000.
Universidad: VALENCIA.
Centro de lectura: FISICA.
Centro de realización: FAC. BIOLOGIA-FAC. DE FISICA.

Resumen: El ozono troposterizo es el contaminante atmosferico de mayor importancia en la Comunitat Valenciana en sus aspectos economicos. En esta tesis doctoral se analiza, predicen y modelizan las inmisiones de este compuesto en dos zonas de la comunitat Valenciana. En primer lugar se determina la gran importancia de este contaminante en ambas zonas. Posteriormente se aborda la precision 24 y 48 pasos hacia delante del ozono utilizando modelos ARMAX y perceptores multiraya, los resultados de estas prediciones son muy satisfactorios y permiten cumplir por primera vez la legislacion vigente en la Union Europea. Por otra parte, un pequeño porcentaje de dias se asocian con prediciones incorrectas de los modelos, estos dian han sido caracterizados mediante una clasificacion automatica. El ultimo objetivo de esta tesis desarrolla un metodo que permite determinar las variables ambientales que mas influyen en las inmisiones de ozono. Se desarrolla analisis de sensibilidad con resultados muy adecuados.

Autor: GATIUS VILA MARTA.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Autor: VIVALDI PALATRESI JORGE.
Año: 2000.
Universidad: POLITECNICA DE CATALUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: LLENGUATGES I SISTEMES INFORMÁTICS UNIVERSITAT POLITÉCNICA CATALUNYA.

Resumen: El rápido avance de todas las armas de la ciencia así como la creación de nuevas áreas de conocimiento conlleva la creación incesante de nuevos términos. Asimismo, la generalización de la enseñanza y las formas de comunicación se multiplican y hace que un mismo término se vea modificado para satisfacer a toda la variación vertical. El trabajo terminológico debe ser capaz de responder con rapidez y eficacia a esta situación. En eta tesis se aborda el problema de la extracción del terminología presente en textos escritos y de un nivel de especialidad medio/alto de una manera novedosa y que supera la técnica de extracción existentes. El enfoque escogido para el sistema propuesto se basa, en primer lugar, en la utilización de una estrategia cooperativa y, en segundo lugar, en la utilización de información semántica. Para verificar la validez de la solución propuesta se han implementado diversos extractores de términos que basan sus características de extracción en puntos de vista diferentes pero a la vez complementarios. Algunos de estos extractores utilizan información semántica. Para verificar la validez de la solución propuesta se ha implementado diversos extractores detérminos que basan sus características de extracción en puntos de vista diferentes pero a la vez complementarios. Algunos de estos extractores utilizan información semántica que se extrae de EurWorldNet. En total, se han implementado cuatro familias de extractores: la primera de ellas se basa exclusivamente en la información semántica; la segunda utiliza información del contexto; la tercera saca provecho de la utilización de formantes cultos en la formación de términos: y la última utiliza diferentes medidas del grado de asociación entre palabras. La utilización de ifnormación semántica lleva aparejado el tratamiento de la ambigüedad semántica. Para tratar este problema hemos definido un"coeficiente médico". A partir de su enunciación básica, se han definido siete variantes de cálculo. Algunas de estas alternativas han sido completamente implementadas y utilizadas en el procesamiento. Los resultados obtenidos por este conjunto heterogénos de extractores se han combiando utilizando dos técncias diferentes. Por un lado un grupo de métodos que utilizan diferentes formas de votación y, por toro lado, un clasificador basado en la técnica de boosting. Una peculiaridad del sistema propuesto es que permite integrar los resultados provenientes de extractores externos. Para verificar la factibilidad de esta propuesta hemos utilizado FASTR, un sistema conocido y especializado en la detección de variantes pero que puede actuar como extractor de terminología en ciertas condiciones. Los resultados obtenidos muestran una mejora de neustro sistema obtendia gracias a esta interacción. Este sistema permite también la utilización de filtros externos. Se ha implementado un filtro que utiliza la misma técnica de filtrado semántico que se utiliza en el extractor basado en información semántica. Los experimentos realizados muestran que la incorporación de estos filtros podría significar una mejora en la extracción. Los resultados obtenidos en los experimentos realizados con los métodos de combinación demuestran la validez de la hipótesis de partida; es decir, la combinación de métodos permite obtener mejores resultados que los que se obtendrían con cualquier extractor que emplea un solo método. Asimismo, el sistema propuesto muestra la factibilidad de la utilización de información semántica en la extracción de terminología.

Autor: HENAO CALAD MONICA.
Año: 2000.
Universidad: POLITECNICA DE VALENCIA.
Centro de lectura: INFORMATICA .

Resumen: Los sistemas basados en el conocimiento de tiempo real son sistemas informaticos que manejan el conocimiento de un dominio especifico y tienen la capacidad de garantizar una respuesta en un tiempo fijo, dado que manejan restricciones temporales. Estos sistemas se han utilizado para solucionar problemas de control de procesos monitorizacion, diagnostico y mantenimiento de fallos, entre otras. Es decir, en situaciones en donde la toma de decisiones es depediente del tiempo. Basicamente la investigaciones en estos sistemas han estado enfocadas hacia su arquitectura, sobre como lograr el cumplimieto de las garantias temporales en el razonamiento del conocimiento o sobre como modificar las politicas de planificacion de tiempo real para que sean mas predecibles. No se han hecho muchos trabajos sobre como construir un sistema de este tipo, sobre que actividades deben ser realizadas para plantear un proyecto que pretenda la creacion del sistema o cuales son las pautas que se deben seguir en dicho desarrollo. Es por esto, por lo que se ha planteado proponer una metodologia para el desarrollo de sistemas basados en el conocimiento de tiempo real, surgiendo CommonKADS-RT. Esta tesis se centra en el estudio de los sistemas basados en el conocimiento, los sistemas de tiempo real,los sistemas basados en el conocimiento de tiempo real y los metodos o metodologias que se han propuesto para el desarrollo de cada uno de esos sistemas. Esto ha servido para desarrollar Common KADS-RT, basada en la metodologia Common KADS para sistemas basados en el conocimiento y RT-UML para sistemas de tiempo real. Common KADS-RT permite seguir, en un forma compresible y sencilla la construccion de un sistema basados en el conocimiento del tiempo real. Esta fundamentada en el desarrollo evolutivo, la orientacion por riesgos y sigue los planteamientos que la Ingenieria del Software propone para lo que debe ser una buena metodologia. En CommonKADS-RT se plantea que un sistema basado en el conocimiento de tiempo real se construye a traves del desarrollo de siete modelos del problema o su solucion: el modelo de la organización que describe la empresa u organización en donde se encuentra el problema y en donde se implantara la solucion; el modelo de tareas de alto nivel para representar los procesos del negocio relacionado cono el problema; el modelo de agentes para especificar las personas y los sistemas automaticos que participan en el problema; el modelo de agentes para especificar las personas y los sistemas automaticos que participan en el problema y su solucion; el modelo de conocimientos que precisa el conocimiento que poseen los agentes para realizar la tarea de alto nivel; el modelo de comunicacionies para expresar los actos de comunicación que realizan los diferentes agentes que participan en el sistema, para compatir su conocimiento y lograr el objetivo de las tareas de alto nivel; el modelo de diseño en donde se describe la arquitectura y la especificacion del diseño global del sistema; y el modelo de tareas de tiempo real para definir la estructura generica de una tarea de tiempo real. Los primeros cinco modelos forman la fase de analisis y los dos ultimos la fase del diseño. Para cada uno de los modelos se plantea su objetivo, los formularios que permiten guiar su proceso de construccion y reflejar la informacion para incluir en la documentacion del proceso los artefactos que resultan del desarrollo del modelo y los roles mas importantes que participan en dicho proceso. Adicionalmente, las consideraciones metodologicas propuestas en esta tesis, incluyen la determinacion de cuando es apropiado construir un sistema basado en el conocimiento de tiempo real y si esta es la mejor alternativa de solucion, a traves de unos criterios de filtrado y de una caracterizacion del dominio en donde es posible utilizar la metodologia. Para mostrar la aplicación de la metodologia se pretenda dos casos reales y diferentes en donde esta se ha utilizado. En el primer escenario se pone enfasis en la etapa de analisis, especialmente en el modelo de la organización. En el segundo se resalta la fase de diseño, en particular la arquitectura del sistema y el modelo de tareas de tiempo real.

Autor: MANJARRÉS RIESCO ANGELES.
Año: 2000.
Universidad: NACIONAL DE EDUCACION A DISTANCIA.
Centro de lectura: CIENCIAS .
Centro de realización: UNED.

Resumen: Sostienen Maturana y Varela, que es la aparición del lenguaje en el hombre, en un contexto social de coordinaciones conductuales cooperativas, lo que genera el fenómeno inédito - hasta donde sabemos - de lo mental y de la concienca de sí como la experiencia más íntima de los humano. A pesar de la exclusividad de este fenómeno, los autores reconocen en la dinámica social humana una forma más de "acoplamiento estructural". El fenómeno biológico del acoplamiento estructural al medio como condición de existencia, abarca todas las dimensiones de las interacciones celulares. Organismo, sociedades y ecosistemas pertenecen a una misma clase de meta sistemas, formados por la agregación de unidades, celulares o metacelulares, de cualquier orden, cuyas características esenciales son la capacidad autoorganizativa de producirse a sí mismos y la plasticidad estructural. Las iteracciones entre los componentes de dichos metasistemas adquirieron a lo largo de su ontogenia un carácter recurrente, estableciéndose un acoplamiento estructral que permitió el mantenimiento de las individualidades dentro de una nueva cohesión especial. La coherencia y armonía en las relaciones e interacciones, que encuentran en el término "cooperatividad" una descripción útil, se deben, en el desarrollo como individuos de estos metasistemas, a factores genéticos y ontogenéticos que acotan la plasticidad estructural de sus componentes. El comportamiento social de los seres vivos es estudiado por científicos de variadas especialidades, tales como ecología, psicología, fisiología, zoología o antropología. Aunque sus interese difieran, cada una de estas disciplinas contribuye con su propia filosfía, métodos y pericia. El campo de estudio de la Inteligencia Artificial (IA), cuyo fundamento es la "explicación y emulación del comportamiento inteligente (peracepción - razonamiento - acción) en términos de procesos computacionales", ha colaborado también, obviamente, con las mencionadas disciplinas, en el análisis de los procesos sociales cooperativos. Resultado de sus estudios con los diversos modelos de computación cooperativa desarrollados tanto en el campo simbólico (paradigma de "agentes inteligentes cooperativos") como en el conexionista (modelos de "redes neuronales" y "colonias de insectos"). Tan clara es la importancia de la investigación del fenómeno biológico cooperativo como la utilidad práctica, desde el punto de vista de la ingeniería de software, de los sistemas computacionales inspirados en estos modelos, caracterizados por su notable capacidad de adaptación y tolerancia a fallos. La formulación de modelos cooperativos es pues de indudable interés en el seno de la I.A., desde su doble propóstico de análilsis y síntesis del comportamiento inteligente. Es este convencimiento lo que ha motivado los estudios que integran esta tesis, donde se analiza la cooperatividad como método de resolución de tareas. Este análisis se inscribe en un contexto actual de la I.A. Aplicada en que el énfasis de la investigación se ha dirigido hacia la construcción de "modelos en el nivel de conocimiento" (en el sentido de Newell), supuestamente usados por los expertos humanos en la realización de tares inteligentes de naturaleza diversa. Las contribuciones fundamentales a esta línea de investigación se han concretado en la definición de metodologías de modelado, entre las que destacan las propuestas de KADS y Common KADS, y la identificación de biblilotecas de tareas, métodos y ontologías de dominios genéricos,c omponentes básicos en la constitución de los modelos. Las estructuras cooperativas que constituyen los organismos vivos son recurrentes: la velocidad de formación de una estructura celular depende mucho de si ésta surge de un desorden total o sólo se completa o forma a apartir de un "patrón", de modo que las células vivas utilizan muchas veces el método de "copiar" estructuras en lugar de construirlas a partir de sus elementos básicos. También los organismos superiores utilizan este principio, siendo ésta la razón de la uniformidad relativamente grande que se aprecia en los seres vivios actuales. La vida se caracteriza por la capacidad de multiplicarse, de extenderse intensivamente. Esta capacidad de réplica, de acumular informaciones y transmitirlas -a través de la propia estructura- en los proceso de multiplicación, determina su potencialidad de crecimiento, adaptación y autorecuperación. Este principio básico de formaicón de lso sistemas celulares es aplicable también a los sistemas software cooperativos. Un sistema bien estructurado exhibe una aromonía y equilibro de diseño que se deriva del hecho de estar definido como una combinación de "patrones", grupos de elementos que trabajan juntos en formas comunes para proporcionar un comportamiento cooperativo. Hacer explíticos de los patrones que constituyen un sistema lo hace más flexible al cambio, más fácil de evolucionar y mantener, del mismo modo que los patrones estructurales celulares recurrentes favorecen el crecimiento y multiplicación en los organismos vivos. El objetivo úitlimo de los estudios aquí reportados ha sido pues incorporar en las mencionadas bilbiotecas de análisis de la I.A. Métodos o "patrones" de cooperatividad. Como se argumentará a lo largo de esta memoria, la consideración de métodos cooperativos impele la adopción de una nueva perspectiva metodológica, de modo que, necesariamente, de este estudio se han derivado asimismo aportaciones en el campo de las metodologías de desarrollo de sitemas I.A., La investigación se ha conducido por dos propósitos fundamentales: 1,- En considración a los principios biológicos que la inspiran, 2 la descripción en un paradigma único del método cooperativo que se manifiesta en la resolución de tareas en tres niveles fenomenológicos distintos. El nivel en que el método cooperativo está más explícito se refiere a la colaboración entre expertos de un área de conocimeinto. Con los dos niveles restantes se alude a la interacción entre los procesos implicados en el razonamiento individual, respectivamente en el plano psicológico (metáfora de la sociedad de la mente, en el sentido de Minsky) y en el plano de las redes neuronales físicas (metáfora de la sociedad neuronal, en la línea de los trabajos de Mira y Delgado). En términos de I.A., este modelo único de la coopeatividad supone la integración del paradigma de computación simbólica de la Teoría de Agentes y el paradigma conexionista. La necesidad de una nueva perspectiva metodológica se manifesta al disolverse la tricotomía tarea/método/dominio. En los sistemas cooperativos, la tarea o función no resulta de la aplicación de un método, sino que emana de la organización de las entidades individuales que cooperan, de sus interrelaciones e interacciones comunicativas. Un método cooperativo se identifica pues con una estructura organizativa. La correspondencia estructura-función y la manifestación del aprendizaje como reconfiguración estructural, características distintivas de la computación neuronal, se revelan igualmente en los modelos computacionales de la cooperatividad del nivel simbólico. El análisis de un método cooperativo es básicamente un análisis de los elementos definitoris de un acoplamiento estructural social, determinantes del comportamiento o funcionalidad global de uan colectividad: relaciones, patrones autoorganizativos e interacciones de comunicación. Es esta idiosincrasia de los métodos cooperativos lo que ha impulsado la consideración del modelo de computación Orientada a Objetos (O.O.) como paradigma de análisis, complementario al paradigma funcional adoptado, en lo esencial, por las metodologías de desarrollo propias de la I.A 2,- Desde la perspectiva de la Ingeniería del conocimiento, la imposición de rigos metodológico en el análisis de tareas, métodos y ontologías, independientemente de que su implementación fianl se simbólica conexionista, y sin que ello acarree la introducción de técnicas y herramientas complejas y en absoluto prácticas. Esta exigencia demanda la utilización de notaciones de especificación, desde el más alto nivel de análisis, que supongan un compromiso adecuado entre formalidad e informalidad. De este modo se facilitan la reutilización de los modelos y su traducción desde el análisis hasta la implementación, en un proceso incremental de concreción y refinamiento en cierta medida reversible. Con frecuencia los métodos de solución de problemas tienen expresiones específicas en función de las tareas para cuya solución se aplican. Los métodos cooperativos son aplicables a una inmensa variedad de tareas, y su complejidad sugiere que una comprensión del fenómeno cooperativo debe fundamentarse en el estudio del proceso de solución de una tarea concreta, seleccionada como particularmente ilustrativa. Como un primer acercamiento al análisis de los métodos cooperativos computacionales, hemos abordado la resolución de la tarea de decisión, por entender que define un modelo básico de agente inteligente inspirado en el genuino "agente interncional" de Newell, referencia inequívoca de muchos paradigmas de la I.A. En el contexto de investigación actual, es indudable que el modelado de la computación cooperativa se apoya principalmente en el paradigma de los agentes inteligentes cooperativos. Por otro lado, los análisis de la tarea de decisión referenciados en la literatura son escasos, y a pesar de su relevancia como tarea genética de gran aplicación, esencia de todas conducta individual o social que se estime "inteligente", no se incluye en las bibliotecas comunes de tares genéticas. En esta memoria se plantea el interés de la tares de decisión, y se proporciona, en últiam instancia, un catálogo de métodos genéricos de decisión cooperativa que recopila patrones de cooperatividad extrapolables a otros dominios. Dado que compartimos con Maturana la visión del fenómeno biológico de la cooperatividad como origen del propio fenómeno cognitivo, los modelos analizados en esta tesis incluyen ciertas capacidades reflexivas. En un sistema de agentes cooperativos, cada decisor individual integra en su modelo del entorno modelos del conjunto de agentes decisorios como variables predicitivas esenciales. De estos modelos no pueden excluirse los automodelos, imprescindibles para la representación del comportamiento de interacción de un agente con su entorno social. Nuestro máximo interés en las teorías reflexivas procede sin embargo fundamentalmente de la búsqueda de un paradigma uniforme de modelado de tareas en I.A. Que permita plasmar la idiosincracia de las tareas de aprendizaje. Con esta intención proponemos unas pautas de análisis basadas en los conceptos de la reflexividad y orientadas por tanto hacia arquitecturas de metanivel, apoyando la perspectiva del aprendizaje como "interferencia reflexiva que utiliza automodelos". Con la consideración de un metanivel de aprendizaje buscamos modelar agentes con capacidades introspectivas, capaces de razonar sobre sus propios comportamientos y estructura (en lo que respecta a la dinámica tanto interna como relacional - social -), analizarlos y transformarse a sí mismo con propósitos adaptivos. La memoria se ha estructurado en siete capítulos: En un capítulo introductorio, se pone de manifiesto la relevancia del fenómeno biológico cooperativo, y se destacan las particularidades de los métodos cooperativos de decisión en cada uno de los niveles antes mencionados, a los que nos referiremos como métodos de decisión individual ("cooperación entre procesos mentales"), métodos de decisión colectiva ("cooperación en un grupo de expertos"), y métodos de decisión social ("cooperación en sociedades", ilustrada en la metáfora de la "sociedad neuronal"). En el segundo capítulo se presentan y confrontan las dos perspectivas metodológicas, funcional y O.O., con que se han analizado los métodos de decisión cooperativa. Se introduce brevemente el lenguaje de modelado O.O. UML y, en concreto, se muestra su potencial para la representación de modelos formulados en el marco coneptual del modelo de pericia de KADS, poniéndose de manifiesto la mayor irqueza expresiva obtenida gracias al uso de esta técnica en el análisis de los métodos cooperativos. En el tercer capítulo, se propone una perspectiva de análisis de las tareas de aprendizaje basada en las teorías reflexivas, particularmente en el paradigma de computación O.O. En los capítulos cuarto, quinto y sexto se analizan, respectivamente,los métodos de decisión cooperativa en los niveles individuales, colectivo y social, desde las perspectivas funcional (en términos del Modelo de Pericia de KADS) y O.O. (en términos de "patrones de análisis" especificados en el lenguaje UML). Los patrones de cooperatividad identificados en los métodos de decisión individual son los componentes fundamentales de los modelos de decisiónc olectiva, que a su vez constituyen la estructura básica de la decisión social. Tres órdenes de cooperatividad aparecen así imbricados, reproduciendo las estructuras cooperativas recursivas que exhiben los metasistemas biológicos. Los modelos definidos se ilustran con ejemplos de aplicación en diversas áreas de la ingeniería del conocimiento. En el primer nivel, se describe una bilbioteca de componentes de análisis resultado de modelar la tarea genérica de decisión. La utilidad de los modelos obtendios se ilustra con ejemplos en los dominios de "elección de empleo" y "decisión de terapias". Análogamente, en el segundo nivel se presenta una biblioteca de métodos de decisión colectiva y una aplicación de éstos en el área de los "turoriales inteligentes", definiéndose patrones de cooperatividad espcíficos del "aprendizaje en colaboración". Particular interés presenta el nivle de decisión social, con aplicación en el campo de la Visión Artificial (V.A.), donde el método cooperativo define un mdoelo de red neuronal inferencial profundamente inspirado en la neurobiología. En este último nivel, se define una biblioteca genérica de análisis de "métodos de decisión social neuronales" en V.A., en los niveles inferior e intermedio de procesamiento. En el capítulo 7 se presentan dos implementaciones de redes neruonales, desarrolladas con el objetivo de ilustrar la aplicabilidad de los métodos neuronales de decisión social formulados, "Umbralización adaptativa especialmente variable tolerante a fallos" y "Detección de bordes con aprendizaje automático de escala". Con dichas implentaciones se ha pretendido sintetizar los fenómenos neurobiologícos de la atención selectiva y al rehabilitación ante lesiones de la retina de tipo estocoma. En un capítulo final, se repesentan las conclusiones extraídas de los estudios reprotados, reflexionando sobre sus posibles aportacioens en el campo de la Inteligencia Artificial y sobre las futuras investigaciones que suscitan.

Autor: RODRIGUEZ-REY ALEGRIA BEGOÑA.
Año: 2000.
Universidad: DEUSTO.
Centro de lectura: INFORMATICA.
Centro de realización: DEUSTO.

Resumen: La presente tesis enlaza dos areas generales de investigacion dentro del campo de la Inteligencia Artificial: la Resolucion de Problemas de manera automatizada y el aprendizaje Automatico. Su objetivo generales el diseño y desarrollo de sistemas inteligentes para la resolucion de problemas de entornos industriales, que sean capaces de mantener de manera autonoma la eficacia y eficiencia de resolucion a lo largo del tiempo. Esto implica que dichos sistemas deben ser robustos frente a los inconvenientes de dinamismo e inaccesibilidad (a veces tambien indeterminismo) caracteristicos de los entornos industriales. Para ello, se ha propuesto una nueva conceptualizacion de sistema inteligente de resolucion, conforme a lo cual este se contempla como una organización de agentes inteligentes cooperativos( uno de resolucion, propiamente dicho, y otro de aprendizaje) definida sobre una arquitectura de pizarra. El agente de resolucion esta dotado de una base de conocimiento que integra conocimento empirico (eficiente) de resolucion mediante reglas heuristicas y conocimiento profundo(eficaz) sobre el entorno de problemas mediante un modelo cualitativo de tipo componente-conexión orientado a objetos. Para resolver cada problema este agente examina primero las reglas heuristicas para determinar una respuesta rapida, y solo cuando dicha respuesta es excesivamente vega o incorrecta examina el modelo componente-conexión. El agente de aprendizaje genera, a partir de episodios de resolucion terminados registrados en la "pizarra"y soportandose sobre el conocimiento profundo del agente de resolucion, nuevo conocimiento empirico para resolver futuros problemas. La arquitectura de pizarra proporciona flexibilidad al sistema al establecer una relacion sinergica entre los dos agentes garantizando la independencia de cada uno en cuanto a su diseño y desarrollo particular.

Autor: LOSADA CARRIL DAVID ENRIQUE.
Año: 2000.
Universidad: A CORUÑA.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: En esta tesis se propone un modelo lógico para modelar el problema de Recuperación de Información RI. A partir un formalismo básico se han formalizado varias tareas clásicas de RI, estudiado sus costes comptuacionales y propuesto implementaciones eficientes. En todos los pasos se ha enfatizado al ventajas del uso de una aproximación lógica. La flexibilidad representacional de la lógica ha permitido la creación de un marco homogéneo donde se modelan distintos elementos involucrados en el problema de RI. Primeramente se ha modelado el problema básico de RI dentro de un formalismo lógico. Seguidamente se ha definido una implementación eficiente para el modelo propuesto. Esta implementación ha permitido la evaluación del modelo con colecciones de prueba estándar en RI. Estos experimentos permiten valorar cuantitativamene el rendimiento del modelo teórico propuesto. A continuación el modelo se ha extendido para manejar situaciones de recuperación y para modelar el proceso de relevance feedback. Esto permite mostrar que un marco formal puede manejar extensiones de forma homogénea. Por último, las nociones de similaridad entre términos y frecuencia inversa en documentos han sido incluidas en el modelo. Estas últimas extensiones han sido acompañadas de sus correspondientes tests de evaluación. Las principales aportaciones de esta investigación son las siguientes. Primero, el modelo teórico propuesto ha sido implementado y evaluado, asegurando su aplicabilidad real. De hecho, muy pocas aproximaciones lógicas a RI han sido implementadas y evaluadas. El modelo básico puede representar vectores clásicos con pesos binarios y, además, nuestra medida de relevancia se corresponde con la medida clásica del producto interno consulta-documento. De esta forma, hemos formalizado tareas clásicas como casos dentro del modelo. Sin embargo, el modelo propuesto es inherentemente más expresivo que los formalismos clásicos. Las representaciones clásicas suelen ser planas (por ejemplo, vectores) mientras que nosostros podemos manejar representaciones más elaboradas. Esto permite tratar varias vistas de un documento o una consulta, usar negaciones,etc. En este sentido, un importante resultado de esta tesis es que la evaluación del modelo ha puesto de manifiesto que el manejo de representaciones más expresivas produce una mejora en el rendimiento del sistema. Por otro lado el modelo de relevance feedback propuesto también ha puesto de manifiesto que el uso de representaciones más expresivas produce importantes mejoras en el rendimiento del sistema. Al contrario que las aproximaciones clásicas, el modelo lógico de feedback propuesto aquí ha mostrado una gran flexibildiad, permitiendo no sólo acerca la consulta a los documentos relevantes sino también alejar al misma de los documentos no relevantes. Por útlimo, la extensión del modelo para manejar similaridad de términos y frecuencia inversa en documentos ha producido espectaculares mejoras de rendimiento. A pesar de que las representaciones son proposiconales, los resutlados de esta extensión del modelo son comparables a los obtenidos con modelos clásicos manejando pesos no binarios. Las conclusiones de este trabajo de investigación son claras. Los sistemas de RI mejoran signficativamente sus prestaciones cuando se aplican formalismos expresivos para representar los documentos y las consultas. Además, la generalidad del marco formal aplicado en esta tesis permite la extensión de los resultados a distintas tareas de RI. Esto conduce a un modelo que maneja distintos elementos de forma homogénea. De esta forma, los elementos involucrados en el proceso de RI se benefician de las capacidades expresivas del formalismo utlizado.

Autor: BADENAS CARPIO JORGE.
Año: 2000.
Universidad: JAUME I DE CASTELLON.
Centro de lectura: TECNOLOGÍA Y CIENCIAS EXPERIMENTALES.
Centro de realización: ESCUELA SUPERIOR DE TECNOLOGÍA Y CIENCIAS EXPERIMENTALES.

Resumen: La presente tesis trata sobre la aplicación de técnicas de visión por ordenador al problema de la monitorización del tráfico. Con este objetivo, se ha estudiado y desarrollado diversas técnicas, como la segmentación, estiamción de movimiento, seguimiento, etc., que de manera entrelazada permite obtener un sistema de control de tráfico basado en visión. Como principales tareas de dicho sistema podemos citar: medición del volumen del tráfico, seguimiento de trayectorias de los vehículos, y la detección de diversas situaciones anómalas, como vehículo parados, invasiones de carriles contrarios, etc. El método de segmentación divide cada imagen en regiones uniformes. Las regiones extraídas para cada imagen son tomdas por un proceso de segmentación basada en movimiento que une las que corresponden a la proyección de un mismo objeto.L a integración temporal trata de hacer uso de una idea no del todo explotada hasta ahora: ir acumulando (integrar) la información obtenida tras el procesamiento de cada imagen de la secuencia, para hacer uso de ella en el tratamiento de cada nueva Imagen. De esta forma las estimaciones son más acertadas (se dispone de mayor información) y la influencia de los errores tiende a ser menor.

Autor: GARCÍA PEDRAJAS NICOLÁS.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMÁTICA .
Centro de realización: E.T. SUPERIOR DE INGENIERÍA INFORMÁTICA.

Resumen: El objetivo global de este trabajo es la obtención de un modelo de diseño automático de redes neuronales artificiales modulares. Las bases de este diseño automático son el uso de computación evolutiva para obtener la arquitectura idéonea. Esta tesis desarrolla dos modelos basados en computación coevlutiva,Covnet y Mobnet. Covnet es un modelo modular en el cual existen dos poblaciones independientes.Una población formada por módulos (denominadas nódulos en el modelo) y una segunda población de redes que son combinaciones de nódulos. El modelo evoluciona siguiendo los mecanismos de la programcion evolutiva en lo referente a la población de nódulos y siguiente los mecanismos de los algoritmos genéticos en lo referente a la población de redes. Mobnet mantiene el diseño global de Covnet, pero introduciendo los conceptos de optimización multiobjetivos en la estimación de la aptitud de los individuos que componen la población de nódulos. Ambos modelos son aplicados a problemas de clasificación reales obtendios a apartir de la base de datos proben1. Ambos demuestran funcionar mejor que una red de retropropagación estándar y ser competitivos respecto a los trabajos publicados en la bibliografía.

Autor: GARCIA BERNAL M. ANGELES.
Año: 2000.
Universidad: MALAGA.
Centro de lectura: INFORMATICA.
Centro de realización: E.T.S.I. INFORMATICA.

Resumen: En esta memoria se desarrolla, en primer lugar, una red neuronal competitiva booleana, donde tanto los patrones de entrada como los pesos sinapticos de las unidades de proceso son binarios, y cuya regla de aprendizaje viene determinada por un mecanismo probabilistico que garantiza que los pesos sinapticos de la unidad ganadora se acerquen al patron de entrada, sigan siendo binarios y lleguen a ser la medianoide del grupo que determina dicha unidad. Ademas, el proceso de aprendizaje incorpora un termino de expansion para conseguir que la solucion alcanzada sea un minimo global de la funcion de distorsion o un minimo local con un valor proximo a el. Dicha red se aplica a la comprension de imágenes binarias. Asimismo, se desarrolla una red competitiva para patrones de entrada analogicos (reales) basada en dipolos, es decir, cada unidad de proceso lleva asociada un par de vectores sinapticos (dipolo), que determinan un segmento, en lugar del centroide que determinan los pesos sinapticos en una red competitiva simple. Se proponen varias reglas de aprendizaje no supervisado para la determiacion de los dipolos y se aplican a la formacion de grupos consiguiendo agrupaciones correctas en conjuntos de datos, como los datos de virus, y solo 3 clasificaciones incorrectas en los datos IRIS(lirios), cuando los algoritmos no supervisados mas conocidos consiguen agrupaciones que tienen entre 12 y 17 clasificaciones incorrectas. Tambien se aplican a la determinacion de componentes principales y a la compresion de imágenes monocromaticas. Ademas, se proponen varios algoritmos de aprendizaje supervisado para la determinacion de los dipolos de las unidades de proceso. Dichas redes se aplican a la clasificacion, pues construyen fronteras de decision formadas por tramos de superficies de segundo orden (paraboloides), mientras que los modelos tradicionales construyen diagramas de Voronoi, que son de tramos lineales. Finalmente, se desarrolla una red autoorganizada basada en dipolos que se aplica a la construccion dinamica de los contornos de los objetos para la segmentacion de imagenescon presencia de ruido, es decr, que constituye un procedimiento basado en contornos activos.

Autor: GUTIERREZ BARRANCO GLORIA.
Año: 2000.
Universidad: MALAGA .
Centro de lectura: INFORMATICA.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIERIA INFORMATICA.

Resumen: El grupo de investigacion GIMAC ha desarrollado la metodologia de demostracion automatica de teoremas TAS, tanto para Logica Clasica Proposicional como para logicas no clasicas, en particular para la logicas temporales. La metodologia TAS esta basada en recoger la maxima informacion de una formula, con el minimo coste, Esta informacion se recoge en terminos de literales implicantes e implicados de una formula. Los ultimos avances en la metodologia TAS, junto con el hecho de que los conjuntos de literales implicantes e implicados de una formula pueden ser infinitos, ponen de manifiesto la necesidad de realizar un estudio teorico sobre las restricciones de ideales y filtros en multirreticulos. La propiedad de "agrupabilidad" permite definir los ideales y filtros restingidos como clausura inductiva para un operador no determinista binario, y es indispensable para que el manejo de los literales temporales que son implicantes o implicados de una formula sea eficiente. La teoria de bases finitas de ideales restringidos desarrollados en esta Tesis permiten obtener toda la informacion de una formula, de la forma mas eficiente posible. Dicha teoria nos permite manipular los ideales y filtros restringidos, utilizando solo conjuntos finitos. Utilizando los conceptos de base de un ideal/filtro restringido se generalizan para la logica Fnext las Delta-listas de literales implicantes e implicados de la Logica Clasica Proposicional. Por ultimo, utilizando las Delta-listas, se generalizan para la logica Fnext los Delta-arboles de la Logica Clasica Proposicional, lo que permite no solo representar las formulas, sino diseñar e implementar algoritmos de reduccion sobre ellas. Aunque los desarrollos teoricos se aplican a la logica Fnext, son extensibles a cualquier logica temporal proposional.

Autor: RADUCANU BOGDAN MIHAI.
Año: 2000.
Universidad: PAIS VASCO .
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA UPV/EHU.

Autor: BEJAR TORRES RAMON.
Año: 2000.
Universidad: AUTONOMA DE BARCELONA.
Centro de lectura: ESCUELA SUPERIOR DE INGENIERIA.
Centro de realización: ESCUELA DE DOCTORADO Y DE FORMACION CONTINUADA.

Resumen: Regular-SAT es el problema de decidir la satisfactibilidad de una clase de fórmulas proposicionales multivaluadas llamadas fórmulas CNF regulares. Una fórmula CNF regular es una forma normal conjuntiva clásica basada en una noción generalizada de literal, llamada literal regular. Dado un conjunto de valores de verdad N, con al menos dos valores de verdad, equipado con un orden total, un literal regular es una expresión de la forma S:p, donde p es una variable proposicional y S es un subconjunto de N el cual es o de la forma i o de la forma i, para algún i de N. Una interpretación multivaluada dada satisface un literal regular S:p sii asigna i de N. Una interpretación multivaluada dada satisface un literal regular S:p sii asigna a p un valor de verdad de S, y satisface una cláusula regular sii satisface al menos uno de sus literales. Una fórmula CNF regular es satisfactible sii existe una interpretación que satisface todas sus cláusulas, en caso contrario, es insatisfactible. En esta tesis nos centramos en el diseño, implementación y análisis de algoritmos de búsqueda sistemática y local para Regular-SAT, y definimos un método generico para resolución de problemas el cual consiste en modelar problemas combinatorios como instancias de Regular-SAT y entonces resolver las fórmulas resultantes con algoritmos para Regular-SAT. En particular, prestamos especial atención a la definición de estructuras de datos adecuadas para representar fórmulas, heurísticas para explorar eficientemente el espacio de búsqueda, estrategias para escapar de mínimos locales en algoritmos de busqueda local, y codificaciones adecuadas basadas en Regular-SAT para modular problemas combinatorios. En lo concerniente a algoritmos de búsqueda sistemática hemos diseñado e implementado una variante de Regular-DP, el cual es un algoritmo estilo Davis-Putnam para fórmulas CNF regulares. Respecto a algoritmos de búsqueda local hemos diseñado e implementado dos familias nuevas de algoritmos, Regular-GSAT y Regular-WalkSAT, los cuales son generalizaciones naturales de dos familias destacadas-GSAT y WalkSAT-de algoritmos de búsqueda local para SAT. Estos son los primeros algoritmos de búsqueda local descritos para fórmulas CNF regulares. Nuestras implementaciones de Regular-DP, Regular-GSAT y Regular-WalkSAT son las únicas implementaciones desarrolladas hasta la fecha para resolver Regular-SAT.

Autor: PELÁEZ SÁNCHEZ JOSÉ IGNACIO.
Año: 2000.
Universidad: GRANADA.
Centro de lectura: INFORMÁTICA.
Centro de realización: E.T.S.I. INFORMÁTICA.

Resumen: Uno de los aspectos más relevantes de la actividad humana es la toma de decisiones, que consiste en encontrar la mejor opción de entre un conjunto de alternativas posibles. Todos los modelos de toma de decisión (unipersonal, multicriterio, grupo …) lo que intentan es modelar el comportamiento humano, por ello, se considera racional maximizar alguna función de utilidad o alguna función de utilidad esperada como en el caso de incertidumbre, donde sabemos que tales funciones de utilidad existen siempre que las preferencias del decisor satisfagan ciertas condiciones de racionalidad. Un problema de decisión en grupo se establece en entornos donde hay una cuestión común a solucionar, un conjunto de opciones posible a elegir, y un conjunto de individuos que son los expertos que expresan sus opiniones sobre el conjunto de alternativas posibles y que tienen la intención de alcanzar una decisión colectiva como solución única del problema en cuestión. El objetivo de este trabajo de investigación ha sido dirigido sobre dos aspectos fundamentales de la toma de decisión: La racionalidad de los juicios que emite el decisor; y el modelado de la toma de decisión en grupo creando procesos de decisión alternativos; y todo esto aplicado en el entorno del Proceso Analítico Jerárquico (AHP). Una vez que el decisor ha emitido los juicios, es deseable disponer de medidas que ayuden a cuantificar la consistencia de dichos y poder establecer si pueden ser utilizados en los procesos de decisión. Para ello, en este trabajo se han propuesto diferentes medidas que garantizan decisiones coherentes. Las tendencias actuales de decisión en grupo tienden a formar grupos de decisores en función de sus intereses, lo que requiere medidas que establezcan la distancia entre decisores, además de operadores de agregación que tengan en cuenta la cardinalidad y que eviten lo que denominamos problemas de reparto entre decisores; problemas que están motivados por las proporciones que cada decisor debe ceder en el proceso de decisión con el fin de alcanzar una decisión de grupo. Siguiendo esta idea en este trabajo se presentan los procesos de mayoría que constan de medidas que establecen la distancia entre decisores y de operadores que tienen en cuenta la cardinalidad de los elementos. Para finalizar, se han estudiado los procesos de decisión en grupo en el método AHP y se ha mostrado que dichos métodos pueden presentar problemas de Pareto óptimo y de reparto entre decisores. Los problemas de Pareto óptimo como se muestra en este trabajo están motivados por los denominados valores de compromiso de las escalas de juicios, mientras que los problemas de reparto entre decisores están motivados por las proporciones que cada decisor debe ceder en el proceso de decisión.

Autor: SILVIA VAZQUEZ ANDRÉS.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: La ingeniería de requisitos (IR) y en particular; La ingeniería de requisitos orientada a perspectivas (IROP) son campos de investigación prioritarios dentro de la ingenieria del Software. En la IROP el problema principal es el mantenimiento de la coherencia entre multiples perspectivas, discrepantes hacia un punto convergente. Actualmente existen varias aproximaciones a la IROP. No obstante, todas ellas se basan en un concepto de discrepancia fuertemente sintáctico, dificultando con ello la necesaria diferencia entre los que inconsistencia de lo que es conflicto, sus consecuencias en la especificación del sistema y las relaciones entre unos tipos de discrepancias y otros. Asimismo, se ignoran las relaciones entre conflictos e incosistencias pese a que la raíz de un conflicto puede encontrarse en una inconsistencia, o la de una inconsistencia en un conflicto. El presente trabajo aporta la idea de la estructuración u organización interna de cada perspectiva de forma que dicha estructuración conduzca, de forma natural; a una clasificación de las discrepancias y a un proceso de resolución de dichas discrepancias, adaptando a cada tipo de discrepancia particular. Para mostrar la efectividad de la propuesta, se ha empleado dos casos, de estudio. En ambos casos, se han podido encontrar los elementos discrepantes entre dos perspectivas y se han podido clarificar adecuadamente las causas de las discrepancias existentes.

Autor: MANRIQUE GAMO DANIEL.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: El objetivo fundamental de esta tesis es la construcción de un nuevo método que mejora el proceso de diseño y entrenamiento de redes de neuronas artificiales alimentadas hacia delante utilizando programación evolutiva en forma de algoritmos genéticos, y la aportación de nuevas técnicas para su aplicación en la resolución de problemas de optimización mediante este tipo de sistemas evolutivos. Se introduce un nuevo operador de cruce basado en la morfología matemática para algoritmos genéticos con codificación real. Este operador, denominado cruce morfológico, posee propiedades originales que proporcionan excelentes resultados en diferentes problemas de optimización. El operador se ha empleado para minimizar la función de error en redes de neuronas, observándose que se realiza el entrenamiento de forma más rápida y eficiente que cuando se aplican métodos de aprendizaje clásicos como la retropropagación del gradiente. La utilización de este operador permite entrenar cualquier tipo de red independiente de su arquitectura. Asimismo, se presenta una nueva formalización con base algebraica para la descripción del conjunto de arquitecturas de redes de neuronas que son candidatas a resolver un determinado problema especificado mediante el conjunto de patrones de entrenamiento. Las propiedades de esta formalización proporiconan un método para codificar arquitecturas neuronales con un número exacto de bits. Este método, denominado método de codificación de arquitecturas básicas, permite emplear a los algoritmos genéticos como técnica de búsqueda de arquitecturas neuronales de forma más eficiente. La aplicación de las técnicas desarrolladas en esta tesis permite la construcción de un sistema de entrenamiento y diseño de redes de neuronas mediante algoritmos genéticos en el que, dado un conjunto de patrones de entrenamiento, se obtenga tanto la configuración arquitectónica de la red como el conjunto de los pesos de las conexiones que resuelven el problema.

Autor: FERNÁNDEZ LÓPEZ MARIANO.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INFORMÁTICA.
Centro de realización: FACULTAD DE INFORMÁTICA.

Resumen: Una ontología proporciona una terminología unificada, completa y coherente de un determinado dominio. Dado que distitnas ontologías tienen distintas necesidades de modelización y dado que los entornos software utilizan esquemas de modelización fijos y predeterminado, las aportaciones de esta Tesis son: 1,- Elaboración de un método bi-fase de conceptualización flexible de ontologías. En la primera fase se especifica, se conceptualiza, se formaliza y se implementa el esquema de conceptualización que se va a seguir durante el desarrollo de la ontología de dominio y, en la segunda fase, se conceptualiza e implementa la ontología de dominio siguiendo el esquema descrito en la fase anterior. Para conceptualizar el esquema de conceptualización, en este trabajo se propone un método para elaborar meta-modelos conceptuales. Además, se ha elaborado un lenguaje formal para formalizar los meta-modelos llamado LBIR (Language for Building Intermediate Representations) con la misma expresividad. Utilizando el método propuesto en este trabajo, los modelos conceptuales obtenidos son explícitos o lo suficientemente precisos como para poder genera, con el software adecuado, la ontología en un lenguaje computable. 2,- Construcción de un entorno tecnológico que da soporte al método propuesto: Ontology Design ENVIRONMENT (ODE). Este entorno automatiza la transformación de un esquema de base de datos relacional sin pérdida de expresividad; da soporte en la elaboración del modelo conceptual de la ontología de dominio, ayuda en la verficiación de dicho modelo, y traduce la conceptualización de una ontología de dominio al lenguaje Ontolingua.

Autor: PLÜSS CONTINO JORGE JUAN.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN.
Centro de realización: E.T.S.I.T.

Resumen: En las aplicaciones de telemedicina se debe consdierar la posibilidad de minimizar los costos de las comunicaciones, realizando con este propósito, tareas de filtrado en el extremo de transmisor, compatibles con la calidad de la información clínica requerida por los médicos en el extremo receptor. En este trabajo, se trata de optimizar los recursos conocidos en el mercado como estándares de las tecnologías de la información y de las telecomunicaciones, combinadoras con otras técnicas que permitan fortalecerlas y hacerlas más adecuadas a las necesidades de diversas aplicaciones de telemedicina que involucran la transmisión de datos y bioseñales. Considerando como ejemplo una aplicación desarrollada en el Instituto de Salud Carlos III (Madrid-España) sobre la tele-monitorización de la poligrafía respiratoria en el hogar (Proyecto AIMED), en este trabajo se explica un modelo que incluye un sistema automático para la interpretación de las bioseñales utilizando sistemas basados en conocimientos. La aplicación de telemedicina propuesta en este trabajo de tesis, se limita solo a reconocer los posibles de apnea del sueño que deben ser transitidos hacia el centro de análisis donde los médicos deben corroboran el diagnóstico. Adicionalmente, se ha establecido la duración media de la información compendiada relevante, a través de un estudio de los falsos positivos y negativos admisibles que surgen al considerar la totalidad de la información obtenida durante la prueba. Finalmente, examinando la información completa y la compendiada, se realiza un estudio comparativo de los costos asociados al canal de comunicaciones y a la utilización de recursos humanos destinados al proceso de análisis. La metodología seguida, se puede extender para estudiar la viabilidad de otras aplicaciones de telemedicina basadas en costes de tiempo del canal de comunicaciones y de los recursos humanos.

Autor: TAPIA PAREDES ELIZABETH.
Año: 2000.
Universidad: POLITECNICA DE MADRID.
Centro de lectura: INGENIEROS DE TELECOMUNICACIÓN .
Centro de realización: E.T.S. INGENIEROS DE TELECOMUNICACIÓN.

Resumen: Esta tesis trata el diseño de algoritmos de aprendizaje de complejidad reducida adecuados, pero no limitados, a problemas de clasificación en espacios de atributos o de clases de dimensionalidad elevada. El marco conceptual de este desarrollo se inscribe dentro de la teoría de boosting de hipótesis en teoría de aprendizaje computacina. Sin embargo, las soluciones propuestas están inspiradas en la teoría general de códigos recursivos. En esta tesis se demuestra que la formulación del algoritmo de boosting adaptativo más conocido, AdaBoost, puede explicarse a partir de la decodificación APP de palabras de un código de repetición y transmisión sobre un canal aditivo discreto y sin memoria. La generalización de este resultado junto a la consideración de que el diseño de algoritmos de clasificación múltiple es reducible al caso binario mediante codificación del dominio de clases, permite la formulación de un modelo decodificación generalizado para el diseño de algoritmos de clasificación de complejidad reducida en dominios binarios y no binarios. Una de las ideas dominantes en esta tesis es que si el diseño de algoritmos de clasificación puede modelarse como un problema de decodificación, entonces las limitaciones debido a la aplicación de estrategias de codificación monolíticas deben resolverse mediante la aplicación alternativa de códigos recursivos. De forma adicional, la aplicación de estrategias recursivas de codificación permite la descripción del aprendizaje a través sobre grafos de Tanner. La introducción de modelos gráficos de decodificación para problemas de clasificación tiene importantes consecuencias en otro problema central en esta tesis, el diseño de algoritmos de clasificación para problemas con dimensionalidad elevada de atributos. En esta tesis se propone el uso de grafos de Tanner para el modelado recursivo de algoritmos de clasificación basados en algoritmos de clasificación dependientes de un número reducido y aleatorio de atributos.

Autor: DUARTE VELASCO OSCAR GERMAN.
Año: 1999.
Universidad: GRANADA .
Centro de lectura: INFORMATICA.
Centro de realización: ESCUELA TECNICA SUPERIOR DE INGENIERIA INFORMATICA..

Resumen: Los Estudios de Impacto Ambiental son problemas de alta complejidad debido a que en ellos intervienen variables heterogéneas (numéricas, lingüisticas, intrangibles, etc.) en las que incertidumbre suele estar presente. Por otra parte, dentro de las Ciencias de la Computación se conoce que las Técnicas Difusas son herramientas útiles para abordar problemas con esas características; por tanto, se ha propuesto en esta tesis abordar el estudio del impacto que producirá un proyecto dado, empleando Técnicas Difusas. Para ello, se inicia conuna descripción del problema de Evaluación de Impacto Ambiental y de la metodología actualmente empleada para resolverlo, conel fin de detectar en qué puntos puede esperarse que las técnicas difusas aporten una mejora. A partir de allí se plantea un modelo genérico de impacto ambiental que emplee técnicas difusas. Al intentar implementar ese modelo con las técnicas tradicionales (Sistemas basados en reglas) se descubre que no es posible, debido al altísimo costo computacional resultante. Por ello, en esta tesis se propone un nuevo tipo de Sistemas de Computación con Palabras basados en aritmética difusa. Estos sistemas se apoyan en un conjunto de algorimos de extensiónde funciones crisp a números difusos, que tambien se constituyen una parte teórica de esta tesis. Se ha construido una herramienta de software para implementar el modelo difuso propuesto. Con esta herramienta se ha estudiado un caso de aplicación real, y se han comparado sus resultados con los obtenidos con las técnicas convencionales, encontrándose evidentes mejorías en la representación y análisis del conocimiento.