Abstract
In the last years, rule-based systems have been used in mobile health and wellness applications for embedding and reasoning over domain-specific knowledge and suggesting actions to perform. However, often, no sufficient information is available to infer definite indications about the action to perform and one or more hypothesis should be formulated and evaluated with respect to their possible impacts. In order to face this issue, this paper proposes a mobile hypothetical reasoning system able to evaluate set of hypotheses, infer their outcomes and support the user in choosing the best one. In particular, it offers facilities to: (i) build specific scenarios starting from different initial hypothesis formulated by the user; (ii) optimize them by eliminating common domain-specific elements and avoiding their processing more than once; (iii) efficiently evaluate a set of logic rules over the optimized scenarios directly on the mobile devices and infer the logical consequences by providing timely responses and limiting the consumption of their resources. A case study has been arranged in order to evaluate the system’s effectiveness within a mobile application for managing personal diets according to daily caloric needs.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Poole, D., Goebel, R., Aleliunas, R.: Theorist: a logical reasoning system for defaults and diagnosis. In: Cercone, N., McCalla, G. (eds.) Knowledge Frontier: Essays in the Representation of Knowledge, pp. 331–352, Springer, New York (1987)
Poole, D.: A logical framework for default reasoning. Artif. Intell. 36(1), 27–47 (1988)
Doyle, J.: A truth maintenance system. Artif. Intell. 12(3), 231–272 (1979)
de Kleer, J.: An assumption-based TMS. Artif. Intell. 28(2), 127–162 (1986)
de Kleer, J.: Extending the ATMS. Artif. Intell. 28(2), 163–196 (1986)
Giannikis, G.K., Daskalopulu, A.: Assumption-based reasoning in dynamic normative agent systems. Web Intell. Agent Syst. 8(4), 343–362 (2010)
Tahara, I.: Computing scenario from knowledge with preferentially ordered hypotheses. Syst. Comput. Jpn. 35(4), 19–26 (2004)
Patel-Schneider, P., Hayes, P., Horrocks, I., et al.: OWL web ontology language semantics and abstract syntax. W3C Recommendation, 10 (2004). http://www.w3.org/TR/owl-semantics/
Minutolo, A., Esposito, E., De Pietro, G.: Design and validation of a light-weight reasoning system to support remote health monitoring applications. Eng. Appl. Artif. Intell. 41, 232–248 (2015)
Carroll, J.J., Dickinson, I., Dollin, C., Reynolds, D., Seaborne, A., Wilkinson, K.: Jena: implementing the semantic web recommendations. In: Proceedings of the 13th International World Wide Web Conference on Alternate Track, New York, USA, pp. 74–83 (2004)
Minutolo, A., Esposito, M., Pietro, G.: An ontology-based approach for representing medical recommendations in mHealth applications. In: Chen, Y.-W., Tanaka, S., Howlett, Robert J., Jain, Lakhmi C. (eds.) Innovation in Medicine and Healthcare 2016. SIST, vol. 60, pp. 171–182. Springer, Cham (2016). doi:10.1007/978-3-319-39687-3_17
Acknowledgment
This work has been partially supported by the Italian project “eHealthnet” funded by the Italian Ministry of Education, University, and Research.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Minutolo, A., Esposito, M., De Pietro, G. (2017). A Hypothetical Reasoning System for Mobile Health and Wellness Applications. In: Perego, P., Andreoni, G., Rizzo, G. (eds) Wireless Mobile Communication and Healthcare. MobiHealth 2016. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 192. Springer, Cham. https://doi.org/10.1007/978-3-319-58877-3_36
Download citation
DOI: https://doi.org/10.1007/978-3-319-58877-3_36
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58876-6
Online ISBN: 978-3-319-58877-3
eBook Packages: Computer ScienceComputer Science (R0)