Dinámica en argumentación mediante revisión de creencias

Abstract

En este trabajo presentamos una línea de investigación que abarca la definición de una teoría abstracta que captura la dinámica de un marco argumentativo abstracto a través de la aplicación de conceptos de revisión de creencias. Esto comprende dos aportes novedosos: la definición de un marco argumentativo abstracto dinámico (DAAF, por Dynamic Abstract Argumentation Framework) y la aplicación de conceptos de revisión de creencias sobre el mismo para usufructuar su característica dinámica. El concepto de dinámica en el sistema aquí propuesto debe interpretarse como la fluctuación de argumentos dentro del DAAF: de acuerdo a ciertos eventos, algunos argumentos no son tomados en consideración para realizar inferencias. Por ejemplo, consideremos un sistema multi-agente basado en argumentación que controla la sincronización de semáforos. Si el sistema toma conocimiento de un corte de una avenida debido a reparaciones, no sólo formará argumentos para favorecer a las líneas de semáforos adyacentes a esta avenida, sino que no considerará ningún argumento para sincronizar los semáforos de la misma, ya que se encontrarán apagados.