Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

摘要

Answer Set Programming (ASP) is a well-established declarative programming paradigm in close relationship with other formalisms such as Satisfiability Modulo Theories, Constraint Handling Rules, FO(.) (First-Order logic extensions), Planning Domain Definition Language and many others; it became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning, especially for its high expressiveness and the ability to deal also with incomplete knowledge. In the latest years, the community produced significant theoretical results and a number of robust and efficient implementations; this has been moving the focus from a strict theoretical scope to more practical aspects, and ASP has been increasingly employed in a number of different domains and for the development of industrial-level and enterprise applications. Although different development tools have been released, there is still a lack of proper means for an effective, large-scale applicability of ASP, especially in the mobile setting. In this work we show a general framework for integrating ASP reasoners into external systems and its use for designing and implementing ASP-based applications to different extents. In particular, we illustrate the integration of the ASP system DLV on the Android platform, and a full-native ASP-based mobile app for helping players of a live game of checkers.