Publications » Extending Logic Programming with Labelled Variables: Model and Semantics

Extending Logic Programming with Labelled Variables: Model and Semantics

Roberta Calegari, Enrico Denti, Agostino Dovier, Andrea Omicini
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
Fundamenta Informaticae 161(1-2), pages 53–74, 22 pages, July 2018.
Camillo Fiorentini, Alberto Momigliano, Alberto Pettorossi (eds.)
Special Issue CILC 2016 
@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}