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.90858Palabras 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)
Descargas
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
ACM
ACS
APA
ABNT
Chicago
Harvard
MLA
Turabian
Vancouver
Descargar cita
CrossRef Cited-by
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
Descargas
Licencia

Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-SinDerivadas 4.0.
El autor o autores de un artículo aceptado para publicación en cualquiera de las revistas editadas por la facultad de Minas cederán la totalidad de los derechos patrimoniales a la Universidad Nacional de Colombia de manera gratuita, dentro de los cuáles se incluyen: el derecho a editar, publicar, reproducir y distribuir tanto en medios impresos como digitales, además de incluir en artículo en índices internacionales y/o bases de datos, de igual manera, se faculta a la editorial para utilizar las imágenes, tablas y/o cualquier material gráfico presentado en el artículo para el diseño de carátulas o posters de la misma revista.




