Abstract
In this paper, we study a multi-agent setting in which each agent is aware of a set of arguments. The agents can discuss and persuade each other by putting forward arguments and counter-arguments. In such a setting, what an agent will do, i.e. what argument she will utter, may depend on what she knows about the knowledge of other agents. For example, an agent does not want to put forward an argument that can easily be attacked, unless she believes that she is able to defend her argument against possible attackers. We propose a logical framework for reasoning about the sets of arguments owned by other agents, their knowledge about other agents’ arguments, etc. We do this by defining an epistemic logic for representing their knowledge, which allows us to express a wide range of scenarios.
SV was funded by the National Research Fund, Luxembourg. His work was carried out during the tenure of an ERCIM “Alain Bensoussan” Fellowship Programme. This Programme is supported by the Marie Curie Co-funding of Regional, National and International Programmes (COFUND) of the European Commission.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Areces, C., de Rijke, M.: From description to hybrid logics, and back. Advances in Modal Logic 3, 17–36 (2001)
Bennett, B., Cohn, A.G., Wolter, F., Zakharyaschev, M.: Multi-dimensional modal logic as a framework for spatio-temporal reasoning. Applied Intelligence 17(3), 239–251 (2002)
Bolander, T., Braüner, T.: Tableau-based decision procedures for hybrid logic. Journal of Logic and Computation 16(6), 737–763 (2006)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence Journal 77, 321–357 (1995)
Fagin, R., Moses, Y., Halpern, J., Vardi, M.: Reasoning about knowledge. The MIT Press (2003)
Gabbay, D.M.: Many-dimensional modal logics: theory and applications, vol. 148. North-Holland (2003)
Grossi, D.: On the logic of argumentation theory. In: Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), pp. 409–416. IFAAMAS (2010)
Halpern, J.Y., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial intelligence 54(3), 319–379 (1992)
Halpern, J.Y., Vardi, M.Y.: The complexity of reasoning about knowledge and time. i. lower bounds. Journal of Computer and System Sciences 38(1), 195–237 (1989)
Pollock, J.: How to reason defeasibly. Artificial Intelligence Journal 57, 1–42 (1992)
Rahwan, I., Larson, K.: Argumentation and game theory, pp. 321–339. Springer (2009)
Riveret, R., Prakken, H., Rotolo, A., Sartor, G.: Heuristics in argumentation: A game theory investigation. In: COMMA, pp. 324–335 (2008)
Simari, G.R., Loui, R.P.: A mathematical treatment of defeasible reasoning and its implementation. Artificial Intelligence Journal 53, 125–157 (1992)
Thimm, M., Garcia, A.J.: Classification and strategical issues of argumentation games on structured argumentation frameworks. In: Proceedings of the Ninth International Joint Conference on Autonomous Agents and Multi-Agent Systems 2010, AAMAS 2010 (2010)
van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Logic and Its Applications, pp. 204–218 (2011)
Vreeswijk, G.: Abstract argumentation systems. Artificial Intelligence Journal 90, 225–279 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schwarzentruber, F., Vesic, S., Rienstra, T. (2012). Building an Epistemic Logic for Argumentation. In: del Cerro, L.F., Herzig, A., Mengin, J. (eds) Logics in Artificial Intelligence. JELIA 2012. Lecture Notes in Computer Science(), vol 7519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33353-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-33353-8_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33352-1
Online ISBN: 978-3-642-33353-8
eBook Packages: Computer ScienceComputer Science (R0)