DYnamics in LOGic is a programming language based on a modal approach for reasoning about action and change in a logic programming setting. It allows to specify primitive actions by means of preconditions and effects, and to define procedures as complex actions. DYnamics in LOGic can be used as an agent programming language, for modelling the behavior of agents acting, interacting and planning in dynamic environments. An implementation of the language has been realized in SICStus Prolog. We used DYnamics in LOGic for building adaptative applications as software agents, by exploiting planning capabilities in order to obtain a personalized services, guided by the interaction with the user or based on its preferences. This allowed us to exploit DYnamics in LOGic in many application area, like e-learning, course compliance and service oriented selection and composition.

DYnamics in LOGic

BALDONI, Matteo;BAROGLIO, Cristina;GIORDANO, Laura;MARTELLI, Alberto;PATTI, Viviana
2010

Abstract

DYnamics in LOGic is a programming language based on a modal approach for reasoning about action and change in a logic programming setting. It allows to specify primitive actions by means of preconditions and effects, and to define procedures as complex actions. DYnamics in LOGic can be used as an agent programming language, for modelling the behavior of agents acting, interacting and planning in dynamic environments. An implementation of the language has been realized in SICStus Prolog. We used DYnamics in LOGic for building adaptative applications as software agents, by exploiting planning capabilities in order to obtain a personalized services, guided by the interaction with the user or based on its preferences. This allowed us to exploit DYnamics in LOGic in many application area, like e-learning, course compliance and service oriented selection and composition.
1.0
Università degli Studi di Torino
http://www.di.unito.it/~alice/dynamicslogic/index.html
M. BALDONI; C. BAROGLIO; L. GIORDANO; A. MARTELLI; V. PATTI
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: http://hdl.handle.net/2318/87207
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact