Knowlog: A declarative language for reasoning about knowledge in distributed systems

Matteo Interlandi

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocols behavior. To reach this goal, we leveraged Datalog ¬ with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of the two phase commit protocol.

Original languageEnglish
Title of host publicationConceptual Modeling - 31st International Conference, ER 2012, Proceedings
Pages572-577
Number of pages6
DOIs
Publication statusPublished - 8 Nov 2012
Event31st International Conference on Conceptual Modeling, ER 2012 - Florence, Italy
Duration: 15 Oct 201218 Oct 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7532 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other31st International Conference on Conceptual Modeling, ER 2012
CountryItaly
CityFlorence
Period15/10/1218/10/12

    Fingerprint

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Interlandi, M. (2012). Knowlog: A declarative language for reasoning about knowledge in distributed systems. In Conceptual Modeling - 31st International Conference, ER 2012, Proceedings (pp. 572-577). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7532 LNCS). https://doi.org/10.1007/978-3-642-34002-4_47