Situatedness is a fundamental requirement for today's complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatiotemporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives.

Logic programming in space-time: The case of situatedness in LPaaS / Calegari, R.; Ciatto, G.; Mariani, S.; Denti, E.; Omicini, A.. - 2215:(2018), pp. 63-68. (Intervento presentato al convegno 19th Workshop "From Objects to Agents", WOA 2018 tenutosi a ita nel 2018).

Logic programming in space-time: The case of situatedness in LPaaS

Mariani S.;Denti E.;Omicini A.
2018

Abstract

Situatedness is a fundamental requirement for today's complex software systems, as well as for the computational models and programming languages used to build them. Spatial and temporal situatedness, in particular, are essential features for AI, enabling actors of the system to take autonomous decisions contextual to the space-time they live in. To support spatiotemporal awareness in distributed pervasive systems, we adopt the standpoint of Logic Programming (LP) by focussing on the Logic Programming as a Service (LPaaS) approach, promoting the distribution of situated intelligence. Accordingly, we provide an interpretation about what it means to make LP span across space and time, then we extend the LPaaS model and architecture towards spatio-temporal situatedness, by identifying a set of suitably-expressive spatio-temporal primitives.
2018
19th Workshop "From Objects to Agents", WOA 2018
ita
2018
2215
63
68
Calegari, R.; Ciatto, G.; Mariani, S.; Denti, E.; Omicini, A.
Logic programming in space-time: The case of situatedness in LPaaS / Calegari, R.; Ciatto, G.; Mariani, S.; Denti, E.; Omicini, A.. - 2215:(2018), pp. 63-68. (Intervento presentato al convegno 19th Workshop "From Objects to Agents", WOA 2018 tenutosi a ita nel 2018).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1198972
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact