Existen diversas maneras de modelar un sistema de agentes racionales interactuando. Cada una de ellas puede ser natural para cierto tipo de aplicación y menos significativa para otro.
Nuestro trabajo de investigación se centrará en un modelo abstracto que captura…

La lógica clásica es un sistema formal muy bien establecido cuyo objetivo podría describirse como el de razonar con conocimiento verdadero e inmutable. En la lógica clásica las inferencias son de-ductivas, lo cual tiene la propiedad de validez, es decir,…

La Programación en Lógica Rebatible [GS99, GSC98, Gar00] (de ahora en más P.L.R.) es una extensión de la Programación en Lógica (P.L.) con una nueva clase de reglas, las reglas rebatibles.
Estas reglas permiten representar conocimiento tentativo, aumentando, de este…

El Aprendizaje por Refuerzo (en inglés Reinforcement Learning y de ahora en más AR) ataca el problema de aprender a controlar agentes autónomos, mediante interacciones por prueba y error con un ambiente dinámico desconocido, el cual le provee señales de…

Entre los problemas que encara la Inteligencia Artificial (IA) se encuentra la representación formal de determinados aspectos del mundo real, como la representación de conocimiento y el razonamiento. En el mundo real, la argumentación es utilizada para diferentes propósitos, y…