Boosting the Development of ASP-based Applications in Mobile and - PowerPoint PPT Presentation

Boosting the Development of ASP-based Applications in Mobile and General Scenarios Francesco Calimeri Davide Fuscà Stefano Germano Simona Perri Jessica Zangari 15th International Conference of the Italian Association for Artificial Intelligence Department of Mathematics and Computer Science, University of Calabria, Italy embasp@mat.unical.it EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 1

Motivations for practical applications and used worldwide educational and real-world contexts mobile devices EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 2 • Declarative and Imperative languages integration • Answer Set Programming (ASP) technologies are mature • Ease the development of ASP-based applications , in both • ICT industry is moving towards the mobile scenario • Lack of works about ASP systems natively running on

Contributions in external systems for generic applications EmbASP Freely available at: https://www.mat.unical.it/calimeri/projects/embasp/ EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 3 • EmbASP : an abstract framework for the integration of ASP • An actual Java implementation of the framework specialized for the Android platform and the DLV system • GuessAndCheckers : a native mobile application using

EmbASP: Embedding ASP (or Levels of Analysis) EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 on Android 4 Client ASPHandler Mapper AnswerSetCallback • Layered Architecture AnswerSet AnswerSets DLVHandler • Separation of Concerns DLVAnswerSets ASPService • Native DLV execution DLVService DLV

the OpenCV library an ASP-based artificial intelligence GuessAndCheckers A native mobile application that works as an helper for users of physical board and pieces) by means of the device camera a picture of the board is taken the information about the current status of the game is properly inferred thanks to module then suggests the move EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5 that play “live” games of the (Italian) checkers (i.e., by means

GuessAndCheckers A native mobile application that works as an helper for users of physical board and pieces) of the board is taken of the game is properly inferred thanks to module then suggests the move EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5 that play “live” games of the (Italian) checkers (i.e., by means • by means of the device camera a picture • the information about the current status the OpenCV library • an ASP-based artificial intelligence