Abstract
We exploit the Justification Logic capabilities of reasoning about justifications, comparing pieces of evidence, and measuring the complexity of justifications in the context of argumentative agents. The research can be integrated into the larger context of integrating logic and argumentation. The paper introduces distributed justification logic \(\mathcal{DJL}\) as an extension of justification logic for multi-agent systems, and it also investigates the expressivity of \(\mathcal{DJL}\) for argumentative agents. Not knowing all of the implications of their knowledge base, agents use justified arguments for reflection and guidance.
This is a preview of subscription content, log in via an institution to check access.
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
Alsinet, T., Chesñevar, C.I., Godo, L., Simari, G.R.: A logic programming framework for possibilistic argumentation: Formalization and logical properties. Fuzzy Sets and Systems 159(10), 1208–1228 (2008)
Artemov, S.N.: Justified common knowledge. Theoretical Computer Science 357(1-3), 4–22 (2006)
Artemov, S.N., Nogina, E.: On epistemic logic with justification. In: Proceedings of the 10th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2005, pp. 279–294 (2005)
Artemov, S.N.: Why do we need Justification Logic? Tech. Rep. TR–2008014, CUNY Ph.D. Program in Computer Science (September 2008)
Bader, S., Hitzler, P.: Dimensions of neural-symbolic integration - a structured survey. In: Artëmov, S.N., Barringer, H., d’Avila Garcez, A.S., Lamb, L.C., Woods, J. (eds.) We Will Show Them! (1), pp. 167–194. College Publications (2005)
Besnard, P., Hunter, A.: Argumentation based on classical logic. In: Simari, G., Rahwan, I. (eds.) Argumentation in Artificial Intelligence, pp. 133–152 (2009)
Cohen, A., Garcia, A.J., Simari, G.R.: Extending DeLP with Attack and Support for Defeasible Rules. In: Kuri-Morales, A., Simari, G.R. (eds.) IBERAMIA 2010. LNCS, vol. 6433, pp. 90–99. Springer, Heidelberg (2010)
Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)
Fitting, M.: Reasoning with justifications. In: Makinson, D., Malinowski, J., Wansing, H. (eds.) Towards Mathematical Philosophy, Papers from the Studia Logica Conference Trends in Logic IV. Trends in Logic, vol. 28, ch. 6, pp. 107–123. Springer (2009) (published online November 2008)
Gabbay, D.M.: Fibring argumentation frames. Studia Logica 93(2-3), 231–295 (2009)
Ghari, M.: Justification counterpart of distributed knowledge systems. In: Slavkovik, M. (ed.) Proceedings of the 15th Student Session of 13th European Summer School for Logic, Language and Information, August 9-20, pp. 25–36. FoLLI, Copenhagen (2010)
Grossi, D.: On the logic of argumentation theory. In: van der Hoek, W., Kaminka, G.A., Lespérance, Y., Luck, M., Sen, S. (eds.) AAMAS, pp. 409–416 (2010)
Horridge, M., Parsia, B., Sattler, U.: Justification Oriented Proofs in OWL. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol. 6496, pp. 354–369. Springer, Heidelberg (2010)
Letia, I.A., Groza, A.: Towards Pragmatic Argumentative Agents within a Fuzzy Description Logic Framework. In: McBurney, P., Rahwan, I., Parsons, S. (eds.) ArgMAS 2010. LNCS, vol. 6614, pp. 209–227. Springer, Heidelberg (2011)
Mayes, G.R.: Argument explanation complementarity and the structure of informal reasoning 30(1) (2010)
Modgil, S.: Hierarchical Argumentation. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds.) JELIA 2006. LNCS (LNAI), vol. 4160, pp. 319–332. Springer, Heidelberg (2006)
Moguillansky, M.O., Rotstein, N.D., Falappa, M.A., Simari, G.R.: Generalized Abstract Argumentation: Handling Arguments in FOL Fragments. In: Sossai, C., Chemello, G. (eds.) ECSQARU 2009. LNCS, vol. 5590, pp. 144–155. Springer, Heidelberg (2009)
Rahwan, I., Zablith, F., Reed, C.: Laying the foundations for a world wide argument web. Artif. Intell. 171(10-15), 897–921 (2007)
Reed, C., Walton, D.: Argumentation schemes in dialogue. In: Hansen, H.V., et al. (eds.) OSSA, pp. 1–11 (2007)
Reed, C.: Representing dialogic argumentation. Knowledge-Based Systems 19(1), 22–31 (2006)
Renne, B.: Evidence elimination in multi-agent justification logic. In: Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2009, pp. 227–236. ACM, New York (2009)
Walton, D., Godden, D.M.: Redefining knowledge in a way suitable for argumentation theory. In: Hansen, H.V. (ed.) Dissensus and the Search for Common Ground. pp. 1–13 (2007)
Walton, D., Reed, C., Macagno, F.: Argumentation Schemes. Cambridge University Press (2008)
Wooldridge, M., McBurney, P., Parsons, S.: On the meta-logic of arguments. In: Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2005, pp. 560–567. ACM, New York (2005)
Yavorskaya, T.: Interacting explicit evidence systems. Theory of Computer Systems 43, 272–293 (2008)
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
Letia, I.A., Groza, A. (2012). Arguing with Justifications between Collaborating Agents. In: McBurney, P., Parsons, S., Rahwan, I. (eds) Argumentation in Multi-Agent Systems. ArgMAS 2011. Lecture Notes in Computer Science(), vol 7543. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33152-7_7
Download citation
DOI: https://doi.org/10.1007/978-3-642-33152-7_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-33151-0
Online ISBN: 978-3-642-33152-7
eBook Packages: Computer ScienceComputer Science (R0)