El paradigma de agentes/sistemas multi-agente es uno de lo smodelos computacionales de mayor relevancia de los últimos tiempos, habiendo dado lugar a múltiples investigaciones y aplicaciones concretas. Este modelo computacional tiene como objetivo la construcción de sistemas que se enfrenten a situaciones mostrando ciertas características propias de un ser humano, tales como inteligencia, reactividad, pro-actividad,... De entre todas las variedades de tipos de agente que se pueden definir, el trabajo realizado se centra en aquellos agentes que deben trabajar en un entorno con restricciones temporales críticas, es decir, donde existen ciertos problemas a los que el agente debe dar respuesta antes de que pase un determinado tiempo o las consecuencias serán catastróficas. En un agente de este tipo es fundamental tratar de conseguir un uso óptimo del tiempo de procesador, recurso más importante en esta clase de sistemas. Es por esto que resulta relevante ocnseguir que dicho agente sea capaz de dedicar su timpo de procesador a aquello que sea necesario de acuerdo a la situación en la que se encuentre. Para conseguir esta adaptación es fundamental que el agente sea capaz de razonar sobre su propio proceso de razonamiento, es decir, meta-razonar, siempre teniendo en cuenta que este proceso de metarazonamiento va a consumir también tiempo de procesador. De esta manera, el objetivo de este trabajo es el estudio de las capacidades necesarias para poder incorporar la habilidad de meta-razonar a un agente con restricciones temporales críticas, así como la incorporación a una arquitectura de agente concreta, la de agente ARTIS. Después del estudio comentado, se llegó a la conclusión de que para poder incorporar la habilidad de meta-razonamiento a un agente con restricciones temporales críticas era necesario incluir al agente las siguientes capacidades: detección de situaciones significativas, adaptar su comportamiento, adaptar el proceso de razonamiento del agente teniendo en .. / Carrascosa Casamayor, C. (2004). Meta-razonamiento en Agentes con Restricciones Temporales Críticas [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2670 / Palancia

El área de la Inteligencia Artificial está experimentado un gran avance en los últimos tiempos con su aplicación a un mayor número de campos diferentes. Uno de ellos es el de los problemas de tiempo real. Problemas donde no sólo es importante la lógica del cálculo de las soluciones, sino también el instante de tiempo en que son calculadas dichas soluciones. Este acercamiento entre ambas árear es, en principio, provechoso, pues la Inteligencia Artificial puede aportar nuevas posibilidades a los sistemas de tiempo real, como una mayor flexibilidad de adaptación a entornos complejos y dinámicos. Sin embargo esta aproximación ha presentado desde siempre importantes dificultades. Principalmente los sistemas de tiempo real poseen unos requerimientos temporales (predecibilidad de los tiempos de respuesta principalmente) que no suelen ser habituales en las técnicas de Inteligencia Artificial. Entre otras formas de abordar este problema, está el desarrollo de arquitecturas software para el diseño de agentes inteligentes para su uso en entornos de tiempo real. Estas arquitecturas poseen diferentes mecanismos para que los agentes construidos puedan trabajar en entornos de tiempo real . Estas arquitecturas poseen diferentes mecanismos para que los agentes construidos puedan trabajas en entornos de tiempo real ofreciendo comportamientos reactivos (para cumplir los requerimientos temporales) y deliberativos (que hacen uso de técnicas de Inteligencia Artificial para conseguir mejores prestaciones). Una de estas arquitecturas es ARTIS. Esta arquitectura hace uso de una planificación de sus tareas a dos niveles para conseguir complir sus objetivos. Por un lado un planificador de primer nivel garantiza la obtención de respuestas dentro de límites temporales estrictos. Un planificador de segundo nivel se encarga del control de componentes que mejoran la calidad de los resultados. El trabajo presentado se centra en este segundo planificador, desarrollando dos heurísticas, SSS....... / Hérnandez López, L. (2004). Heurísticas para el control deliberativo en una arquitectura de agentes inteligentes de tiempo real [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/2671 / Palancia

No description available.

No description available.

No description available.

Recientemente ha entrado en vigor en España una nueva legislación que afecta a la información existente en los medicamentos comercializados en este país. Ésta obliga a la inclusión de información de correspondencia respecto a la terminología internacional multilingüe SNOMED-CT. Este proceso es realizado actualmente de forma manual. Este es el punto de partida de este trabajo. Por tanto, el primer objetivo de esta tesis es obtener un método capaz de realizar estas correspondencias (mapeados) de forma automática. Para ello se hará uso de SNOMED-CT como terminología destino de los mapeados y, como origen, los medicamentos comercializados en España existentes en la ontología OntoFIS. Esta ontología ha sido poblada de forma semi-automática a partir de la base de datos oficial del Ministerio de Sanidad Español DIGITALIS. Usar una ontología en lugar de directamente la base de datos aporta ciertos beneficios, como la existencia de conocimiento semántico explicitado (relaciones semánticas), que supondrán una ayuda en el propio proceso de mapeado y, posteriormente, en otros procesos de marcado, extracción de información o clasificación. Para poder alcanzar este objetivo, sin embargo, es necesario equiparar los niveles de especificidad (también conocida como granularidad) de ambos recursos (OntoFIS y SNOMED-CT), ya que no es posible mapear dos recursos con diferentes granularidades. Finalmente, tras haber logrado establecer los mapeados entre ambas terminologías, el último objetivo de la tesis será el de utilizar dichos mapeados para ampliar semánticamente la ontología OntoFIS. Para la consecución de estos tres objetivos, y tras haber estudiado los trabajos existentes en el domino de salud en castellano e inglés, se ha optado por utilizar técnicas de Procesamiento del Lenguaje Natural (PLN), combinándolo con un sistema basado en patrones. Partiendo de las etiquetas del nombre de los medicamentos comercializados en España (nombres de especialidad) junto con las especificaciones existentes en la legislación vigente, se han extraídos una serie de patrones que ayudarán en el proceso de identificación de los elementos de un medicamento, como por ejemplo sus principios activos, sus concentraciones o la población objetivo a la que van dirigidos. Tras haber identificado los elementos componentes de la denominación de los medicamentos, se procede a crear nuevas etiquetas automáticamente para equiparar su granularidad a la existente en SNOMED-CT. Seguidamente se procede al mapeado de las nuevas etiquetas sobre las existentes en SNOMED-CT. El carácter multilingüe de ambos recursos permite poder utilizar el idioma castellano para realizar dicho mapeado. El mapeado se lleva a cabo mediante técnicas de PLN basadas en la similitud léxica, utilizando complementariamente una serie de recursos semánticos específicos creados manualmente. Para establecer la correspondencia se han considerado cuatro grados de mapeado. Estos grados van desde la equivalencia semántica absoluta hasta un mínimo nivel de similitud. De esta forma se maximiza la cobertura de los mapeados. Seguidamente, a partir de los resultados obtenidos en los mapeados y teniendo en cuenta los cuatro grados de diferenciación de los mapeados, se amplía el conocimiento de OntoFIS mediante un sistema basado en reglas. Estas reglas establecen cuánta información puede ser recuperada de los mapeados establecidos, en base al grado de similitud del mapeado. Dichas reglas persiguen evitar introducir información incorrecta o ambigua en OntoFIS. Para concluir, se ha realizado una prueba final a la propuesta, con el fin de establecer unos resultados sólidos sobre el funcionamiento global, validez y seguridad de la propuesta presentada, evitando el sesgo por el estudio cualitativo y las pruebas piloto en el refinamiento de los algoritmos propuestos. Esta prueba persigue una confianza en los resultados del 95%, con un margen de error del 5%. Tras la evaluación de dicha prueba se ha concluido que se han alcanzado todos los objetivos propuestos satisfactoriamente. En dichas pruebas la cobertura obtenida ha variado entre el 90,96% y el 100% y la precisión ha estado comprendida entre el 77,88% y el 100%.

No description available.

Esta tesis describe el modo en el que distintas técnicas de reflectividad pueden ser empleadas para el desarrollo de un sistema computacional de programación extensible y adaptable dinámicamente, sin sufrir dependencia alguna de un lenguaje de programación específico, y empleando para ello una plataforma virtual heterogénea.Se diseña una máquina abstracta, de tamaño y complejidad semántica reducida, como la raíz computacional del sistema, que otorga primitivas básicas de reflectividad. Tanto su tamaño restringido como su capacidad introspectiva, la hacen susceptible de ser implantada en entornos computacionales heterogéneos, constituyendo adicionalmente un entorno computacional independiente de la plataforma.Haciendo uso de las facultades reflectivas ofrecidas por la máquina abstracta su nivel de abstracción computacional podrá ser extendido dinámicamente, utilizando para ello su propio lenguaje de programación sin necesidad de modificar la implementación reducida de la máquina virtual, y, por tanto, sin perder portabilidad de su código. El empleo de su capacidad extensible se utilizará, a modo de ejemplo, en el diseño de abstracciones propias de persistencia, distribución, planificación controlada de hilos y recolección de basura. Todas las abstracciones ofrecidas mediante la extensión de la plataforma, utilizando su propio lenguaje, son adaptables para cualquier aplicación, en tiempo de ejecución.Se diseña un sistema de procesamiento genérico de lenguajes disponiendo de las características reflectivas de la plataforma, dando lugar a una independencia global del lenguaje de programación seleccionado por el programador. Cualquier aplicación podrá interactuar con otra bajo el modelo computacional de objetos ofrecido por la máquina abstracta, independientemente del lenguaje en el que hayan sido creadas.La flexibilidad dinámica del sistema creado es superior, tanto en expresividad como en el espectro de facetas computacionales adaptables, a los actualmente existentes. La estructura de las aplicaciones en ejecución, y la especificación léxica, sintáctica y semántica del lenguaje de programación, son parámetros configurables dinámicamente, tanto por la propia aplicación -en cualquiera que sea su lenguaje de programación-, como por cualquier otro programa. El sistema reflectivo ofrecido no posee restricción alguna respecto a las características computacionales a configurar, ni respecto al modo de expresar su adaptación. Toda la flexibilidad ofrecida es dinámica, no siendo necesario finalizar la ejecución de una aplicación para su configuración, pudiéndose adaptar ésta a requisitos surgidos dinámicamente, imprevisibles en tiempo de desarrollo.

El trabajo llevado a cabo en esta tesis se centra en realizar un estudio en profundidad de las soluciones que producen las técnicas de análisis de planificabilidad y asignación de parámetros de planificación para sistemas distribuidos, como consecuencia del cual se obtienen una serie de resultados que pueden guiar al diseñador a identificar qué algoritmo de planificación o técnica debe aplicar a su problema. También se adaptan las técnicas de análisis y optimización existentes a su aplicación a un conjunto más amplio de sistemas, que permiten la mezcla de diferentes planificadores en los recursos procesadores del sistema distribuido, y se proponen nuevas técnicas de asignación de plazos locales de planificación para EDF. / The work carried out in this thesis focuses on performing an exhaustive study of the solutions produced by both the schedulability analysis techniques, and the scheduling parameters assignment techniques, for distributed systems. The results obtained in this study can help a real-time system designer to identify the algorithm or scheduling policy to be applied. Additionally, the current analysis and optimization techniques are adapted for their application to a wider range of systems, where each processing resource could use a different scheduling policy. New techniques for the assignment of local scheduling deadlines for EDF are also proposed.

El problema de la integraci on de la programaci on l ogica y funcional est a considerado como uno de los m as importantes en el area de investigaci on sobre programaci on declarativa. Para que los lenguajes declarativos sean utiles y puedan utilizarse en aplicaciones reales, es necesario que el grado de e ciencia de su ejecuci on se aproxime al de los lenguajes imperativos, tal y como se ha conseguido con el lenguaje Prolog. Para ello, es imprescindible el desarrollo de herramientas potentes para el an alisis y transformaci on de los programas, capaces de optimizar las implementaciones realizadas. En general, es deseable sustituir las aproximaciones ad-hoc por tratamientos m as sistem aticos para los problemas de an alisis y transformaci on de programas. Puesto que la sem antica de los lenguajes l ogico{funcionales ha sido objeto de numerosos estudios y est a matem aticamente bien formalizada, surge el inter es por el desarrollo de m etodos y t ecnicas formales para la formulaci on de optimizaciones, basadas en la sem antica, que preserven las propiedades computacionales del programa. Esta tesis se centra en el desarrollo de tales t ecnicas, adopt andose una aproximaci on formal basada en la sem antica (operacional) del lenguaje para desarrollar y analizar, en un contexto uni cado, las diferentes optimizaciones. En la primera parte, desarrollamos un marco para el an alisis est atico de programas l ogico{funcionales, basado en la idea de construir aproximaciones correctas de la sem antica operacional del programa. Formalizamos un esquema de an alisis simple, uniforme y exible, que permite estudiar distintos tipos de propiedades (relacionadas con el conjunto de respuestas computadas por el programa) de manera correcta y f acilmente implementable. El esquema es independiente de la estrategia de narrowing usada en la formulaci on del mecanismo operacional del lenguaje, lo que contribuye a dar generalidad al mismo. Las t ecnicas de evaluaci on parcial son, de entre la gran variedad de t ecnicas existentes para la transformaci on de programas, las que mayor inter es han despertado en las dos ultimas d ecadas. Su utilidad no reside unicamente en la posibilidad de especializar programas, sino que sus aplicaciones se extienden tambi en a la generaci on autom atica de compiladores o a la optimizaci on de c odigo, por citar s olo las m as importantes. En la segunda parte de esta tesis mostramos que, en el contexto de los len- i guajes l ogico{funcionales, la especializaci on de programas se puede basar directamente en el mecanismo operacional de narrowing que, debido a la propagaci on bidireccional de par ametros realizada a trav es del procedimiento de uni caci on, es capaz de producir optimizaciones apreciables. Esta visi on uni cada de ejecuci on y especializaci on nos permite explotar las contribuciones de ambos campos, funcional y l ogico, y desarrollar un esquema simple y potente para mejorar el programa original respecto a su capacidad para computar respuestas. Tambi en mostramos que, debido a la componente funcional, son posibles otras optimizaciones (como la inclusi on de pasos de simpli - caci on deterministas) con el bene cio a~nadido de que, en nuestro esquema, todas las optimizaciones quedan `compiladas' en el programa transformado. Formalizamos los conceptos b asicos para la evaluaci on parcial de programas l ogico{funcionales y demostramos la correcci on y completitud de la transformaci on. El esquema presentado en este trabajo constituye la primera aproximaci on totalmente autom atica, correcta y nita para la evaluaci on parcial de programas l ogico{funcionales. / Vidal Oriola, GF. (1996). Análisis semántico y transformación de programas lógico-funcionales [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/55796