Conference
RV4JaCa - Runtime Verification for Multi-Agent Systems
| العنوان: | RV4JaCa - Runtime Verification for Multi-Agent Systems |
|---|---|
| المؤلفون: | Engelmann D. C., Ferrando A., Panisson A. R., Ancona D., Bordini R. H., Mascardi V. |
| المساهمون: | Engelmann, D. C., Ferrando, A., Panisson, A. R., Ancona, D., Bordini, R. H., Mascardi, V. |
| بيانات النشر: | Open Publishing Association |
| سنة النشر: | 2022 |
| المجموعة: | Archivio della ricerca dell'Università di Modena e Reggio Emilia (Unimore: IRIS) |
| الوصف: | This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS) using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This layer is capable of controlling events during the execution of the system without needing a specific implementation in the behaviour of each agent to recognise the events. MAS have been used in the context of hybrid intelligence. This use requires communication between software agents and human beings. In some cases, communication takes place via natural language dialogues. However, this kind of communication brings us to a concern related to controlling the flow of dialogue so that agents can prevent any change in the topic of discussion that could impair their reasoning. We demonstrate the implementation of a monitor that aims to control this dialogue flow in a MAS that communicates with the user through natural language to aid decision-making in hospital bed allocation. |
| نوع الوثيقة: | conference object |
| اللغة: | English |
| Relation: | info:eu-repo/semantics/altIdentifier/wos/WOS:001047263100003; ispartofbook:Electronic Proceedings in Theoretical Computer Science, EPTCS; 2nd Workshop on Agents and Robots for Reliable Engineered Autonomy, AREA 2022; volume:354; firstpage:23; lastpage:36; numberofpages:14; journal:ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE; https://hdl.handle.net/11380/1331870; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85135459792 |
| DOI: | 10.4204/EPTCS.362.5 |
| الاتاحة: | https://hdl.handle.net/11380/1331870 https://doi.org/10.4204/EPTCS.362.5 |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.A9E54B7C |
| قاعدة البيانات: | BASE |
| DOI: | 10.4204/EPTCS.362.5 |
|---|