Mostra el registre d'ítem simple
An Algebraic framework for the definition of compositional semantics of normal logic programs
dc.contributor.author | Lucio, Paqui |
dc.contributor.author | Orejas Valdés, Fernando |
dc.contributor.author | Pino Blanco, Elvira |
dc.contributor.other | Universitat Politècnica de Catalunya. Departament de Ciències de la Computació |
dc.date.accessioned | 2016-03-04T11:13:00Z |
dc.date.available | 2016-03-04T11:13:00Z |
dc.date.issued | 1997-11 |
dc.identifier.citation | Lucio, P., Orejas, F., Pino, E. "An Algebraic framework for the definition of compositional semantics of normal logic programs". 1997. |
dc.identifier.uri | http://hdl.handle.net/2117/83813 |
dc.description.abstract | The aim of our work is the definition of compositional semantics for modular units over the class of normal logic programs. In this sense, we propose a declarative semantics for normal logic programs in terms of model classes that is monotonic in the sense that Mod(PUP') is included in Mod(P), for any programs P and P', and we show that in the model class associated to every program there is a least model that can be seen as the semantics of the program, which may be built upwards as the least fix point of a continuous immediate consequence operator. In addition, it is proved that this least model is "typical" for the class of models of the Clark-Kunen's completion of the program. This means that our semantics is equivalent to Clark-Kunen's completion. On the other hand, following the approach defined in a previous paper, it is shown that our semantics constitutes a "specification frame" equipped with the adequate categorical constructions needed to define compositional and fully abstract (categorical) semantics for a number of program units. In particular, we provide acategorical semantics of arbitrary normal logic program fragments which is compositionaland fully abstract with respect to the (standard) union. |
dc.format.extent | 32 p. |
dc.language.iso | eng |
dc.relation.ispartofseries | LSI-97-51-R |
dc.subject | Àrees temàtiques de la UPC::Informàtica::Programació |
dc.subject.other | Compositional semantics |
dc.subject.other | Logic programs |
dc.title | An Algebraic framework for the definition of compositional semantics of normal logic programs |
dc.type | External research report |
dc.rights.access | Open Access |
local.identifier.drac | 1837116 |
dc.description.version | Postprint (published version) |
local.citation.author | Lucio, P.; Orejas, F.; Pino, E. |
Fitxers d'aquest items
Aquest ítem apareix a les col·leccions següents
-
Reports de recerca [1.107]