Evolving reactive logic programs

Issue title: Evolutionary Computation – A Journey in Computational Logic in Italy – Dedicated to Prof. Alberto Martelli

Article type: Research Article

Authors: Alferes, J.J. | Banti, F. | Brogi, A.

Affiliations: CENTRIA, Universidade Nova de Lisboa, Lisbon, Portugal | Department of Computer Science, University of Pisa, Pisa, Italy

Note: [] Corresponding author. Antonio Brogi. E-mail: [email protected]

Abstract: In this paper we briefly describe the research activity that we have been carrying out during the last years on dynamic logic programs. After reviewing our contributions to strengthening the semantic foundations of dynamic logic programs, we describe a simple formalism to reason about actions – based on dynamic logic programs – and its event-condition-action extension that supports the specification and the execution of reactive programs.

Keywords: Logic programs, dynamic knowledge, action description languages, event-condition-action languages

DOI: 10.3233/IA-2011-0007

Journal: Intelligenza Artificiale, vol. 5, no. 1, pp. 77-81, 2011