Buscar
Mostrando ítems 1-10 de 13
Estudio y formulación de operadores de cambio sobre bases de creencias Horn
(2014)
La teoría de cambio de creencias estudia la forma en que un agente cambia
sus creencias cuando adquiere nueva información. Así, el propósito principal de
las investigaciones en el campo de la lógica de la teoría de cambio ...
Formalización de sistemas argumentativos con ataque y soporte a inferencias
(2014)
Esta tesis comprende el estudio y formalización de herramientas para la representación
de conocimiento y razonamiento en sistemas argumentativos. En particular, se proponen
dos formalismos argumentativos que permiten la ...
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 ...
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 ...
Los esquemas de argumentación y el pensamiento crítico en la inteligencia artificial
(2016)
Los esquemas de argumentación son entendidos en la Inteligencia Artificial como patrones
de razonamiento semi-estructurados subyacentes a las conversaciones, textos o
discursos escritos. La utilidad práctica de los mismos ...
Formalización y generalización del manejo de preferencias en servicios de razonamiento rebatible
(2017)
Esta tesis aborda el estudio, diseño y formalización de herramientas computacionales
concretas para seleccionar y cambiar el criterio de preferencia entre argumentos que es
utilizado por el sistema de Programación Lógica ...
Metodologías y herramientas visuales para Ingeniería Ontológica
(2018)
El objetivo principal de esta tesis es estudiar la retroalimentación entre los
sistemas de representación visual de conocimiento y los formalismos lógicos,
y definir la teoría subyacente a esta interacción, mediante la ...
Interacción humano computadora en ambientes virtuales
(2018)
La Interacción Humano Computadora es la rama de las Ciencias de la
Computación que busca conectar a los humanos con los sistemas computacionales
de forma natural e intuitiva. Los humanos interactúan con la realidad a ...