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

▶
boosting the development of asp based applications in
SMART_READER_LITE
LIVE PREVIEW

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

Mar 10, 2024 210 likes •282 views

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

slide-1
SLIDE 1

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

slide-2
SLIDE 2

Motivations

  • Declarative and Imperative languages integration
  • Answer Set Programming (ASP) technologies are mature

for practical applications and used worldwide

  • Ease the development of ASP-based applications, in both

educational and real-world contexts

  • ICT industry is moving towards the mobile scenario
  • Lack of works about ASP systems natively running on

mobile devices

EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 2

slide-3
SLIDE 3

Contributions

  • EmbASP: an abstract framework for the integration of ASP

in external systems for generic applications

  • An actual Java implementation of the framework

specialized for the Android platform and the DLV system

  • GuessAndCheckers: a native mobile application using

EmbASP Freely available at:

https://www.mat.unical.it/calimeri/projects/embasp/

EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 3

slide-4
SLIDE 4

EmbASP: Embedding ASP

ASPHandler DLVHandler ASPService DLVService AnswerSetCallback AnswerSets DLVAnswerSets AnswerSet Client Mapper DLV

  • Layered Architecture
  • Separation of Concerns

(or Levels of Analysis)

  • Native DLV execution
  • n Android

EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 4

slide-5
SLIDE 5

GuessAndCheckers

A native mobile application that works as an helper for users that play “live” games of the (Italian) checkers (i.e., by means

  • f physical board and pieces)

by means of the device camera a picture

  • f the board is taken

the information about the current status

  • f the game is properly inferred thanks to

the OpenCV library an ASP-based artificial intelligence module then suggests the move

EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5

slide-6
SLIDE 6

GuessAndCheckers

A native mobile application that works as an helper for users that play “live” games of the (Italian) checkers (i.e., by means

  • f physical board and pieces)
  • by means of the device camera a picture
  • f the board is taken
  • the information about the current status
  • f the game is properly inferred thanks to

the OpenCV library

  • an ASP-based artificial intelligence

module then suggests the move

EmbASP - Calimeri, Fuscà, Germano, Perri, Zangari - AI*IA 2016 5