Los métodos formales han alcanzado un uso más masivo en la construcción de sistemas reales, ya que ayudan a aumentar la calidad del software y la fiabilidad. Las especificaciones formales pueden ser usadas a lo largo de todo el ciclo…

Uno de los principales problemas que se presentan en las redes de mediana y gran escala es la dificultad para monitorear y detectar vulnerabilidades que puedan ser explotadas.
Tanto los recursos que se comparten en una red, como los principales…

Text mining puede ser definido como el descubrimiento de conocimiento en grandes colecciones de documentos. Se asocia principalmente al descubrimiento de patrones interesantes como clusters, asociaciones, desviaciones, similitudes, y diferencias. Por otro lado, los Attributed Relational Graphs (ARG) se definen…

El razonamiento no trivial a partir de premisas contradictorias es reconocido actualmente como una de las necesidades principales de los sistemas inteligentes, como por ejemplo en los sistemas expertos, planificadores y diagramadores autónomos de tareas y sistemas de diagnóstico. Esta…

El propósito de esta línea de investigación consiste en la conceptualización de un Sistema Experto que permite determinar que método de Ensayo No Destructivo es el indicado para ser aplicado en una Central Hidroeléctrica. Se empleará para ello la metodología…

La Gestión del Conocimiento abarca un conjunto de procesos que administra el conocimiento de las organizaciones. Logra aumentar la creatividad y garantizar el éxito organizacional, ya que se fundamenta en el recurso más valioso con que actualmente cuentan las instituciones:…

El presente trabajo, trata acerca de la implementación de un modelo de desarrollo de Sistemas Tutoriales Inteligentes (ITS) que se basa en emplear reutilización a nivel de conocimiento, encapsulándolo bajo la forma de estructuras1, sobre las cuales un educador le…

Esta línea de investigación tiene como objetivo analizar el intercambio de conocimiento en sistemas multi-agente utilizando áreas de conocimiento compartidas. El proyecto involucra la extensión del modelo Linda con el objetivo de lograr adaptarlo a un entorno distribuido en un…

En este proyecto daremos las bases para la investigación y el desarrollo del proceso de Descubrimiento de Conocimiento en Bases de Datos con Ontologías. La principal motivación para la inclusión de ontologías en dicho proceso es la necesidad de incluir…

Los modelos basados en lógica difusa, o modelos difusos, se construyen a partir de reglas que vinculan las entradas y las salidas de una caja negra, que describen el comportamiento del sistema a modelar. La lógica difusa permite definir reglas…