Abstract
People delegate tasks only if they trust the one that is going to execute them, who can be a person or a system. Current approaches mostly focus on creating methods (elicitation approaches or learning algorithms) that aim at increasing the accuracy of (internal) user models. However, the existence of a chance of a method giving a wrong answer decreases users’ trust on software systems, thus preventing the task delegation. We aim at increasing users’ trust on personal assistance software based on agents by exposing a high-level user model to users, which brings two main advantages: (i) users are able to understand and verify how the system is modeling them (transparency); and (ii) it empowers users to control and make adjustments on their agents. This paper focuses on describing a domain-neutral user metamodel, which allows instantiating high-level user models with configurations and preferences. In addition, we present a two-level software architecture that supports the development of systems with high-level user models and a mechanism that keeps this model consistent with the underlying implementation.
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
Weiss, G. (ed.): Multiagent systems: a modern approach to distributed artificial intelligence. MIT Press, Cambridge (1999)
Maes, P.: Agents that reduce work and information overload. Commun. ACM 37(7), 30–40 (1994)
Schiaffino, S., Amandi, A.: User - interface agent interaction: personalization issues. Int. J. Hum. Comput. Stud. 60(1), 129–148 (2004)
Pohl, K., Böckle, G., van der Linden, F.J.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)
Kang, K., Cohen, S., Hess, J., Novak, W., Peterson, A.S.: Feature-oriented domain analysis (FODA) feasibility study. Technical Report CMU/SEI-90-TR-021, SEI (1990)
Keeney, R.L.: Value-focused thinking – A Path to Creative Decisionmaking. Harvard University Press, London (1944)
Doyle, J.: Prospects for preferences. Computational Intelligence 20, 111–136 (2004)
Nunes, I., Barbosa, S., Lucena, C.: Modeling user preferences into agent architectures: a survey. Technical Report 25/09, PUC-Rio, Brazil (September 2009)
Kästner, C., Apel, S.: Virtual separation of concerns - a second chance for preprocessors. Journal of Object Technology 8(6), 59–78 (2009)
Agrawal, R., Wimmers, E.L.: A framework for expressing and combining preferences. In: 2000 ACM SIGMOD, pp. 297–306 (2000)
Boutilier, C., Brafman, R.I., Hoos, H.H., Poole, D.: Cp-nets: A tool for representing and reasoning with conditional ceteris paribus preference statements. Journal of Artificial Intelligence Research 21, 135–191 (2004)
Lang, J., van der Torre, L.: From belief change to preference change. In: ECAI 2008, The Netherlands, pp. 351–355. IOS Press, Amsterdam (2008)
Ayres, L., Furtado, V.: Owlpref: Uma representação declarativa de preferências para web semântica. In: XXVII Congresso da SBC, Brazil, pp. 1411–1419 (2007)
Tapucu, D., Can, O., Bursa, O., Unalir, M.O.: Metamodeling approach to preference management in the semantic web. In: M-PREF, USA, pp. 116–123 (2008)
Berry, P., Peintner, B., Conley, K., Gervasio, M., Uribe, T., Yorke-Smith, N.: Deploying a personalized time management agent. In: AAMAS 2006, pp. 1564–1571 (2006)
Berry, P.M., Donneau-Golencer, T., Duong, K., Gervasio, M., Peintner, B., Yorke-Smith, N.: Evaluating user-adaptive systems: Lessons from experiences with a personalized meeting scheduling assistant. In: IAAI 2009, pp. 40–46 (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nunes, I., Barbosa, S.D.J., de Lucena, C.J.P. (2010). Increasing Users’ Trust on Personal Assistance Software Using a Domain-Neutral High-Level User Model. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification, and Validation. ISoLA 2010. Lecture Notes in Computer Science, vol 6415. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-16558-0_40
Download citation
DOI: https://doi.org/10.1007/978-3-642-16558-0_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-16557-3
Online ISBN: 978-3-642-16558-0
eBook Packages: Computer ScienceComputer Science (R0)