Skip to main content

2015 | OriginalPaper | Buchkapitel

Deliberative Argumentation for Service Provision in Smart Environments

verfasst von : Juan Carlos Nieves, Helena Lindgren

Erschienen in: Multi-Agent Systems

Verlag: Springer International Publishing

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

search-config
loading …

Abstract

In this paper, we introduce an inquiry dialogue approach for supporting decision making in a smart environment setting. These inquiry dialogues have as topic either agreement atoms or agreement rules, which capture services in a smart environment. These services are provided and supported by three rational agents with different roles: Environment Agent, Activity Agent and Coach Agent. These three agents have different capabilities and represent different data sources; however, they have to collaborate in order to deliver services in a smart environment.
The knowledge base of each agent is captured by extended logic programs. Therefore, the construction of arguments is supported by the Well-Founded Semantics (WFS). The outcome of the inquiry dialogues is supported by well-known argumentation semantics.

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!

Fußnoten
1
This definition of an agreement rule extends our previous definition of agreement rules introduced in [9].
 
2
By \(\mathcal{L}_P\), we denote the set of atoms in the language of \(P\).
 
3
This argumentation engine can be download from: http://​esteban-guerrero.​tumblr.​com/​argengine.
 
4
We are assuming that \(A\) has at least two participants.
 
5
Due to lack of space, we omit the formal definition of the argumentation semantics. Please find their definitions in [2].
 
Literatur
1.
Zurück zum Zitat Amgoud, L., Prade, H.: Reaching agreement through argumentation: a possibilistic approach. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, 2–5 June 2004, pp. 175–182. AAAI Press (2004) Amgoud, L., Prade, H.: Reaching agreement through argumentation: a possibilistic approach. In: Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), Whistler, Canada, 2–5 June 2004, pp. 175–182. AAAI Press (2004)
2.
Zurück zum Zitat 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
3.
Zurück zum Zitat 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
4.
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, 63–101 (1997)CrossRefMATHMathSciNet Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)CrossRefMATHMathSciNet
5.
Zurück zum Zitat 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)CrossRefMATHMathSciNet 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)CrossRefMATHMathSciNet
6.
Zurück zum Zitat Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)CrossRefMATHMathSciNet Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)CrossRefMATHMathSciNet
7.
Zurück zum Zitat Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MATH Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)MATH
8.
Zurück zum Zitat Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artif. Intell. 104(1–2), 1–69 (1998)CrossRefMATHMathSciNet Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artif. Intell. 104(1–2), 1–69 (1998)CrossRefMATHMathSciNet
9.
Zurück zum Zitat Nieves, J.C., Guerrero, E., Baskar, J., Lindgren, H.: Deliberative argumentation for smart environments. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds.) PRIMA 2014. LNCS (LNAI), vol. 8861, pp. 141–149. Springer, Heidelberg (2014) CrossRef Nieves, J.C., Guerrero, E., Baskar, J., Lindgren, H.: Deliberative argumentation for smart environments. In: Dam, H.K., Pitt, J., Xu, Y., Governatori, G., Ito, T. (eds.) PRIMA 2014. LNCS (LNAI), vol. 8861, pp. 141–149. Springer, Heidelberg (2014) CrossRef
10.
Zurück zum Zitat 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
11.
Zurück zum Zitat Tachmazidis, I., Antoniou, G., Faber, W.: Efficient computation of the well-founded semantics over big data. TPLP 14(4–5), 445–459 (2014)MATHMathSciNet Tachmazidis, I., Antoniou, G., Faber, W.: Efficient computation of the well-founded semantics over big data. TPLP 14(4–5), 445–459 (2014)MATHMathSciNet
Metadaten
Titel
Deliberative Argumentation for Service Provision in Smart Environments
verfasst von
Juan Carlos Nieves
Helena Lindgren
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-17130-2_27