Buscar
Mostrando ítems 11-20 de 40
Marcos argumentativos etiquetados
(2015)
El área de la representación del conocimiento y el razonamiento rebatible en Inteligencia
Artificial se especializa en modelar el proceso de razonamiento humano de manera tal
de establecer qué conclusiones son aceptables ...
Metaheurísticas aplicadas a problemas de transporte
(2015)
La idea central de esta tesis consiste en aprovechar las técnicas metaheurísticas para resolver problemas reales asociados al transporte. Por ende, en esta investigación hemos incluido el desarrollo de algoritmos ...
TLM para la verificación de integración en SoC
(2015)
La verificación de los sistemas digitales se ha vuelto una etapa crucial en el proceso de
desarrollar un System on Chip (SoC). El esfuerzo que se debe de hacer en esta etapa es sustancial
respecto de otras. Debido a esto ...
Simulación de superficies de fluídos en tiempo real mediante el método de Lattice Boltzmann
(2012)
En esta tesis se investigaron modelos de simulación en tiempo real para animaciones de superficies líquidas, basados en un modelo de Lattice Boltzmann de la física de aguas superficiales. La implementación de dichos modelos ...
Caracterización formal y análisis empírico de mecanismos incrementales de búsqueda basados en contexto
(2011)
LaWeb se ha vuelto un recurso potencialmente infinito de información, transformándose además en una herramienta imprescindible para muchas tareas de la vida diaria. Esto provocó un aumento en la cantidad de información ...
Dinámica de conocimiento en sistemas multi-agentes : plausibilidad, revisión de creencias y retransmisión de información
(2010)
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 ...
Formalismos de argumentación en especificación de agentes autónomos
(2012)
En esta tesis se propone un lenguaje de programación de agentes cognitivos racionales y formalismos de argumentación basados en la noción de tipo de argumento. Estos formalis-mos argumentativos extenderán a aproximaciones ...
Planificación y formalización de acciones para agentes inteligentes
(2011)
En esta tesis se define un formalismo que combina acciones y argumentación rebatible para representar dominios y proble-mas de planificación. Lo novedoso de este formalismo es que permite representar conocimiento acerca ...
Grupos de servicios de razonamiento para el procesamiento de consultas contextuales en paralelo
(2011)
Esta tesis se enfoca en el desarrollo de una clase particular de Servicios de Razonamiento para entornos con múltiples agentes, y de Grupos de Servicios de Razonamiento
los cuales permiten el tratamiento de diferentes ...
Una semántica basada en juegos para la programación lógica rebatible
(2010)
El objetivo principal de esta tesis es estudiar la teoría de prueba de la Programación en Lógica Rebatible (P.L.R.) y brindar una caracterización declarativa equivalente. La P.L.R. es una herramienta valiosa para la ...