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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 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].
References
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)
Baroni, P., Caminada, M., Giacomin, M.: An introduction to argumentation semantics. Knowl. Eng. Rev. 26(4), 365–410 (2011)
Black, E., Hunter, A.: An inquiry dialogue system. Auton. Agents Multi-Agent Syst. 19(2), 173–209 (2009)
Bondarenko, A., Dung, P.M., Kowalski, R.A., Toni, F.: An abstract, argumentation-theoretic approach to default reasoning. Artif. Intell. 93, 63–101 (1997)
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)
Fan, X., Toni, F.: A general framework for sound assumption-based argumentation dialogues. Artif. Intell. 216, 20–54 (2014)
Gelder, A.V., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. J. ACM 38(3), 620–650 (1991)
Kraus, S., Sycara, K.P., Evenchik, A.: Reaching agreements through argumentation: a logical model and implementation. Artif. Intell. 104(1–2), 1–69 (1998)
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)
Prakken, H.: Formal systems for persuasion dialogue. Knowl. Eng. Rev. 21(2), 163–188 (2006)
Tachmazidis, I., Antoniou, G., Faber, W.: Efficient computation of the well-founded semantics over big data. TPLP 14(4–5), 445–459 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Nieves, J.C., Lindgren, H. (2015). Deliberative Argumentation for Service Provision in Smart Environments. In: Bulling, N. (eds) Multi-Agent Systems. EUMAS 2014. Lecture Notes in Computer Science(), vol 8953. Springer, Cham. https://doi.org/10.1007/978-3-319-17130-2_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-17130-2_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-17129-6
Online ISBN: 978-3-319-17130-2
eBook Packages: Computer ScienceComputer Science (R0)