A formal model of persuasion dialogs for interactions among argumentative software agents

• Autores: Andrés Muñoz Ortega , Juan Botía Blaya
• Localización: JoPha: Journal of Physical Agents, ISSN-e 1888-0258, Vol. 3, Nº. 3, 2009 (Ejemplar dedicado a: Special Session on Hybrid Reasoning and Coordination Methods on MAS), págs. 3-10
• Idioma: inglés
• DOI: 10.14198/jopha.2009.3.3.02
• Enlaces
  • Texto completo
• Resumen

  • Multi-agent systems (MAS) offer an approach to solve complex problems where data and control are inherently distributed among several agents. Normally, agents have to cope with conflicts based on inconsistent knowledge which arise when they exchange information. A relative common alternative to solve these conflicts is Argumentation. This technique allows agents to develop a coordination process based on the exchange of justifications supporting a piece of knowledge, with the aim of proving its validness. However, most argumentation frameworks are theoretical approaches to this problem. We have developed an Argumentation System Based on Ontologies (ASBO). It follows an engineering-oriented approach to materialize a software architecture which allows working with argumentation in MAS. Moreover, ASBO has also a formal model in the background. This paper introduces such formal model, in order to identify and unambiguously define the core elements that argumentation systems should include.

• Referencias bibliográficas
  • [1] Luck, M., & Gómez-Sanz, J. J. (Eds.). (2009). Agent-Oriented Software Engineering IX, 9th International Workshop, AOSE 2008, Estoril,...
  • [2] Ossowski, S., de-la Cruz, J.-L. P., Hernandez, J. Z., Maseda, J.-M., Fernandez, A., Belmonte, M.-V., García-Serrano, A., Serrano, J. M.,...
  • [3] dos Santos, N., Varejao, F. M., & de Lira Tavares, O. (2002). Multi-agent systems and network management - A positive experience on...
  • [4] Sharma, D., & Shadabi, F. (2008). An intelligent multi-agent design in healthcare management system. In N. T. Nguyen, G. Jo, R. J....
  • [5] Choren, R., Garcia, A. F., Giese, H., Leung, H. Fung, de Lucena, C. J. P., & Romanovsky, A. B. (Eds.). (2007). Software Engineering...
  • [6] Munoz, A., Botía, J. A., García, F. J., Martínez, G., & Skarmeta, A. F. G. (2009). Solving conflicts in agent-based ubiquitous computing...
  • [7] Tessier, C., Chaudron, L., & Muller, H.-J. (Eds.). (2001). Conflicting agents: Conflict management in multi-agent systems. Kluwer...
  • [8] Nguyen, N. T. (2007). Advanced methods for inconsistent knowledge management (Advanced Information and Knowledge Processing). Springer-Verlag...
  • [9] Fox, J., Krause, P., & Ambler, S. (1992). Arguments, contradictions and practical reasoning. In ECAI ’92: Proceedings of the 10th...
  • [10] Huhns, M. N., & Bridgeland, D. M. (1991). Multiagent truth maintenance. IEEE Transactions on Systems, Man, and Cybernetics, 21(6),...
  • [11] Kraetzschmar, G. K. (1997). Distributed reason maintenance for multiagent systems. In J. Siekmann & J. G. Carbonell (Eds.), Springer-Verlag...
  • [12] Ram, S., & Park, J. (2004). Semantic conflict resolution ontology (SCROL): An ontology for detecting and resolving data and schema-level...
  • [13] Lee, K., & Kim, M. (2008). A novel approach for conflict resolution in context-awareness using semantic unification of multi-cognition....
  • [14] Munoz, A., & Botía, J. A. (2008). ASBO: Argumentation system based on ontologies. In M. Klusch, M. Pechoucek, & A. Polleres (Eds.),...
  • [15] Berners-Lee, T., Hendler, J., & Lassila, O. (2001). The Semantic Web. Scientific American, 284(5), 34–43.
  • [16] Dean, M., Connoll, D., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D. L., Patel-Schneider, P. F., & Stein, L. A. (2004)....
  • [17] Sirin, E., Parsia, B., Grau, B. C., Kalyanpur, A., & Katz, Y. (2007). Pellet: A practical OWL-DL reasoner. Journal of Web Semantics,...
  • [18] Carroll, J. J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., & Wilkinson, K. (2004). Jena: Implementing the Semantic Web...
  • [19] Brewka, G. (2001). Dynamic argument systems: A formal model of argumentation processes based on situation calculus. JLC: Journal of Logic...
  • [20] Prakken, H. (2005). Coherence and flexibility in dialogue games for argumentation. Journal of Logic and Computation, 15(6), 1009–1040.
  • [21] Carbogim, D. V., Robertson, D., & Lee, J. (2000). Argument-based applications to knowledge engineering. Knowledge Engineering Review,...
  • [22] Maudet, N., Parsons, S., & Rahwan, I. (Eds.). (2007). Argumentation in Multi-Agent Systems, Third International Workshop, ArgMAS...
  • [23] Rahwan, I., & Banihashemi, B. (2008). Arguments in OWL: A progress report. In P. Besnard, S. Doutre, & A. Hunter (Eds.), Computational...
  • [24] Parsons, S., Sierra, C., & Jennings, N. R. (1998). Agents that reason and negotiate by arguing. Journal of Logic and Computation,...
  • [25] Karunatillake, N., & Jennings, N. R. (2004). Is it worth arguing? In Proc. of Argumentation in Multi-Agent Systems (ArgMAS) (Vol....
  • [26] Munoz, A., Sánchez, A., & Botía, J. A. (2009). A software architecture for an argumentation-oriented multi-agent system. In Y. Demazeau,...
  • [27] FIPA. (2002). Fipa communicative act library specification (Tech. Rep., December).
  • [28] Bauer, B., Müller, J. P., & Odell, J. (2000). Agent UML: A formalism for specifying multiagent software systems. In P. Ciancarini...