Embedding ASP in mobile systems: discussion and preliminary implementations

Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR), especially for its high expressiveness and the ability to deal also with incomplete knowledge. Recently, thanks to the availability of a number of robust and ecient implementations, ASP has been increasingly employed in a number of different domains, and used for the development of industrial-level and enterprise applications. Notably, this has been fostered by the release of a variety of proper development tools and interoperability mechanisms for allowing interaction and integration with external systems; however, there is still a lack of proper means for an eective applicability of ASP in the mobile setting. In this preliminary work, we present a novel general framework for embedding ASP in external systems, and in particular within applications for mobile devices. We show the use of the framework by illustrating the integration of the ASP system DLV into Android applications, and the development of DLVfit, a customizable health app that helps the user to meet her daily tness goals, as a proof of concept