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 publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages572-577
Number of pages6
Volume7532 LNCS
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)03029743
ISSN (Electronic)16113349

Other

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

Fingerprint

Distributed Systems
Reasoning
Network protocols
Logic programming
Distributed computer systems
Express
Vertex of a graph
Datalog
Logic Programming
Distributed Computing
Communication
Query
Operator
Knowledge
Language
Trends
Design
Context

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this

Interlandi, M. (2012). Knowlog: A declarative language for reasoning about knowledge in distributed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7532 LNCS, 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

Knowlog : A declarative language for reasoning about knowledge in distributed systems. / Interlandi, Matteo.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7532 LNCS 2012. p. 572-577 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7532 LNCS).

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

Interlandi, M 2012, Knowlog: A declarative language for reasoning about knowledge in distributed systems. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 7532 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7532 LNCS, pp. 572-577, 31st International Conference on Conceptual Modeling, ER 2012, Florence, Italy, 15/10/12. https://doi.org/10.1007/978-3-642-34002-4_47
Interlandi M. Knowlog: A declarative language for reasoning about knowledge in distributed systems. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7532 LNCS. 2012. p. 572-577. (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-34002-4_47
Interlandi, Matteo. / Knowlog : A declarative language for reasoning about knowledge in distributed systems. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 7532 LNCS 2012. pp. 572-577 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{c6a8e4eb9a9e4019b5b54c2a77545096,
title = "Knowlog: A declarative language for reasoning about knowledge in distributed systems",
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.",
author = "Matteo Interlandi",
year = "2012",
month = "11",
day = "8",
doi = "10.1007/978-3-642-34002-4_47",
language = "English",
isbn = "9783642340017",
volume = "7532 LNCS",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "572--577",
booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

}

TY - GEN

T1 - Knowlog

T2 - A declarative language for reasoning about knowledge in distributed systems

AU - Interlandi, Matteo

PY - 2012/11/8

Y1 - 2012/11/8

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

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

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

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

U2 - 10.1007/978-3-642-34002-4_47

DO - 10.1007/978-3-642-34002-4_47

M3 - Conference contribution

AN - SCOPUS:84868328594

SN - 9783642340017

VL - 7532 LNCS

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

SP - 572

EP - 577

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

ER -