Towards a Logic lab on the Cloud: Desktop and Mobile Sessions

Abstract

This case study proposes a novel system of the Internet as a service for Answer Set Programming (ASP) solvers, keeping open sessions for registered users, in such a way they can work ASP knowledge bases anywhere, without having to download, compile, install and configure the solver. The technique can exploit the cloud and mobile potentials, such as processor and memory manage- ment, GPS (Global Positioning System), accelerometer, thermometer, heart rate sensor, touchscreen and gestures, voice, images, fingerprints, signatures, phone calls, wristwatch, proximity sensor, and so on. It can also get benefited from cloud computing and data mining potentials, such as massive computing and memory distribution, big-data collection and analysis, centralized work, work sessions, scalability, concurrent teamwork, and more. We started this proposal with the aim to offer an alternative to the everyday use of DLV and CLINGO ASP solvers, readily available on devices that everybody uses, like browsers and mobile de- vices. This time we focus on setting up a global service, the desktop browser, and mobile interfaces. We also provide a methodology of incremental development, consisting in showing work progress into phases of analysis, modeling, design, and implementation of the solution. In the following, we introduce the problem of computing ASP knowledge bases online and background. Later we add a brief survey on similar works. Then we present our proposal. Finally, we conclude with a discussion and future work.