From Good Intentions to Behaviour Change

Probabilistic Feature Diagrams for Behaviour Support Agents
  • Malte S. Kließ
  • Marielle Stoelinga
  • M. Birna van RiemsdijkEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 11873)


Behaviour support technology assists people in organising their daily activities and changing their behaviour. A fundamental notion underlying such supportive technology is that of compliance with behavioural norms: do people indeed perform the desired behaviour? Existing technology employs a rigid implementation of compliance: a norm is either satisfied or not. In practice however, behaviour change norms are less strict: E.g., is a new norm to do sports at least three times a week complied with if it is occasionally only done twice a week? To address this, in this paper we formally specify probabilistic norms through a variant of feature diagrams, enabling a hierarchical decomposition of the desired behaviour and its execution frequencies. Further, we define a new notion of probabilistic norm compliance using a formal hypothesis testing framework. We show that probabilistic norm compliance can be used in a real-world setting by implementing and evaluating our semantics with respect to an existing daily behaviour dataset.


  1. 1.
    Albrecht, S.V., Ramamoorthy, S.: Are you doing what i think you are doing? criticising uncertain agent models. In: Proceedings of the Thirty-First Conference on Uncertainty in Artificial Intelligence, Arlington, Virginia, United States, UAI 2015, pp. 52–61. AUAI Press (2015)Google Scholar
  2. 2.
    Andrighetto, G., Governatori, G., Noriega, P., van der Torre, L. (eds.) Normative Multi-Agent Systems, vol. 4 of Dagstuhl Follow-Ups. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2013)Google Scholar
  3. 3.
    Cheung, L., Stoelinga, M., Vaandrager, F.W.: A testing scenario for probabilistic processes. J. ACM 54(6), 29 (2007)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Gerhold, M., Stoelinga, M.: Model-based testing of probabilistic systems. Formal Asp. Comput. 30(1), 77–106 (2018)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Hull, C.L.: Principles of Behavior: An Introduction to Behavior Theory. Appleton-Century, New York (1943)Google Scholar
  6. 6.
    Kließ, M.S., Jonker, C.M., van Riemsdijk, M.B.A.: Temporal logic for modelling activities of daily living. In: Alechina, N., Nørvåg, K., Penczek, W. (eds.) 25th International Symposium on Temporal Representation and Reasoning, TIME 2018, vol. 120 of Leibniz International Proceedings in Informatics (LIPIcs), pp. 17:1–17:15. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2018)Google Scholar
  7. 7.
    Oinas-Kukkonen, Harri: Behavior change support systems: a research model and agenda. In: Ploug, Thomas, Hasle, Per, Oinas-Kukkonen, Harri (eds.) PERSUASIVE 2010. LNCS, vol. 6137, pp. 4–14. Springer, Heidelberg (2010). Scholar
  8. 8.
    Pasotti, P., Jonker, C.M., van Riemsdijk, M.B.: Action identification hierarchies for behaviour support agents. In: Third Workshop on Cognitive Knowledge Acquisition and Applications, Cognitum 2017 at IJCAI 2017 (2017)Google Scholar
  9. 9.
    Pasotti, P., van Riemsdijk, M.B., Jonker, C.M.: Representing human habits: towards a habit support agent. In: Proceedings of the 10th International Workshop on Normative Multiagent Systems, NorMAS 2016 (2016) Google Scholar
  10. 10.
    Reijsbergen, D., de Boer, P.-T., Scheinhardt, W., Haverkort, B.: On hypothesis testing for statistical model checking. Int. J. Softw. Tools Technol. Transfer 17(4), 377–395 (2015)CrossRefGoogle Scholar
  11. 11.
    Schobbens, P., Heymans, P., Trigaux, J.: Feature diagrams: a survey and a formal semantics. In: 14th IEEE International Requirements Engineering Conference, RE 2006, pp. 139–148, September 2006Google Scholar
  12. 12.
    Shafti, Leila S., Haya, Pablo Alfonso, García-Herranz, Manuel, Alamán, Xavier: Personal ambient intelligent reminder for people with cognitive disabilities. In: Bravo, José, Hervás, Ramón, Rodríguez, Marcela (eds.) IWAAL 2012. LNCS, vol. 7657, pp. 383–390. Springer, Heidelberg (2012). Scholar
  13. 13.
    Sun, J., Zhang, H., Fang, Y., Wang, L.H.: Formal semantics and verification for feature modeling. In: 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2005. IEEE, pp. 303–312 (2005)Google Scholar
  14. 14.
    Sztyler, T.T, Carmona, J.J.: Activities of daily living of several individuals (2015).
  15. 15.
    ter Beek, M.H., Legay, A., Lafuente, A.L., Vandin, A.: Statistical analysis of probabilistic models of software product lines with quantitative constraints. In: Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, New York, NY, USA, pp. 11–15. ACM (2015)Google Scholar
  16. 16.
    Thangarajah, J., Padgham, L., Winikoff, M.: Detecting & exploiting positive goal interaction in intelligent agents. In: Proceedings of the Second International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2003, pp. 401–408. ACM (2003)Google Scholar
  17. 17.
    Tielman, M.L., Jonker, C.M., van Riemsdijk, M.B.: What should i do? deriving norms from actions, values and context. In: Cassens, J., Wegener, R., Kofod-Petersen, A. (eds.) Proceedings of the Tenth International Workshop Modelling and Reasoning in Context, MRC 2018, no. 2134, pp. 35–40. CEUR Workshop Proceedings (2018) Google Scholar
  18. 18.
    Vallacher, R.R., Wegner, D.M.: What do people think they’re doing? action identification and human behavior. Psychol. Rev. 94(1), 3–15 (1987)CrossRefGoogle Scholar
  19. 19.
    van Riemsdijk, M.B., Jonker, C.M., Lesser, V.: Creating socially adaptive electronic partners: interaction, reasoning and ethical challenges. In: Proceedings of the Fourteenth International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, pp. 1201–1206. IFAAMAS (2015)Google Scholar
  20. 20.
    van Riemsdijk, M.B.: Feature diagrams for behaviour support agents in Grakn. (2019)

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Malte S. Kließ
    • 1
  • Marielle Stoelinga
    • 2
  • M. Birna van Riemsdijk
    • 1
    • 2
    Email author
  1. 1.Delft University of TechnologyDelftThe Netherlands
  2. 2.University of TwenteEnschedeThe Netherlands

Personalised recommendations