Semantics of structured normal logic programs
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/19468
Tipus de documentText en actes de congrés
Data publicació2012
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
In this paper we provide semantics for normal logic programs enriched with structuring mechanisms and scoping rules. Specifically, we consider constructive negation and expressions of the form Q
G Q in goals, where Q is a program unit,
G is a goal and stands for the so-called embedded implication. Allowing the use of these expressions can be seen as adding block structuring to logic programs. In
this context, we consider static and dynamic rules for visibility in blocks. In particular, we provide new semantic definitions for the class of normal logic programs with both visibility rules. For the dynamic case we follow a standard approach. We first propose an operational semantics. Then, we define a model-theoretic semantics in terms of ordered structures which are a kind of intuitionistic Beth structures. Finally, an (effective) fixpoint semantics is provided and we prove the equivalence of these three definitions. In order to deal with the static case, we first define an operational semantics and then we present an alternative semantics in terms of a transformation of the given structured programs into flat ones. We finish by showing that this transformation preserves the computed answers of the given static program.
CitacióPasarella, A.E. [et al.]. Semantics of structured normal logic programs. A: Jornadas sobre Programación y Lenguajes. "XII Jornadas sobre programación y lenguajes (Sistedes 2012)". Almeria: 2012, p. 159-160.
Dipòsit legalAL 673-2012
ISBN978-84-15487-27-2
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Pasarella.pdf | 85,26Kb | Visualitza/Obre |