From Logic Programs Updates to Action Description Updates

An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages being usually called action programs. Logic programming is an important area in the field of knowledge representation and some languages for specifying updates of Logic Programs had been defined. In this work we address the problem of establishing relationships between action programs and Logic Programming updates languages, particulary the newly defined Evolp language. Our investigation leads to the definition of a new paradigm for representing actions called Evolp action programs. We provide translations of some of the most known action description languages into Evolp action programs, and underline some peculiar features of this newly defined paradigm. One of such feature is that Evolp action programs can easily express changes in the very rules of the domains, including rules describing changes.

• Type: Conference
• Year: 2004
• Where: CLIMA
• Authors: José Júlio Alferes, Federico Banti, Antonio Brogi
• Keywords: Action Programs, CLIMA 2004, CLIMA 2007, Evolp Action Programs, Logic Programming