Adopting STP for Diet Management

We devise a scenario the interaction between the man and the food is mediated by an intelligent recommendation system that, on the basis of various factors, encourages (or discourages) the user to eat a specific course. The main factors that the system need to account for are (1) the diet that the user intends to follow, (2) the food that s/he has eaten in the last days or that s/he intends to eat in the next days, and (3) the nutritional values of the courses and their specific recipes. Automatic reasoning and Natural Language Generation (NLG) play a fundamental role in this project: the compatibility of a food with a diet is formalized as a Simple Temporal Problem (STP), while the NLG tries to motivate the user. In this paper we briefly sketch the formalization and the related reasoning facilities that we intend to devise.