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 publicationDatalog in Academia and Industry - Second International Workshop, Datalog 2.0, Proceedings
Pages99-110
Number of pages12
DOIs
Publication statusPublished - 10 Oct 2012
Event2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0 - Vienna, Austria
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)0302-9743
ISSN (Electronic)1611-3349

Conference

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

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'Reasoning about knowledge in distributed systems using datalog'. Together they form a unique fingerprint.

  • Cite this

    Interlandi, M. (2012). Reasoning about knowledge in distributed systems using datalog. In Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Proceedings (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