El objetivo central de esta línea de investigación consiste en proponer distintas metodologías formales para representar el conocimiento en diversos sistemas argumentativos.
Como todo sistema simbólico, los sistemas argumentativos emulan el proceso de razonamiento como una manipulación dediversos símbolos. Esto…

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…

A la luz de los conceptos básicos de la Gestión del Conocimiento se caracterizan las prácticas esenciales de los enfoques tradicional y agilista de desarrollo de software. Los métodos de desarrollo ágil comparten valores y principios publicados en el Manifiesto…

Este proyecto se centra en las organizaciones educativas, las que requieren de nuevas formas de organización más inclusivas, capaces de poner en común no sólo aprendizajes, sino nuevas soluciones y conocimientos y de ofrecer nuevas perspectivas a los problemas. En…

Las teorías científicas pueden considerarse como extensiones de las teorías lógicas, en las que se incorpora un conjunto heterogéneo y posiblemente inconsistente de conocimiento tentativo (leyes empíricas, conjeturas, hipótesis auxiliares, etc.) Dicho conocimiento está organizado por medio de una jerarquía…

El análisis de imágenes puede revelar información útil para los usuarios El significativo aumento del uso de imágenes en diferentes campos de la ciencia, medicina, negocios, etc., requiere de mayor poder de procesamiento.
Con el avance en la adquisición de…

Esta tesis propone formalismos para modelar la dinámica de conocimiento en bases de creencias de agentes en un sistema multi-agente, los cuales adquieren información de sus pares. Dicha dinámica es modelada por la teoría de cambio de creencias, la cuál…

El aprendizaje de conceptos a partir de ejemplos es una tarea muy compleja. Dentro del área de la Programación en Lógica Inductiva se han desarrollado diversas propuestas para afrontar tal problema utilizando paradigmas tradicionales de programación en lógica. En este…

El acceso a todo conocimiento nuevo en cualquier área, se facilita logrando conectar lo nuevo con lo viejo y lo simple con lo complejo. En el caso particular de la tecnología de orientación a objetos, esas conexiones se potencian si…

Se ofrece un sistema argumentativo que permite razonar temporalmente con las nociones de instante e intervalo. Anteriores propuestas [AS94] y [FA94], sólo podían ser utilizados o bien con instantes o con intervalos. Además, se analiza el problema que introduce el…