Reasoning about knowledge in distributed systems using datalog

Matteo Interlandi

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

3 Citations (Scopus)

Abstract

Logic programming has been considered a viable solution for distributed computing since the Fifth Generation Computer Systems project [8]. Nowadays, this line of thought is gaining new verve, pushed by the need for new programming paradigms for addressing new emerging issues in distributed computing. We argue that a missing piece in the current state-of-the-art is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the knowledge state of (group of) nodes has been demonstrated to be fundamental in order to design and analyze distributed protocols [7]. To reach this goal, we designed Knowlog: Datalog ¬ augmented with a set of epistemic modal operators, allowing the programmer to directly express what a node "knows" instead of low level communication details.

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages99-110
Number of pages12
Volume7494 LNCS
DOIs
Publication statusPublished - 10 Oct 2012
Event2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0 - Vienna
Duration: 11 Sep 201213 Sep 2012

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7494 LNCS
ISSN (Print)03029743
ISSN (Electronic)16113349

Other

Other2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0
CityVienna
Period11/9/1213/9/12

    Fingerprint

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Interlandi, M. (2012). Reasoning about knowledge in distributed systems using datalog. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7494 LNCS, pp. 99-110). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7494 LNCS). https://doi.org/10.1007/978-3-642-32925-8_11