{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T16:43:20Z","timestamp":1776098600935,"version":"3.50.1"},"reference-count":33,"publisher":"Cambridge University Press (CUP)","issue":"5","license":[{"start":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T00:00:00Z","timestamp":1666224000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["cambridge.org"],"crossmark-restriction":true},"short-container-title":["Theory and Practice of Logic Programming"],"published-print":{"date-parts":[[2023,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present and discuss a runtime architecture that integrates sensorial data and classifiers with a logic-based decision-making system in the context of an e-Health system for the rehabilitation of children with neuromotor disorders. In this application, children perform a rehabilitation task in the form of games. The main aim of the system is to derive a set of parameters the child\u2019s current level of cognitive and behavioral performance (e.g., engagement, attention, task accuracy) from the available sensors and classifiers (e.g., eye trackers, motion sensors, emotion recognition techniques) and take decisions accordingly. These decisions are typically aimed at improving the child\u2019s performance by triggering appropriate re-engagement stimuli when their attention is low, by changing the game or making it more difficult when the child is losing interest in the task as it is too easy. Alongside state-of-the-art techniques for emotion recognition and head pose estimation, we use a runtime variant of a probabilistic and epistemic logic programming dialect of the Event Calculus, known as the Epistemic Probabilistic Event Calculus. In particular, the probabilistic component of this symbolic framework allows for a natural interface with the machine learning techniques. We overview the architecture and its components, and show some of its characteristics through a discussion of a running example and experiments.<\/jats:p>","DOI":"10.1017\/s1471068422000382","type":"journal-article","created":{"date-parts":[[2022,10,20]],"date-time":"2022-10-20T07:45:03Z","timestamp":1666251903000},"page":"1070-1093","update-policy":"https:\/\/doi.org\/10.1017\/policypage","source":"Crossref","is-referenced-by-count":2,"title":["An Application of a Runtime Epistemic Probabilistic Event Calculus to Decision-making in e-Health Systems"],"prefix":"10.1017","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2958-3874","authenticated-orcid":false,"given":"FABIO AURELIO","family":"D\u2019ASARO","sequence":"first","affiliation":[]},{"given":"LUCA","family":"RAGGIOLI","sequence":"additional","affiliation":[]},{"given":"SALIM","family":"MALEK","sequence":"additional","affiliation":[]},{"given":"MARCO","family":"GRAZIOSO","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3379-1756","authenticated-orcid":false,"given":"SILVIA","family":"ROSSI","sequence":"additional","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2022,10,20]]},"reference":[{"key":"S1471068422000382_ref8","first-page":"2462","article-title":"Problog: A probabilistic prolog and its application in link discovery","volume":"7","author":"De Raedt","year":"2007","journal-title":"In IJCAI"},{"key":"S1471068422000382_ref23","doi-asserted-by":"crossref","unstructured":"Papandreou, G. , Zhu, T. , Chen, L.-C. , Gidaris, S. , Tompson, J. and Murphy, K. 2018. Personlab: Person pose estimation and instance segmentation with a bottom-up, part-based, geometric embedding model. In Proceedings of the European Conference on Computer Vision (ECCV), 269\u2013286.","DOI":"10.1007\/978-3-030-01264-9_17"},{"key":"S1471068422000382_ref15","doi-asserted-by":"crossref","first-page":"607","DOI":"10.1017\/S1471068418000303","article-title":"A probabilistic extension of action language bc+","volume":"3\u20134","author":"Lee","year":"2018","journal-title":"Theory and Practice of Logic Programming 18"},{"key":"S1471068422000382_ref33","first-page":"1","article-title":"A computerized adaptive testing advancing the measurement of subjective well-being","author":"Wu","year":"2019","journal-title":"Journal of Pacific Rim Psychology 13"},{"key":"S1471068422000382_ref1","doi-asserted-by":"crossref","unstructured":"Acciaro, G. D. , D\u2019Asaro, F. A. and Rossi, S. 2021. Predicting humans: A sensor-based architecture for real time intent recognition using problog. In Proceedings of the 22nd Workshop \u201cFrom Objects to Agents\u201d, Bologna, Italy, September 1\u20133, 2021, R. Calegari, G. Ciatto, E. Denti, A. Omicini and G. Sartor, Eds. CEUR Workshop Proceedings, vol. 2963. CEUR-WS.org, 72\u201382.","DOI":"10.3233\/IA-220141"},{"key":"S1471068422000382_ref26","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1007\/s10994-006-5833-1","article-title":"Markov logic networks","volume":"1","author":"Richardson","year":"2006","journal-title":"Machine Learning 62"},{"key":"S1471068422000382_ref11","doi-asserted-by":"crossref","first-page":"512","DOI":"10.1016\/j.apmr.2017.07.017","article-title":"Development of a computerized adaptive test of children\u2019s gross motor skills","volume":"3","author":"Huang","year":"2018","journal-title":"Archives of Physical Medicine and Rehabilitation 99"},{"key":"S1471068422000382_ref18","doi-asserted-by":"crossref","unstructured":"Miller, R. and Shanahan, M. 2002. Some alternative formulations of the event calculus. In Computational Logic: Logic Programming And Beyond. Springer, 452\u2013490.","DOI":"10.1007\/3-540-45632-5_17"},{"key":"S1471068422000382_ref25","doi-asserted-by":"crossref","first-page":"35811","DOI":"10.1007\/s11042-020-09405-4","article-title":"Personalized models for facial emotion recognition through transfer learning","volume":"47","author":"Rescigno","year":"2020","journal-title":"Multimedia Tools and Applications 79"},{"key":"S1471068422000382_ref29","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1017\/S1471068413000690","article-title":"A probabilistic logic programming event calculus","author":"Skarlatidis","year":"2015","journal-title":"Theory and Practice of Logic Programming 15"},{"key":"S1471068422000382_ref10","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","article-title":"Nonmonotonic causal theories","volume":"1","author":"Giunchiglia","year":"2004","journal-title":"Artificial Intelligence 153"},{"key":"S1471068422000382_ref14","doi-asserted-by":"crossref","first-page":"942","DOI":"10.1017\/S1471068417000400","article-title":"Computing lpmln using asp and mln solvers","volume":"5\u20136","author":"Lee","year":"2017","journal-title":"Theory and Practice of Logic Programming 17"},{"key":"S1471068422000382_ref16","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1016\/S0004-3702(96)00044-6","article-title":"How to progress a database","volume":"1","author":"Lin","year":"1997","journal-title":"Artificial Intelligence 92"},{"key":"S1471068422000382_ref20","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1097\/BPO.0b013e318168c792","article-title":"Measuring physical functioning in children with spinal impairments with computerized adaptive testing","volume":"3","author":"Mulcahey","year":"2008","journal-title":"Journal of Pediatric Orthopedics 28"},{"key":"S1471068422000382_ref3","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/j.artint.2018.06.003","article-title":"Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems","author":"Belle","year":"2018","journal-title":"Artificial Intelligence 262"},{"key":"S1471068422000382_ref12","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","article-title":"A logic-based calculus of events","volume":"1","author":"Kowalski","year":"1986","journal-title":"New Generation Computing 4"},{"key":"S1471068422000382_ref30","first-page":"11","article-title":"Probabilistic event calculus for event recognition","volume":"2","author":"Skarlatidis","year":"2015","journal-title":"ACM Transactions on Computational Logic (TOCL) 16"},{"key":"S1471068422000382_ref7","unstructured":"D\u2019Asaro, F. A. , Origlia, A. and Rossi, S. 2019. Towards a logic-based approach for multi-modal fusion and decision making during motor rehabilitation sessions. In Proceedings of the 20th Workshop \u201cFrom Objects to Agents\u201d (WOA)."},{"key":"S1471068422000382_ref24","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/4074.001.0001","volume-title":"Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems","author":"Reiter","year":"2001"},{"key":"S1471068422000382_ref28","doi-asserted-by":"crossref","unstructured":"Sato, T. 1995. A statistical learning method for logic programs with distribution semantics. In Proceedings of the 12th International Conference on Logic Programming (ICLP95). Citeseer.","DOI":"10.7551\/mitpress\/4298.003.0069"},{"key":"S1471068422000382_ref32","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1016\/j.compedu.2015.01.001","article-title":"The impact of an exergame-based intervention on children\u2019s fundamental motor skills","author":"Vernadakis","year":"2015","journal-title":"Computers and Education 83"},{"key":"S1471068422000382_ref22","unstructured":"Origlia, A. , Cosi, P. , Rod\u00e0, A. and Zmarich, C. 2017. A dialogue-based software architecture for gamified discrimination tests. In GHITALY@ CHItaly."},{"key":"S1471068422000382_ref21","doi-asserted-by":"crossref","first-page":"544","DOI":"10.1136\/amiajnl-2011-000464","article-title":"Natural language processing: an introduction","volume":"5","author":"Nadkarni","year":"2011","journal-title":"Journal of the American Medical Informatics Association 18"},{"key":"S1471068422000382_ref27","doi-asserted-by":"crossref","unstructured":"Riguzzi, F. 2018. Foundations of Probabilistic Logic Programming. River Publishers Series in Software Engineering. River Publishers.","DOI":"10.1145\/3191315.3191319"},{"key":"S1471068422000382_ref6","doi-asserted-by":"crossref","first-page":"103352","DOI":"10.1016\/j.artint.2020.103352","article-title":"Probabilistic reasoning about epistemic action narratives","author":"D\u2019Asaro","year":"2020","journal-title":"Artificial Intelligence 287"},{"key":"S1471068422000382_ref31","volume-title":"The Proper Treatment of Events","volume":"6","author":"Van Lambalgen","year":"2008"},{"key":"S1471068422000382_ref5","doi-asserted-by":"crossref","unstructured":"D\u2019Asaro, F. A. , Bikakis, A. , Dickens, L. and Miller, R. 2017. Foundations for a probabilistic event calculus. In Proceedings of the 14th International Conference Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, M. Balduccini and T. Janhunen, Eds. Springer International Publishing, Cham, 57\u201363.","DOI":"10.1007\/978-3-319-61660-5_7"},{"key":"S1471068422000382_ref9","unstructured":"Gebser, M. , Kaminski, R. , Kaufmann, B. and Schaub, T. 2014. Clingo = ASP + control: Preliminary report. In Proceedings of Technical Communications of the 30th International Conference on Logic Programming (ICLP\u201914), M. Leuschel and T. Schrijvers, Eds. Theory and Practice of Logic Programming, Online Supplement, vol. 14(4\u20135). URL: http:\/\/arxiv.org\/abs\/1405.3694v1."},{"key":"S1471068422000382_ref2","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","article-title":"Reasoning about noisy sensors and effectors in the situation calculus","volume":"1\u20132","author":"Bacchus","year":"1999","journal-title":"Artificial Intelligence 111"},{"key":"S1471068422000382_ref13","first-page":"1097","article-title":"Imagenet classification with deep convolutional neural networks","author":"Krizhevsky","year":"2012","journal-title":"In Advances in Neural Information Processing Systems."},{"key":"S1471068422000382_ref17","doi-asserted-by":"crossref","first-page":"406","DOI":"10.1016\/j.patrec.2021.11.002","article-title":"Head pose estimation using facial-landmarks classification for children rehabilitation games","author":"Malek","year":"2021","journal-title":"Pattern Recognition Letters 152"},{"key":"S1471068422000382_ref19","first-page":"18","article-title":"Affectnet: A database for facial expression, valence, and arousal computing in the wild","volume":"1","author":"Mollahosseini","year":"2017","journal-title":"IEEE Transactions on Affective Computing 10"},{"key":"S1471068422000382_ref4","first-page":"33","article-title":"Multimodal child-robot interaction: Building social bonds","volume":"2","author":"Belpaeme","year":"2012","journal-title":"Journal of Human-Robot Interaction 1"}],"container-title":["Theory and Practice of Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1471068422000382","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,6]],"date-time":"2024-10-06T05:16:17Z","timestamp":1728191777000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1471068422000382\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,20]]},"references-count":33,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2023,9]]}},"alternative-id":["S1471068422000382"],"URL":"https:\/\/doi.org\/10.1017\/s1471068422000382","relation":{},"ISSN":["1471-0684","1475-3081"],"issn-type":[{"value":"1471-0684","type":"print"},{"value":"1475-3081","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,10,20]]},"assertion":[{"value":"\u00a9 The Author(s), 2022. Published by Cambridge University Press","name":"copyright","label":"Copyright","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (http:\/\/creativecommons.org\/licenses\/by\/4.0), which permits unrestricted re-use, distribution and reproduction, provided the original article is properly cited.","name":"license","label":"License","group":{"name":"copyright_and_licensing","label":"Copyright and Licensing"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}