Back to Search Start Over

The Formal Framework for Collective Systems

Authors :
Rafał Palak
Krystian Wojtkiewicz
Source :
Axioms, Vol 10, Iss 2, p 91 (2021)
Publication Year :
2021
Publisher :
MDPI AG, 2021.

Abstract

Automated reasoning is becoming crucial for information systems. Building one uniform decision support system has become too complicated. The natural approach is to divide the task and combine the results from different subsystems into one uniform answer. It is the basic idea behind the system approach, where one solution is a composition of multiple subsystems. In this paper, the main emphasis is on establishing the theoretical framework that combines various reasoning methods into a collective system. The system’s formal abstraction uses graph theory and provides a discussion on possible aggregation function definitions. The proposed framework is a tool for building and testing specific approaches rather than the solution itself.

Details

Language :
English
ISSN :
20751680
Volume :
10
Issue :
2
Database :
Directory of Open Access Journals
Journal :
Axioms
Publication Type :
Academic Journal
Accession number :
edsdoj.be95742ea2d4fe9b1b5ef80d2724f03
Document Type :
article
Full Text :
https://doi.org/10.3390/axioms10020091