Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic
Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with many details. However, most of these models build on a...
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2022-03-01
|
| Series: | Symmetry |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2073-8994/14/3/588 |
| _version_ | 1797441495485120512 |
|---|---|
| author | Samuel Novotný Miroslav Michalko Ján Perháč Valerie Novitzká František Jakab |
| author_facet | Samuel Novotný Miroslav Michalko Ján Perháč Valerie Novitzká František Jakab |
| author_sort | Samuel Novotný |
| collection | DOAJ |
| description | Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with many details. However, most of these models build on a kind of unchanging basis, which characterizes communication between agents of a multi-agent system as a mutual exchange of messages expressed in a specific language or formal logic system, most often first-order predicate logic. Since most logical systems specialize in a particular area of natural language, the choice of a logical system reduces the communication potential of a multi-agent system. Therefore, we decide to choose the transparent intensional logic, a highly expressive methodology of logical analysis of natural language based on the symmetry between the syntax of expressions and their semantics, which minimizes these limitations and brings a new perspective on the issue of formalization of communication in multi-agent systems. By choosing transparent intensional logic as the central logical apparatus of our solution and postulating the general criterion for the synthesis of the concept of a message, the framework idea of our solution, which is based on hypotheses formulated in the analysis of Singh’s formal theory of communication, we have reached the synthesis of the so-called TIL-Message Formalization System. This system, unlike others based on traditionally used formalisms, simplifies the communication process itself by reducing the level of semantic interpretation of messages formalized by it, and in addition to formalism itself, this system also provides an abstract description of the background of the course of communication, proved by its application on specific examples, by standing out from the order of other formalisms providing only a kind of syntactic standard. |
| first_indexed | 2024-03-09T12:24:58Z |
| format | Article |
| id | doaj.art-999abe7fb905413cb44853f0982d18b3 |
| institution | Directory Open Access Journal |
| issn | 2073-8994 |
| language | English |
| last_indexed | 2024-03-09T12:24:58Z |
| publishDate | 2022-03-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Symmetry |
| spelling | doaj.art-999abe7fb905413cb44853f0982d18b32023-11-30T22:36:42ZengMDPI AGSymmetry2073-89942022-03-0114358810.3390/sym14030588Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional LogicSamuel Novotný0Miroslav Michalko1Ján Perháč2Valerie Novitzká3František Jakab4Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaDepartment of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Košice, Letná 9, 042 00 Košice, SlovakiaCommunication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it—from abstract levels presenting theoretical models describing the basic principles to an implementation level with many details. However, most of these models build on a kind of unchanging basis, which characterizes communication between agents of a multi-agent system as a mutual exchange of messages expressed in a specific language or formal logic system, most often first-order predicate logic. Since most logical systems specialize in a particular area of natural language, the choice of a logical system reduces the communication potential of a multi-agent system. Therefore, we decide to choose the transparent intensional logic, a highly expressive methodology of logical analysis of natural language based on the symmetry between the syntax of expressions and their semantics, which minimizes these limitations and brings a new perspective on the issue of formalization of communication in multi-agent systems. By choosing transparent intensional logic as the central logical apparatus of our solution and postulating the general criterion for the synthesis of the concept of a message, the framework idea of our solution, which is based on hypotheses formulated in the analysis of Singh’s formal theory of communication, we have reached the synthesis of the so-called TIL-Message Formalization System. This system, unlike others based on traditionally used formalisms, simplifies the communication process itself by reducing the level of semantic interpretation of messages formalized by it, and in addition to formalism itself, this system also provides an abstract description of the background of the course of communication, proved by its application on specific examples, by standing out from the order of other formalisms providing only a kind of syntactic standard.https://www.mdpi.com/2073-8994/14/3/588multi-agent systemscommunicationtransparent intensional logicTIL-message formalization system |
| spellingShingle | Samuel Novotný Miroslav Michalko Ján Perháč Valerie Novitzká František Jakab Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic Symmetry multi-agent systems communication transparent intensional logic TIL-message formalization system |
| title | Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic |
| title_full | Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic |
| title_fullStr | Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic |
| title_full_unstemmed | Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic |
| title_short | Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic |
| title_sort | formalization and modeling of communication within multi agent systems based on transparent intensional logic |
| topic | multi-agent systems communication transparent intensional logic TIL-message formalization system |
| url | https://www.mdpi.com/2073-8994/14/3/588 |
| work_keys_str_mv | AT samuelnovotny formalizationandmodelingofcommunicationwithinmultiagentsystemsbasedontransparentintensionallogic AT miroslavmichalko formalizationandmodelingofcommunicationwithinmultiagentsystemsbasedontransparentintensionallogic AT janperhac formalizationandmodelingofcommunicationwithinmultiagentsystemsbasedontransparentintensionallogic AT valerienovitzka formalizationandmodelingofcommunicationwithinmultiagentsystemsbasedontransparentintensionallogic AT frantisekjakab formalizationandmodelingofcommunicationwithinmultiagentsystemsbasedontransparentintensionallogic |