Skip to main content
Top

2018 | OriginalPaper | Chapter

Approximating Agreements in Argumentation Dialogues

Author : Juan Carlos Nieves

Published in: Multi-Agent Systems and Agreement Technologies

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

In many real applications, to reach an agreement between the participants of a dialogue, which can be for instance a negotiation, is not easy. Indeed, there are application domains such as the medical domain where to have a consensus among medical professionals is not feasible and might even be regarded as counterproductive. In this paper, we introduce an approach for expressing goals of a dialogue considering ordered disjunction rules. By applying argumentation semantics and degrees of satisfaction of goals, we introduce the so-called dialogue agreement degree. Moreover, by considering sets of dialogue agreement degrees, we define a lattice of agreement degrees. We argue that a lattice of agreement degrees suggests different approximations between the current state of a dialogue and its aimed goals. Indeed, a lattice of agreement degrees can show evidence about whether or not it is acceptable to dismiss goals in order to maximize agreements regarding other goals.

Dont have a licence yet? Then find out more about our products and how to get one now:

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!

Literature
1.
go back to reference Atkinson, K., et al.: Towards artificial argumentation. AI Mag. 38(3), 25–36 (2017)CrossRef Atkinson, K., et al.: Towards artificial argumentation. AI Mag. 38(3), 25–36 (2017)CrossRef
2.
go back to reference Baral, C.: Knowledge Representation. Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)CrossRef Baral, C.: Knowledge Representation. Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)CrossRef
3.
go back to reference Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)CrossRef
4.
go back to reference Baumann, R., Woltran, S.: The role of self-attacking arguments in characterizations of equivalence notions. J. Logic Comput. 24(14), 1293–1313 (2014)MathSciNetMATH Baumann, R., Woltran, S.: The role of self-attacking arguments in characterizations of equivalence notions. J. Logic Comput. 24(14), 1293–1313 (2014)MathSciNetMATH
5.
go back to reference Black, E., Hunter, A.: An inquiry dialogue system. Auton. Agents. Multi-Agent Syst. 19(2), 173–209 (2009)CrossRef Black, E., Hunter, A.: An inquiry dialogue system. Auton. Agents. Multi-Agent Syst. 19(2), 173–209 (2009)CrossRef
6.
go back to reference Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)MathSciNetCrossRef Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)MathSciNetCrossRef
7.
go back to reference Brewka, G., Niemelä, I., Syrjänen, T.: Logic programs with ordered disjunction. Comput. Intell. 20(2), 335–357 (2004)MathSciNetCrossRef Brewka, G., Niemelä, I., Syrjänen, T.: Logic programs with ordered disjunction. Comput. Intell. 20(2), 335–357 (2004)MathSciNetCrossRef
8.
go back to reference Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)MathSciNetCrossRef Dung, P.M.: On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artif. Intell. 77(2), 321–358 (1995)MathSciNetCrossRef
9.
go back to reference Dunne, P.E.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell. 171(10–15), 701–729 (2007)MathSciNetCrossRef Dunne, P.E.: Computational properties of argument systems satisfying graph-theoretic constraints. Artif. Intell. 171(10–15), 701–729 (2007)MathSciNetCrossRef
10.
go back to reference Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)MathSciNetCrossRef Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)MathSciNetCrossRef
11.
go back to reference García, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory Pract. Logic Program. 4(1–2), 95–138 (2004)MathSciNetCrossRef García, A.J., Simari, G.R.: Defeasible logic programming: an argumentative approach. Theory Pract. Logic Program. 4(1–2), 95–138 (2004)MathSciNetCrossRef
12.
go back to reference Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MathSciNetMATH Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MathSciNetMATH
13.
go back to reference Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: Strategic argumentation is NP-complete. In: ECAI 2014–21st European Conference on Artificial Intelligence, vol. 263 of Frontiers in Artificial Intelligence and Applications, pp. 399–404. IOS Press (2014) Governatori, G., Olivieri, F., Scannapieco, S., Rotolo, A., Cristani, M.: Strategic argumentation is NP-complete. In: ECAI 2014–21st European Conference on Artificial Intelligence, vol. 263 of Frontiers in Artificial Intelligence and Applications, pp. 399–404. IOS Press (2014)
14.
go back to reference Guerrero, E., Nieves, J.C., Lindgren, H.: Semantic-based construction of arguments: an answer set programming approach. Int. J. Approximate Reasoning 64, 54–74 (2015)MathSciNetCrossRef Guerrero, E., Nieves, J.C., Lindgren, H.: Semantic-based construction of arguments: an answer set programming approach. Int. J. Approximate Reasoning 64, 54–74 (2015)MathSciNetCrossRef
15.
go back to reference Guerrero, E., Nieves, J.C., Lindgren, H.: An activity-centric argumentation framework for assistive technology aimed at improving health. Argument Comput. 7(1), 5–33 (2016) Guerrero, E., Nieves, J.C., Lindgren, H.: An activity-centric argumentation framework for assistive technology aimed at improving health. Argument Comput. 7(1), 5–33 (2016)
16.
go back to reference Kljakovic, M.: Clinical disagreement: a silent topic in general practice. NZ. Fam. Physician 30(5), 358–360 (2003) Kljakovic, M.: Clinical disagreement: a silent topic in general practice. NZ. Fam. Physician 30(5), 358–360 (2003)
17.
go back to reference Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artif. Intell. 104(1–2), 1–69 (1998)MathSciNetCrossRef Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artif. Intell. 104(1–2), 1–69 (1998)MathSciNetCrossRef
18.
go back to reference Modgil, S., Prakken, H.: The ASPIC\({}^{\text{+ }}\) framework for structured argumentation: a tutorial. Argument Comput. 5(1), 31–62 (2014)CrossRef Modgil, S., Prakken, H.: The ASPIC\({}^{\text{+ }}\) framework for structured argumentation: a tutorial. Argument Comput. 5(1), 31–62 (2014)CrossRef
21.
go back to reference Nieves, J.C., Osorio, M., Cortés, U.: Supporting decision making in organ transplating using argumentation theory. In: LANMR 2006: 2nd Latin American Non-Monotonic Reasoning Workshop, pp. 9–14 (2006) Nieves, J.C., Osorio, M., Cortés, U.: Supporting decision making in organ transplating using argumentation theory. In: LANMR 2006: 2nd Latin American Non-Monotonic Reasoning Workshop, pp. 9–14 (2006)
23.
go back to reference Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. J. Logic Comput. 13(3), 347–376 (2003)MathSciNetCrossRef Parsons, S., Wooldridge, M., Amgoud, L.: Properties and complexity of some formal inter-agent dialogues. J. Logic Comput. 13(3), 347–376 (2003)MathSciNetCrossRef
24.
go back to reference Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Logic Comput. 15(6), 1009–1040 (2005)MathSciNetCrossRef Prakken, H.: Coherence and flexibility in dialogue games for argumentation. J. Logic Comput. 15(6), 1009–1040 (2005)MathSciNetCrossRef
25.
go back to reference Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2), 163–188 (2006)CrossRef Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2), 163–188 (2006)CrossRef
26.
go back to reference Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-Classical Logics 7(1), 25–75 (1997)MathSciNetCrossRef Prakken, H., Sartor, G.: Argument-based extended logic programming with defeasible priorities. J. Appl. Non-Classical Logics 7(1), 25–75 (1997)MathSciNetCrossRef
29.
go back to reference Tolchinsky, P., Cortés, U., Nieves, J.C., López-Navidad, A., Caballero, F.: Using arguing agents to increase the human organ pool for transplantation. In: Proceedings of the Third Workshop on Agents Applied in Health Care (IJCAI 2005) (2005) Tolchinsky, P., Cortés, U., Nieves, J.C., López-Navidad, A., Caballero, F.: Using arguing agents to increase the human organ pool for transplantation. In: Proceedings of the Third Workshop on Agents Applied in Health Care (IJCAI 2005) (2005)
Metadata
Title
Approximating Agreements in Argumentation Dialogues
Author
Juan Carlos Nieves
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-030-01713-2_35

Premium Partner