Operational Semantics for DyLPs

Autor:	Antonio Brogi, José Júlio Alferes, Federico Banti
Rok vydání:	2005
Předmět:	Computer science Game semantics business.industry Programming language computer.software_genre Operational semantics Axiomatic semantics Action semantics Denotational semantics Well-founded semantics Computational semantics Artificial intelligence business computer Stable model semantics
Zdroj:	Progress in Artificial Intelligence ISBN: 9783540307372 EPIA
DOI:	10.1007/11595014_5
Popis:	Theoretical research has spent some years facing the problem of how to represent and provide semantics to updates of logic programs. This problem is relevant for addressing highly dynamic domains with logic programming techniques. Two of the most recent results are the definition of the refined stable and the well founded semantics for dynamic logic programs that extend stable model and well founded semantic to the dynamic case. We present here alternative, although equivalent, operational characterizations of these semantics by program transformations into normal logic programs. The transformations provide new insights on the computational complexity of these semantics, a way for better understanding the meaning of the update programs, and also a methodology for the implementation of these semantics. In this sense, the equivalence theorems in this paper constitute soundness an completeness results for the implementations of these semantics.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e64ef743f71cd16f8afa750a7b65f897 https://doi.org/10.1007/11595014_5 Zobrazit plný text záznamu