Extending Logic Programming with Labelled Variables: Model and Semantics


Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

Fundamenta Informaticae 161(1-2), pages 53–74, 22 pages, July 2018
Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi (eds.)
Special Issue CILC 2016

In order to enable logic programming to deal with the diversity of pervasive systems, where many heterogeneous, domain-specific computational models could benefit from the power of symbolic computation, we explore the expressive power of labelled systems.
To this end, we define a new notion of truth for logic programs extended with labelled variables interpreted in non-Herbrand domains—where, however, terms maintain their usual Herbrand interpretations.

First, a model for labelled variables in logic programming is defined. Then, the fixpoint and the operational semantics are presented and their equivalence is formally proved. A meta-interpreter implementing the operational semantics is also introduced, followed by some case studies aimed at showing the effectiveness of our approach in selected scenarios.

(keywords) logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence
 @article{labelledlp-fi161,
Author = {Calegari, Roberta and Denti, Enrico and Dovier, Agostino and Omicini, Andrea},
DblpId = {journals/fuin/CalegariDDO18},
Doi = {10.3233/FI-2018-1695},
Editor = {Fiorentini, Camillo and Momigliano, Alberto and Pettorossi, Alberto},
IrisId = {11585/636935},
Journal = {Fundamenta Informaticae},
Keywords = {logic programming, labelled systems, labelled variables, formal semantics, meta-interpretation, situated intelligence},
Month = jul,
Note = {Special Issue CILC 2016},
Number = {1-2},
Numpages = 22,
Pages = {53--74},
ScopusId = {2-s2.0-85049682130},
Title = {Extending Logic Programming with Labelled Variables: Model and Semantics},
Url = {http://content.iospress.com/articles/fundamenta-informaticae/fi1695},
Volume = 161,
WosId = {000437260800005},
Year = 2018

Journals & Series

Publication

— authors

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini

— editors

Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi

— status

published

— sort

article in journal

Venue

— journal

Fundamenta Informaticae

— volume

161

— issue

1-2

— pages

53–74

— publication date

July 2018

URLs

original page  |  open access PDF

Identifiers

— DOI

10.3233/FI-2018-1695

— DBLP

journals/fuin/CalegariDDO18

— IRIS

11585/636935

— Scopus

2-s2.0-85049682130

— WoS / ISI

000437260800005

BibTeX

— BibTeX ID
labelledlp-fi161
— BibTeX category
article

Files

Open Access PDF

View this PDF full screen

You do not have the plugin required to display this PDF file. You can still download it: CDDO-FI-2017.pdf

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY