Buscar
Mostrando ítems 1-10 de 22
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 ...
Técnicas de aprendizaje automático y computación científica aplicadas a la predicción de parámetros ADMET-Tox
(2010)
Hace 15 a~nos atras, el desarrollo de nuevos productos farmaceuticos consista en un proceso de prueba y error basado mayormente en la busqueda de un farmacoforo o principio activo. Sin embargo, muchos compuestos eran ...
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 ...
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 ...