Answer Set Programming (ASP) is a well-established declarative programming paradigm in close relationship with other formalisms such as Satisability Modulo Theories, Constraint Handling Rules, FO(.) (First-Order logic extensions), Planning Domain Denition 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 signicant 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 dierent 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.

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

CALIMERI, Francesco;PERRI, Simona;ZANGARI J.
2016

Abstract

Answer Set Programming (ASP) is a well-established declarative programming paradigm in close relationship with other formalisms such as Satisability Modulo Theories, Constraint Handling Rules, FO(.) (First-Order logic extensions), Planning Domain Denition 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 signicant 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 dierent 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.
978-3-319-49129-5
Artificial Intelligence; Answer Set Programming; Software Development
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.11770/175690
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 1
social impact