{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T02:55:47Z","timestamp":1760151347648,"version":"build-2065373602"},"reference-count":34,"publisher":"MDPI AG","issue":"3","license":[{"start":{"date-parts":[[2022,3,16]],"date-time":"2022-03-16T00:00:00Z","timestamp":1647388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"name":"the Operational Programme Integrated Infrastructure in frame of the project: Intelligent systems for UAV real-time operation and data processing, code  ITMS2014+: 313011V422 and co-financed by the Europen Regional Development Found.","award":["ITMS2014+: 313011V422"],"award-info":[{"award-number":["ITMS2014+: 313011V422"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Symmetry"],"abstract":"<jats:p>Communication is one of the most notable processes in a multi-agent system. For this reason, considerable attention is paid to it\u2014from 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\u2019s 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.<\/jats:p>","DOI":"10.3390\/sym14030588","type":"journal-article","created":{"date-parts":[[2022,3,16]],"date-time":"2022-03-16T22:15:04Z","timestamp":1647468904000},"page":"588","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalization and Modeling of Communication within Multi-Agent Systems Based on Transparent Intensional Logic"],"prefix":"10.3390","volume":"14","author":[{"given":"Samuel","family":"Novotn\u00fd","sequence":"first","affiliation":[{"name":"Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3660-7256","authenticated-orcid":false,"given":"Miroslav","family":"Michalko","sequence":"additional","affiliation":[{"name":"Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6347-2409","authenticated-orcid":false,"given":"J\u00e1n","family":"Perh\u00e1\u010d","sequence":"additional","affiliation":[{"name":"Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Valerie","family":"Novitzk\u00e1","sequence":"additional","affiliation":[{"name":"Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franti\u0161ek","family":"Jakab","sequence":"additional","affiliation":[{"name":"Department of Computers and Informatics, Faculty of Electrical Engineering and Informatics, Technical University of Ko\u0161ice, Letn\u00e1 9, 042 00 Ko\u0161ice, Slovakia"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"1968","published-online":{"date-parts":[[2022,3,16]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1145\/219717.219808","article-title":"Artificial Life Meets Entertainment: Lifelike Autonomous Agents","volume":"38","author":"Maes","year":"1995","journal-title":"Commun. ACM"},{"key":"ref_2","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1017\/S0269888900008122","article-title":"Intelligent Agents: Theory and Practice","volume":"10","author":"Jennings","year":"1995","journal-title":"Knowl. Eng. Rev."},{"key":"ref_3","unstructured":"Wooldridge, M.J. (2009). An Introduction to Multiagent Systems, John Wiley & Sons Ltd.. [2nd ed.]."},{"key":"ref_4","unstructured":"Weiss, G. (2013). Intelligent Agents. Multiagent Systems, The MIT Press. [2nd ed.]."},{"key":"ref_5","first-page":"69","article-title":"Towards a Formal Theory of Communication for Multiagent Systems","volume":"Volume 1","author":"Mylopouls","year":"1991","journal-title":"Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI\u201991), Sydney, Australia, 24\u201330 August 1991"},{"key":"ref_6","unstructured":"Sojka, P., and Hor\u00e1k, A. (2008). TIL in Knowledge-Based Multi-Agent Systems. RASLAN 2008, Proceedings of the 2nd Workshop on Recent Advances in Slavonic Natural Languages Processing, Karlova Studanka, Czech Republic, 5\u20137 December 2008, Masaryk University."},{"key":"ref_7","doi-asserted-by":"crossref","first-page":"358","DOI":"10.1109\/TSUSC.2018.2881416","article-title":"An Efficient Multi-Cloud Service Composition Using a Distributed Multiagent-Based, Memory-Driven Approach","volume":"6","author":"Kendrick","year":"2021","journal-title":"IEEE Trans. Sustain. Comput."},{"key":"ref_8","unstructured":"Moj\u00edk, J. (2007). Modelovanie Komunik\u00e1cie v Multiagentova\u00fdch Syst\u00e9moch. [Master\u2019s Thesis, Comenius University in Bratislava]."},{"key":"ref_9","first-page":"257","article-title":"Dialogue games in multi-agent systems","volume":"22","author":"McBurney","year":"2002","journal-title":"Informal Log."},{"key":"ref_10","unstructured":"(2021, December 12). Communication. Available online: https:\/\/www.etymonline.com\/word\/communication."},{"key":"ref_11","unstructured":"(2021, December 12). Communication. Available online: https:\/\/dictionary.cambridge.org\/dictionary\/english\/communication."},{"key":"ref_12","unstructured":"Austin, J.L. (1962). How to Do Things with Words, Oxford University Press. [1st ed.]."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Searle, J.R. (1969). Speech Acts: An Essay in the Philosophy of Language, Cambridge University Press. [1st ed.].","DOI":"10.1017\/CBO9781139173438"},{"key":"ref_14","unstructured":"Tich\u00fd, P. (1988). The Foundations of Frege\u2019s Logic, De Gruyter. [1st ed.]."},{"key":"ref_15","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"key":"ref_16","unstructured":"Visentini, B. (1970). English as a Formal Language. Linguaggi Nella Societa e Nella Tecnica. Edizioni di Communita, Edizioni di Communita."},{"key":"ref_17","unstructured":"Suppes, P., Moravcsik, J., and Hintikka, J. (1973). The Proper Treatment of Quantification in Ordinary English. Approaches to Natural Language, Springer."},{"key":"ref_18","first-page":"283","article-title":"Funkce\u2013Procedura\u2013Konstrukce","volume":"19","author":"Materna","year":"2012","journal-title":"Organon F"},{"key":"ref_19","unstructured":"Third, A. (2006). Logical Analysis of Fragments of Natural Language. [Ph.D. Thesis, The University of Manchester]."},{"key":"ref_20","first-page":"222","article-title":"Smysl a procedura","volume":"16","year":"1968","journal-title":"Filos. \u010casopis"},{"key":"ref_21","unstructured":"Raclavsk\u00fd, J. (2019). Z\u00e1klady Logiky P\u0159esv\u011bd\u010den\u00ed, Pavel Mervart. [1st ed.]."},{"key":"ref_22","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1086\/289338","article-title":"Constructions","volume":"53","year":"1986","journal-title":"Philos. Sci."},{"key":"ref_23","first-page":"83","article-title":"Semantical Considerations on Modal Logic","volume":"16","author":"Kripke","year":"1963","journal-title":"Acta Philos. Fenn."},{"key":"ref_24","unstructured":"Materna, P. (2007). Logick\u00e1 Anal\u00fdza P\u0159irozen\u00e9ho Jazyka, Masarykova Univerzita. [1st ed.]."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Du\u017e\u00ed, M., Jespersen, B., and Materna, P. (2010). Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic, Springer. [1st ed.].","DOI":"10.1007\/978-90-481-8812-3"},{"key":"ref_26","first-page":"302","article-title":"K transparentnej te\u00f3rii pojmov (II)","volume":"7","author":"Cmorej","year":"2000","journal-title":"Organon F"},{"key":"ref_27","first-page":"176","article-title":"K transparentnej te\u00f3rii pojmov (I)","volume":"7","author":"Cmorej","year":"2000","journal-title":"Organon F"},{"key":"ref_28","unstructured":"Du\u017e\u00ed, M., and Materna, P. (2012). TIL Jako Procedur\u00e1ln\u00ed Logika: Pruvodce Zv\u00eddav\u00e9ho \u010cten\u00e1\u0159e Transparentn\u00ed Intension\u00e1ln\u00ed Logikou, Aleph. [1st ed.]."},{"key":"ref_29","unstructured":"Novotn\u00fd, S. (2021). Modelovanie Dynamick\u00fdch Aspektov Multiagentov\u00fdch Syst\u00e9mov Pomocou Transparentnej Intenzion\u00e1lnej Logiky. [Bachelor\u2019s Thesis, Technical University of Ko\u0161ice]."},{"key":"ref_30","first-page":"275","article-title":"Questions, Answers, and Logic","volume":"15","year":"1978","journal-title":"Am. Philos. Q."},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Du\u017e\u00ed, M., \u010c\u00edhalov\u00e1, M., and Man\u0161\u00edk, M. (2013, January 16\u201322). Communication in a Multi-agent System; Questions and Answers. Proceedings of the 13th SGEM GeoConference on Informatics, Geoinformatics And Remote Sensing, Albena, Bulgaria.","DOI":"10.5593\/SGEM2013\/BB2.V1\/S07.002"},{"key":"ref_32","doi-asserted-by":"crossref","unstructured":"Liu, L., and \u00d6zsu, M.T. (2009). Ontologies, In Encyclopedia of Database Systems, Springer.","DOI":"10.1007\/978-0-387-39940-9"},{"key":"ref_33","doi-asserted-by":"crossref","first-page":"779","DOI":"10.1007\/s10846-018-0812-x","article-title":"Survey of multi-agent communication strategies for information exchange and mission control of drone deployments","volume":"95","author":"Pantelimon","year":"2019","journal-title":"J. Intell. Robot. Syst."},{"key":"ref_34","first-page":"166","article-title":"The TIL-script language","volume":"190","author":"Ciprich","year":"2009","journal-title":"Inf. Model. Knowl. Bases XX"}],"container-title":["Symmetry"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2073-8994\/14\/3\/588\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T22:37:31Z","timestamp":1760135851000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2073-8994\/14\/3\/588"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,3,16]]},"references-count":34,"journal-issue":{"issue":"3","published-online":{"date-parts":[[2022,3]]}},"alternative-id":["sym14030588"],"URL":"https:\/\/doi.org\/10.3390\/sym14030588","relation":{},"ISSN":["2073-8994"],"issn-type":[{"type":"electronic","value":"2073-8994"}],"subject":[],"published":{"date-parts":[[2022,3,16]]}}}