Skip to main content

2017 | OriginalPaper | Buchkapitel

From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond

verfasst von : Francesca Toni

Erschienen in: Logic Programming and Nonmonotonic Reasoning

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Argumentation has gained popularity in AI in recent years to support several activities and forms of reasoning. This talk will trace back the logic programming and non-monotonic reasoning origins of two well-known argumentation formalisms in AI (namely abstract argumentation and assumption-based argumentation). Finally, the talk will discuss recent developments in AI making use of computational argumentation, in particular to support collaborative decision making.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
[BDKT97]
Zurück zum Zitat Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93(1–2), 63–101 (1997)MathSciNetCrossRefMATH Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93(1–2), 63–101 (1997)MathSciNetCrossRefMATH
[BH14]
Zurück zum Zitat Besnard, P., Hunter, A.: Constructing argument graphs with deductive arguments: a tutorial. Argument Comput. 5(1), 5–30 (2014)CrossRef Besnard, P., Hunter, A.: Constructing argument graphs with deductive arguments: a tutorial. Argument Comput. 5(1), 5–30 (2014)CrossRef
[BS11]
Zurück zum Zitat Bistarelli, S., Santini, F.: Conarg: a constraint-based computational framework for argumentation systems. In: IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI, pp. 605–612. IEEE Computer Society (2011) Bistarelli, S., Santini, F.: Conarg: a constraint-based computational framework for argumentation systems. In: IEEE 23rd International Conference on Tools with Artificial Intelligence, ICTAI, pp. 605–612. IEEE Computer Society (2011)
[BTK93]
Zurück zum Zitat Bondarenko, A., Toni, F., Kowalski, R.A.: An assumption-based framework for non-monotonic reasoning. In: Pereira, L.M., Nerode, A. (eds.) Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (LPNMR 1993), pp. 171–189, Lisbon, Portugal. MIT Press, June 1993 Bondarenko, A., Toni, F., Kowalski, R.A.: An assumption-based framework for non-monotonic reasoning. In: Pereira, L.M., Nerode, A. (eds.) Proceedings of the 2nd International Workshop on Logic Programming and Non-monotonic Reasoning (LPNMR 1993), pp. 171–189, Lisbon, Portugal. MIT Press, June 1993
[CST16]
Zurück zum Zitat Cyras, K., Satoh, K., Toni, F.: Abstract argumentation for case-based reasoning. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Cape Town, South Africa, 25–29 April 2016, pp. 549–552. AAAI Press (2016) Cyras, K., Satoh, K., Toni, F.: Abstract argumentation for case-based reasoning. In: Baral, C., Delgrande, J.P., Wolter, F. (eds.) Proceedings of the Fifteenth International Conference on Principles of Knowledge Representation and Reasoning, KR 2016, Cape Town, South Africa, 25–29 April 2016, pp. 549–552. AAAI Press (2016)
[DKT06]
Zurück zum Zitat Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170, 114–159 (2006)MathSciNetCrossRefMATH Dung, P.M., Kowalski, R.A., Toni, F.: Dialectic proof procedures for assumption-based, admissible argumentation. Artif. Intell. 170, 114–159 (2006)MathSciNetCrossRefMATH
[DKT09]
Zurück zum Zitat Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in AI, pp. 25–44. Springer, Heidelberg (2009) Dung, P.M., Kowalski, R.A., Toni, F.: Assumption-based argumentation. In: Rahwan, I., Simari, G.R. (eds.) Argumentation in AI, pp. 25–44. Springer, Heidelberg (2009)
[DMT07]
[Dun95]
Zurück zum Zitat Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)CrossRefMATH Dung, P.M.: On the acceptability of arguments and its fundamental role in non-monotonic reasoning, logic programming and n-person games. Artif. Intell. 77, 321–357 (1995)CrossRefMATH
[EGW10]
Zurück zum Zitat Egly, U., Gaggl, S.A., Woltran, S.: Answer-set programming encodings for argumentation frameworks. Argument Comput. 1(2), 147–177 (2010)CrossRefMATH Egly, U., Gaggl, S.A., Woltran, S.: Answer-set programming encodings for argumentation frameworks. Argument Comput. 1(2), 147–177 (2010)CrossRefMATH
[FCS+13]
Zurück zum Zitat Fan, X., Craven, R., Singer, R., Toni, F., Williams, M.: Assumption-based argumentation for decision-making with preferences: a medical case study. In: Leite, J., Son, T.C., Torroni, P., Torre, L., Woltran, S. (eds.) CLIMA 2013. LNCS, vol. 8143, pp. 374–390. Springer, Heidelberg (2013). doi:10.1007/978-3-642-40624-9_23 CrossRef Fan, X., Craven, R., Singer, R., Toni, F., Williams, M.: Assumption-based argumentation for decision-making with preferences: a medical case study. In: Leite, J., Son, T.C., Torroni, P., Torre, L., Woltran, S. (eds.) CLIMA 2013. LNCS, vol. 8143, pp. 374–390. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-40624-9_​23 CrossRef
[FT14]
[FT15]
Zurück zum Zitat Fan, X., Toni, F.: On computing explanations in argumentation. In: Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 1496–1502. AAAI Press (2015) Fan, X., Toni, F.: On computing explanations in argumentation. In: Bonet, B., Koenig, S. (eds.) Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, pp. 1496–1502. AAAI Press (2015)
[GT14]
Zurück zum Zitat Gao, Y., Toni, F.: Argumentation accelerated reinforcement learning for cooperative multi-agent systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, vol. 263 of Frontiers in Artificial Intelligence and Applications, pp. 333–338. IOS Press (2014) Gao, Y., Toni, F.: Argumentation accelerated reinforcement learning for cooperative multi-agent systems. In: Schaub, T., Friedrich, G., O’Sullivan, B. (eds.) 21st European Conference on Artificial Intelligence, ECAI 2014, vol. 263 of Frontiers in Artificial Intelligence and Applications, pp. 333–338. IOS Press (2014)
[GTWX16]
Zurück zum Zitat Gao, Y., Toni, F., Wang, H., Xu, F.: Argumentation-based multi-agent decision making with privacy preserved. In: Jonker, C.M., Marsella, S., Thangarajah, J., Tuyls, K. (eds.) Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pp. 1153–1161. ACM (2016) Gao, Y., Toni, F., Wang, H., Xu, F.: Argumentation-based multi-agent decision making with privacy preserved. In: Jonker, C.M., Marsella, S., Thangarajah, J., Tuyls, K. (eds.) Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems (AAMAS 2016), pp. 1153–1161. ACM (2016)
[ST16]
Zurück zum Zitat Schulz, C., Toni, F.: Justifying answer sets using argumentation. Theory Pract. Logic Program. 16(1), 59–110 (2016)MathSciNetCrossRef Schulz, C., Toni, F.: Justifying answer sets using argumentation. Theory Pract. Logic Program. 16(1), 59–110 (2016)MathSciNetCrossRef
[TDH09]
Zurück zum Zitat Thang, P.M., Dung, P.M., Hung, N.D.: Towards a common framework for dialectical proof procedures in abstract argumentation. J. Logic Comput. 19(6), 1071–1109 (2009)MathSciNetCrossRefMATH Thang, P.M., Dung, P.M., Hung, N.D.: Towards a common framework for dialectical proof procedures in abstract argumentation. J. Logic Comput. 19(6), 1071–1109 (2009)MathSciNetCrossRefMATH
[Ton13]
Zurück zum Zitat Toni, F.: A generalised framework for dispute derivations in assumption-based argumentation. Artif. Intell. 195, 1–43 (2013)MathSciNetCrossRefMATH Toni, F.: A generalised framework for dispute derivations in assumption-based argumentation. Artif. Intell. 195, 1–43 (2013)MathSciNetCrossRefMATH
[Ton14]
Zurück zum Zitat Toni, F.: A tutorial on assumption-based argumentation. Argument Comput. Spec. Issue Tutorials Struct. Argumentation 5(1), 89–117 (2014) Toni, F.: A tutorial on assumption-based argumentation. Argument Comput. Spec. Issue Tutorials Struct. Argumentation 5(1), 89–117 (2014)
[ZFTL14]
Zurück zum Zitat Zhong, Q., Fan, X., Toni, F., Luo, X.: Explaining best decisions via argumentation. In: Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, 3–5 November 2014, pp. 224–237 (2014) Zhong, Q., Fan, X., Toni, F., Luo, X.: Explaining best decisions via argumentation. In: Proceedings of the European Conference on Social Intelligence (ECSI-2014), Barcelona, Spain, 3–5 November 2014, pp. 224–237 (2014)
Metadaten
Titel
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond
verfasst von
Francesca Toni
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-61660-5_4