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…

Este trabajo muestra una relación entre dos áreas de investigación en Inteligencia Artificial: el modelamiento de Diálogos en Sistemas Multiagente por un lado, y la Teoría de Cambio de Creencias por el otro. Presentamos un modelo abstracto de diálogo sobre…

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…

Dada una base de conocimiento temporal para modelar las creencias de un agente racional sobre un mundo dinámico, surge la necesidad de revisar sus creencias. En [SA95], se utilizó una base de conocimiento temporal destinada a representar el conocimiento de…

Se plantea un conjunto de hipótesis para la validez de la reutilización de conocimiento. Si los sistemas del futuro deberán estar basados en la reutilización eficiente del conocimiento, esto será posible sólo si efectivamente representan una ventaja contra los sistemas…

En este artículo presentaremos ciertas consideraciones que deben ser tomadas en cuenta al momento de implementar las operaciones de cambio de la teoría de cambio de creencias. Los modelos abstractos de cambio de creencias no hacen ninguna consideración con respecto…

In this paper, we present a novel model of an artificial immune system (AIS), based on the process that suffers the T-Cell. The proposed model is used for solving constrained (numerical) optimization problems. The model operates on three populations: Virgins,…