A Multi-Layered Architecture for Collaborative and Decentralized Consequence Finding
Keywords:
Automated reasoning, collaborative problem solving, peer-to-peer architectures, inference systems, consequence findingAbstract
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://147.213.75.17/ojs/index.php/cai/article/view/2055
Issue
Section
Special Section Articles