Argumentation-based Intention Formation Process

• Mariela Morveli Espinoza ^[1] ; Ayslan Trevizan Possebom ^[1] ; Josep Puyol Gruart ^[2] ; César Augusto Tacla ^[1]
  1. [1] Universidade Tecnológica Federal do Paraná

     Universidade Tecnológica Federal do Paraná

     Brasil

     
  2. [2] Artificial Intelligence Research Institute (IIIA-CSIC). Spain
• Localización: DYNA: revista de la Facultad de Minas. Universidad Nacional de Colombia. Sede Medellín, ISSN 0012-7353, Vol. 86, Nº. 208, 2019, págs. 82-91
• Idioma: inglés
• DOI: 10.15446/dyna.v86n208.66597
• Títulos paralelos:
  • Proceso de formación de intenciones basado en argumentación
• Enlaces
  • Texto completo (pdf)
• Resumen
  • español

    Este trabajo presenta una formalización basada en argumentación para el proceso de formación de intenciones en agentes prácticos. Se basa en el modelo de procesamiento de objetivos propuesto por Castelfranchi y Paglieri, el cual es un modelo más expresivo y con más etapas que el modelo BDI (Creencias-Deseos-Intenciones). Nos enfocamos en la evolución de los objetivos desde que son deseos hasta que se convierten en intenciones, incluyendo las condiciones bajo las cuales pueden ser cancelados. La argumentación soporta el paso de los objetivos desde su estado inicial hasta el final. Nuestra propuesta cumple con las propiedades de diacronía y sincronía. La primera quiere decir que el soporte se da desde que el objetivo es un deseo hasta que es una intención, y la segunda significa que la trayectoria del soporte puede ser seguida, i.e. hay una memoria del camino cognitivo que va desde el comienzo del proceso hasta su final

  • español

    In this work, we present an argumentation-based formalization for supporting the process of formation of intentions in practical agents. This is based on the belief-based goal processing model proposed by Castelfranchi and Paglieri, which is a more expressive and refined model than the BDI (Beliefs-Desires-Intentions) model. We focus on the progress of goals since they are desires until they become intentions, including the conditions under which a goal can be cancelled. We use argumentation to support the transition of the goals from their initial state until the last one. Our proposal complies with both supporting relation properties defined by Castelfranchi and Paglieri, diachrony and synchrony. The former means that the support happens since the goal is a desire until it becomes an intention, and the latter that the support can be tracked, i.e. there is a memory of the cognitive path from the beginning of the process until the end. In this work, we present an argumentation-based formalization for supporting the process of formation of intentions in practical agents. This is based on the belief-based goal processing model proposed by Castelfranchi and Paglieri, which is a more expressive and refined model than the BDI (Beliefs-Desires-Intentions) model. We focus on the progress of goals since they are desires until they become intentions, including the conditions under which a goal can be cancelled. We use argumentation to support the transition of the goals from their initial state until the last one. Our proposal complies with both supporting relation properties defined by Castelfranchi and Paglieri, diachrony and synchrony. The former means that the support happens since the goal is a desire until it becomes an intention, and the latter that the support can be tracked, i.e. there is a memory of the cognitive path from the beginning of the process until the end

• Referencias bibliográficas
  • Bratman, M., Intention, plans, and practical reason. Cambridge: Harvard University Press, 1987.
  • Castelfranchi, C. and Paglieri, F., The role of beliefs in goal dynamics: prolegomena to a constructive theory of intentions, Synthese. 155(2),...
  • Besnard, P. and Hunter, A., Argumentation based on classical logic. Argumentation in Artificial Intelligence, pp. 133-152, Springer, 2009....
  • Dung, P.M., On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artificial...
  • Chen, W., Durfee, E. and Dumas, M., Human agent collaboration in a simulated combat medical scenario. International Symposium on Collaborative...
  • Farinelli, A., Grisetti, G., Iocchi, L., Cascio, S.L. and Nardi, D., Design and evaluation of multi-agent systems for rescue operations, Proceedings...
  • Sugiyama, H., Tsujioka, T. and Murata, M., Real-time exploration of a multi-robot rescue system in disaster areas. Advanced Robotics, 27(17),...
  • Taboada, M., Cabrera, E., Epelde, F., Iglesias, M.L. and Luque, E., Using an agent-based simulation for predicting the effects of patients...
  • Camarinha-Matos, L.M., Castolo, O., Rosas, J., A multi-agent based platform for virtual communities in elderly care, Proceedings of the IEEE...
  • Khalil, K.M., Abdel-Aziz, M., Nazmy, T.T. and Salem, A.B.M., Multi-agent crisis response systems-design requirements and analysis of current...
  • Kakas, A.C., Torroni, P. and Demetriou, N., Agent planning, negotiation and control of operation, Proceedings of the 16th European Conference...
  • Kakas, A.C., Mancarella, P., Sadri, F., Stathis, K. and Toni, F., Computational logic foundations of kgp agents. Journal of Artificial Intelligence...
  • Berariu, T., An argumentation framework for BDI agents. Intelligent Distributed Computing VII. Studies in Computational Intelligence, 511,...
  • Kakas, A., Amgoud, L., Kern-Isberner, G., Maudet, N. and Moraitis, P., ABA: Argumentation based agents. Proceedings of the 8th International...
  • Amgoud, L., A formal framework for handling conflicting desires, Proceedings of the 7th European Conference on symbolic and quantitative approaches...
  • Amgoud, L. and Kaci, S., On the generation of bipolar goals in argumentation-based negotiation. Proceedings of the 1st International Workshop...
  • Rahwan, I. and Amgoud, L., An argumentation based approach for practical reasoning, Proceedings of the 3rd International Workshop on Argumentation...
  • Morveli-Espinoza, M., Possebom, A., Puyol-Gruart, J. and Tacla, A., Dealing with incompatibilities among goals. 16th Conference on autonomous...