Un Framework de argumentación basado en reglas para razonamiento contextual distribuido en ambientes dinámicos

• Helio Henrique Lopes Costa Monte-Alto ^{[2] [1]} ; Ayslan Trevizan Possebom ^[3] ; Mariela Morveli Espinoza ^[2] ; César Augusto Tacla ^[2]
  1. [1] Universidade Federal do Paraná

     Universidade Federal do Paraná

     Brasil

     
  2. [2] Program in Electrical and Computer Engineering, Federal University of Technology - Paraná, Curitiba, Brazil.
  3. [3] Federal Institute of Paraná, Campus Paranavaí, Paranavaí, Brazil.

  Mostrar afiliaciones +
• Localización: DYNA: revista de la Facultad de Minas. Universidad Nacional de Colombia. Sede Medellín, ISSN 0012-7353, Vol. 88, Nº. 217, 2021, págs. 120-130
• Idioma: español
• Títulos paralelos:
  • A rule-based argumentation framework for distributed contextual reasoning in dynamic environments
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    En este estudio, abordamos el problema del razonamiento distribuido en entornos en los que los agentes pueden tener conocimiento incompleto e inconsistente. Los conflictos entre agentes se resuelven mediante una semántica basada en argumentación derrotable con una función de preferencia. El soporte a entornos dinámicos, donde los agentes entran y salen constantemente del sistema, se logra mediante reglas cuyas premisas pueden ser afirmadas por agentes arbitrarios. Además, presentamos un formalismo que permite a los agentes compartir información sobre su situación actual - o foco - al realizar consultas a otros agentes. Esto es necesario en entornos donde los agentes tienen una visión parcial del mundo y deben poder cooperar entre sí para llegar a conclusiones. Por tanto, presentamos la formalización de un sistema multiagente y la construcción de argumentos y la semántica que definen su abordaje de razonamiento. Mediante escenarios de ejemplo, demostramos que nuestro sistema permite modelar una gama de escenarios más amplia que los trabajos anteriores.

  • English

    In this study, we tackled the problem of distributed reasoning in environments in which agents may have incomplete and inconsistent knowledge. Conflicts between agents are resolved through defeasible argumentation-based semantics with a preference function. Support for dynamic environments, where agents constantly enter and leave the system, was achieved by means of rules whose premises can be held by arbitrary agents. Moreover, we presented a formalism that enables agents to share information about their current situation or focus when issuing queries to other agents. This is necessary in environments where agents have a partial view of the world and must be able to cooperate with one another to reach conclusions. Hence, we presented the formalization of a multi-agent system and the argument construction and semantics that define its reasoning approach. Using example scenarios, we demonstrated that our system enables the modeling of a broader range of scenarios than related work.