Extending Logic Programming with Labelled Variables: Model and Semantics

Abstract

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.

Logic-based technologies for multi-agent systems: a systematic literature review

“…Primary references: [59,60] Other references describing / exploiting the technology: [61,274] URL: http://lpaas.apice.unibo.it MAS perspective LPaaS [60] and LVLP [59] are two models that-once specialised in the MAS context [274]-answer the need of intelligent environment and situated distributed cognition. LPaaS allows logic-based services to be embedded in the environment and made available to agents as a service.…”

Explainable and Ethical AI: A Perspective on Argumentation and Logic Programming

“…Hybridization. One of the strengths of computational logic is to make it possible the integration of diverse techniques [11,42]-e.g., logic programming paradigms, database technologies, knowledge representation, non-monotonic reasoning, constraint programming, mathematical programming, etc. This makes it possible to represent the heterogeneity of the contexts of intelligent systems -also in relation to the application domains -and to customise as needed the symbolic intelligence that is provided while remaining within a well-founded formal framework.…”

LPaaS as Micro-Intelligence: Enhancing IoT with Symbolic Reasoning

“…Not by chance, situatedness is a crucial feature for most IoT applications-although it is not always explicitly acknowledged, but comes as a consequence of context-awareness. Being based on the LP model, diverse computational models can be tailored to the local needs, exploiting LP extensions explicitly aimed at pervasive systems such as labelled variables systems [40,41]. Labelled variables systems are meant to deal with domain-specific knowledge so that diverse computational models, tailored to the specific needs of situated components, can fruitfully coexist side by side.…”