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

Datalog
Distributed computer systems
Distributed Systems
Reasoning
Distributed Computing
Logic programming
Express
Vertex of a graph
Computer programming
Distributed Protocol
Computer systems
Logic Programming
Network protocols
Communication
Programming
Paradigm
Line
Operator
Knowledge

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

Reasoning about knowledge in distributed systems using datalog. / Interlandi, Matteo.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7494 LNCS 2012. p. 99-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7494 LNCS).

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

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, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7494 LNCS, pp. 99-110, 2nd International Workshop on Datalog in Academia and Industry, Datalog 2.0, Vienna, 11/9/12. https://doi.org/10.1007/978-3-642-32925-8_11
Interlandi M. 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. 2012. p. 99-110. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-32925-8_11
Interlandi, Matteo. / Reasoning about knowledge in distributed systems using datalog. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7494 LNCS 2012. pp. 99-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{d7451d0dda1243649149247b8475b0a0,
title = "Reasoning about knowledge in distributed systems using datalog",
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.",
author = "Matteo Interlandi",
year = "2012",
month = "10",
day = "10",
doi = "10.1007/978-3-642-32925-8_11",
language = "English",
isbn = "9783642329241",
volume = "7494 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "99--110",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Reasoning about knowledge in distributed systems using datalog

AU - Interlandi, Matteo

PY - 2012/10/10

Y1 - 2012/10/10

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84867131275&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84867131275&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-32925-8_11

DO - 10.1007/978-3-642-32925-8_11

M3 - Conference contribution

SN - 9783642329241

VL - 7494 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 99

EP - 110

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -