Buscar
Mostrando ítems 1-4 de 4
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 ...
Formalización de agregación de argumentos : semánticas de aceptabilidad y procedimiento de prueba dialéctico
(2011)
En los últimos años, la argumentación ha evolucionado como un paradigma poderoso para formalizar razonamiento de sentido común, y varios formalismos surgieron basados en
la idea de argumentación, encontrando aplicaciones ...
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 ...