Building an Epistemic Logic for Argumentation
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.
Unable to display preview. Download preview PDF.
- 5.Fagin, R., Moses, Y., Halpern, J., Vardi, M.: Reasoning about knowledge. The MIT Press (2003)Google Scholar
- 6.Gabbay, D.M.: Many-dimensional modal logics: theory and applications, vol. 148. North-Holland (2003)Google Scholar
- 7.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)Google Scholar
- 11.Rahwan, I., Larson, K.: Argumentation and game theory, pp. 321–339. Springer (2009)Google Scholar
- 12.Riveret, R., Prakken, H., Rotolo, A., Sartor, G.: Heuristics in argumentation: A game theory investigation. In: COMMA, pp. 324–335 (2008)Google Scholar
- 14.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)Google Scholar
- 15.van Ditmarsch, H., French, T.: Becoming aware of propositional variables. In: Logic and Its Applications, pp. 204–218 (2011)Google Scholar