Myrthe Tielman,
M.B. (Birna) Van Riemsdijk,
Michael Winikoff,
Version 1 of Dataset published 2023 via 4TU.ResearchData
Dataset belonging to the paper: What can I do to help you? - A formal framework for agents reasoning about behavior change support for people (currently under submission)This paper describes a formal framework to describe behavior, model a person's wish to change that behavior, and reason about what consequences that change would have.The dataset includes the prolog implementations of the definitions, the materials (e.g. questionnaire) used in the user evaluation, and the R code to analyze the data from this evaluation.