A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding

Authors

  • Philippe Chatalic Laboratoire de Recherche en Informatique (L.R.I.), Université Paris-Sud/INRIA Saclay - Ile-de-France
  • Andre de Amorim Fonseca Laboratoire de Recherche en Informatique (L.R.I.), Université Paris-Sud/INRIA Saclay - Ile-de-France

Keywords:

Automated reasoning, collaborative problem solving, peer-to-peer architectures, inference systems, consequence finding

Abstract

The consequence finding problem consists in producing all the consequences of a logical theory or, depending on the application context, in a restricted subset of these consequences. When the available knowledge is naturally scattered among different sources of information, computing such consequences with respect to the global theory in a decentralized way is a challenging problem. This paper presents Somewhere2, a multilayered architecture that may be used to solve such consequence finding problems in peer-to-peer networks of collaborating entities, that may evolve over time. The general layout of this architecture is described as well as the roles of its main components. Thanks to a careful and modular design, the resulting framework is very generic. This facilitates alternative implementations of specific components as well as its extension with additional features. First experimental results are presented, illustrating the scalability and robustness of this architecture. This framework may be used as a robust building block for more advanced distributed applications, such as Peer Data Management Systems.

Downloads

Download data is not yet available.

Downloads

Published

2015-06-19

How to Cite

Chatalic, P., & de Amorim Fonseca, A. (2015). A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding. COMPUTING AND INFORMATICS, 34(1), 210–232. Retrieved from http://www.cai.sk/ojs/index.php/cai/article/view/2055

Issue

Section

Special Section Articles