Publicado

2021-05-11

A rule-based argumentation framework for distributed contextual reasoning in dynamic environments

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

DOI:

https://doi.org/10.15446/dyna.v88n217.90858

Palabras clave:

multi-agent systems, distributed reasoning, formal argumentation, structured argumentation framework (en)
sistemas multiagente, razonamiento distribuido, argumentación formal, framework de argumentación estructurado (es)

Autores/as

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.

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.

Referencias

Bikakis, A. and Antoniou, G., Defeasible contextual reasoning with arguments in ambient intelligence. IEEE Transactions on Knowledge and Data Engineering, 22(11), pp. 1492-1506, 2010. DOI: 10.1109/TKDE.2010.37

Adjiman, P., Chatalic, P., Goasdoue, F., Rousset, M.C. and Simon, L., Distributed reasoning in a peer-to-peer setting: application to the semantic web. Journal of Artificial Intelligence Research, 25, pp. 269-314, 2006. DOI: 10.1613/jair.1785

Benerecetti, M., Bouquet, P. and Ghidini, C., Contextual reasoning distilled. Journal of Experimental & Theoretical Artificial Intelligence, 12(3), pp. 279-305, 2000. DOI: 10.1080/09528130050111446

Monte-Alto, H., Morveli-Espinoza, M. and Tacla, C., Multi-Agent systems based on contextual defeasible logic considering focus [Online]. 2020. Available at: https://arxiv.org/abs/2010.00168.

Governatori, G., Maher, M.J., Antoniou, G. and Billington, D., Argumentation semantics for defeasible logic. Journal of Logic and Computation, 14(5), pp. 675-702, 2004. DOI: 10.1007/3-540-44533-1_7

Dung, P.M., On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2), pp. 321-357, 1995. DOI: 10.1016/0004-3702(94)00041-X

Castelfranchi, C. and Falcone, R., Trust theory: a socio-cognitive and computational model. John Wiley & Sons, 2010. DOI: 10.1002/9780470519851

Modgil, S., Reasoning about preferences in argumentation frameworks. Artificial Intelligence, 173(9-10), pp. 901-934, 2009. DOI: 10.1016/j.artint.2009.02.001

Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F. and Stein, L.A. Owl web ontology language reference. W3C Recommendation, [online]. 10(2), 2004. Available at: https://www.w3.org/TR/owl-ref

Miller, G.A., Wordnet: a lexical database for english. Communications of the ACM, 38(11), pp. 39-41, 1995. DOI: 10.1145/219717.219748

Sycara, K., Widoff, S., Klusch, M. and Lu, J., Larks: dynamic matchmaking among heterogeneous software agents in cyberspace. Autonomous Agents and Multi-Agent Systems, 5(2), pp. 173-203, 2002. DOI: 10.1023/A:1014897210525

Bikakis, A. and Antoniou, G., Partial preferences and ambiguity resolution in contextual defeasible logic, in: Proceedings of the International Conference on Logic Programming and Nonmonotonic Reasoning, 2011, pp. 193-198.

Panisson, A.R., Melo, V.S. and Bordini, R.H., Using preferences over sources of information in argumentation-based reasoning, in: Proceedings of the 5th Brazilian Conference on Intelligent Systems (BRACIS), 2016, pp. 31-36.

Chatalic, P., Nguyen, G.H. and Rousset, M.C., Reasoning with inconsistencies in propositional peer-to-peer inference systems, in: Proceedings of the 17th European Conference on Artificial Intelligence (ECAI), 2006, pp. 352-356.

Binas, A. and McIlraith, S.A., Peer-to-peer query answering with inconsistent knowledge, in: Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning, 2008, pp. 329-339.

Thimm, M. and Kern-Isberner, G., A distributed argumentation framework using defeasible logic programming, in: Proceedings of the 2008 Conference on Computational Models (COMMA), 2008, pp. 381-392.

Jarraya, A., Arour, K., Borgi, A. and Bouzeghoub, A., Distributed cooperative reasoning in ambient environment, in: Proceedings of the 30th International Conference on Advanced Information Networking and Applications (AINA), 2016, pp. 1085-1092.

Rakib, A. and Mahfooz, Ul. and Haque, H., A logic for context-aware non-monotonic reasoning agent, in: Proceedings of the 13th Mexican International Conference on Artificial Intelligence (MICAI), 2014, pp.453-471.

Dao-Tran, M., Eiter, T., Fink, M. and Krennwallner, T., Dynamic distributed nonmonotonic multi-context systems, in: Nonmonotonic Reasoning, Essays Celebrating its 30th Anniversary, Studies in Logic, College Publications, Lexington, Kentucky, USA, 2011.

Brewka, G., Ellmauthaler, S., Gonçalves, R., Knorr, M., Leite, J. and Puhrer, J., Reactive multi-context systems: heterogeneous reasoning in dynamic environments. Artificial Intelligence, 256, pp. 68-104, 2018. DOI: 10.1016/j.artint.2017.11.007

Cómo citar

IEEE

[1]
H. H. Lopes Costa Monte Alto, A. Trevizan Possebom, M. M. Mercedes Morveli Espinoza, y C. A. Tacla, «A rule-based argumentation framework for distributed contextual reasoning in dynamic environments», DYNA, vol. 88, n.º 217, pp. 120–130, may 2021.

ACM

[1]
Lopes Costa Monte Alto, H.H., Trevizan Possebom, A., Mercedes Morveli Espinoza, M.M. y Tacla, C.A. 2021. A rule-based argumentation framework for distributed contextual reasoning in dynamic environments. DYNA. 88, 217 (may 2021), 120–130. DOI:https://doi.org/10.15446/dyna.v88n217.90858.

ACS

(1)
Lopes Costa Monte Alto, H. H.; Trevizan Possebom, A.; Mercedes Morveli Espinoza, M. M.; Tacla, C. A. A rule-based argumentation framework for distributed contextual reasoning in dynamic environments. DYNA 2021, 88, 120-130.

APA

Lopes Costa Monte Alto, H. H., Trevizan Possebom, A., Mercedes Morveli Espinoza, M. M. & Tacla, C. A. (2021). A rule-based argumentation framework for distributed contextual reasoning in dynamic environments. DYNA, 88(217), 120–130. https://doi.org/10.15446/dyna.v88n217.90858

ABNT

LOPES COSTA MONTE ALTO, H. H.; TREVIZAN POSSEBOM, A.; MERCEDES MORVELI ESPINOZA, M. M.; TACLA, C. A. A rule-based argumentation framework for distributed contextual reasoning in dynamic environments. DYNA, [S. l.], v. 88, n. 217, p. 120–130, 2021. DOI: 10.15446/dyna.v88n217.90858. Disponível em: https://revistas.unal.edu.co/index.php/dyna/article/view/90858. Acesso em: 9 mar. 2026.

Chicago

Lopes Costa Monte Alto, Helio Henrique, Ayslan Trevizan Possebom, Miriam Mariela Mercedes Morveli Espinoza, y Cesar Augusto Tacla. 2021. «A rule-based argumentation framework for distributed contextual reasoning in dynamic environments». DYNA 88 (217):120-30. https://doi.org/10.15446/dyna.v88n217.90858.

Harvard

Lopes Costa Monte Alto, H. H., Trevizan Possebom, A., Mercedes Morveli Espinoza, M. M. y Tacla, C. A. (2021) «A rule-based argumentation framework for distributed contextual reasoning in dynamic environments», DYNA, 88(217), pp. 120–130. doi: 10.15446/dyna.v88n217.90858.

MLA

Lopes Costa Monte Alto, H. H., A. Trevizan Possebom, M. M. Mercedes Morveli Espinoza, y C. A. Tacla. «A rule-based argumentation framework for distributed contextual reasoning in dynamic environments». DYNA, vol. 88, n.º 217, mayo de 2021, pp. 120-3, doi:10.15446/dyna.v88n217.90858.

Turabian

Lopes Costa Monte Alto, Helio Henrique, Ayslan Trevizan Possebom, Miriam Mariela Mercedes Morveli Espinoza, y Cesar Augusto Tacla. «A rule-based argumentation framework for distributed contextual reasoning in dynamic environments». DYNA 88, no. 217 (mayo 10, 2021): 120–130. Accedido marzo 9, 2026. https://revistas.unal.edu.co/index.php/dyna/article/view/90858.

Vancouver

1.
Lopes Costa Monte Alto HH, Trevizan Possebom A, Mercedes Morveli Espinoza MM, Tacla CA. A rule-based argumentation framework for distributed contextual reasoning in dynamic environments. DYNA [Internet]. 10 de mayo de 2021 [citado 9 de marzo de 2026];88(217):120-3. Disponible en: https://revistas.unal.edu.co/index.php/dyna/article/view/90858

Descargar cita

CrossRef Cited-by

CrossRef citations1

1. Helio Monte-Alto, Mariela Morveli-Espinoza, Cesar Tacla. (2024). Argumentation-based multi-agent distributed reasoning in dynamic and open environments. Knowledge and Information Systems, 66(8), p.4631. https://doi.org/10.1007/s10115-024-02101-x.

Dimensions

PlumX

Visitas a la página del resumen del artículo

447

Descargas

Los datos de descargas todavía no están disponibles.