Since the first appearance of agents and multiagent systems (MAS), their close connection with declarative technologies was clearly devised and drove – and still drives – a large share of the research in the field. Declarative technologies play many roles in the MAS context: they can be exploited in the specification of the agents and MAS architecture, in the specification of their conversational flow, in their implementation, and in the representation of the agents’ knowledge. In all of these roles, one main advantage of declarative technologies is the support to transparency and explainability thanks to a (more, w.r.t. other paradigms) readable, understandable, and interoperable description of the system, and to reliability, by means of formal verification of its properties. This chapter, guided by works presented at Workshop on Objects and Agents (WOA) starting from 2000, discusses the crucial role that declarative technologies play in a MAS context.
25 Years of Declarative Agent Technologies in Italy / Ancona, D., Briola, D., Ferrando, A., Martelli, M., Mascardi, V. (LECTURE NOTES IN COMPUTER SCIENCE). - In: Lecture Notes in Computer Science[s.l] : Springer Science and Business Media Deutschland GmbH, 2026. - ISBN 9783032229397. - pp. 287-319 [10.1007/978-3-032-22940-3_11]
25 Years of Declarative Agent Technologies in Italy
Ferrando A.;
2026
Abstract
Since the first appearance of agents and multiagent systems (MAS), their close connection with declarative technologies was clearly devised and drove – and still drives – a large share of the research in the field. Declarative technologies play many roles in the MAS context: they can be exploited in the specification of the agents and MAS architecture, in the specification of their conversational flow, in their implementation, and in the representation of the agents’ knowledge. In all of these roles, one main advantage of declarative technologies is the support to transparency and explainability thanks to a (more, w.r.t. other paradigms) readable, understandable, and interoperable description of the system, and to reliability, by means of formal verification of its properties. This chapter, guided by works presented at Workshop on Objects and Agents (WOA) starting from 2000, discusses the crucial role that declarative technologies play in a MAS context.| File | Dimensione | Formato | |
|---|---|---|---|
|
unpaywall-bitstream-117715590.pdf
Open access
Tipologia:
VOR - Versione pubblicata dall'editore
Licenza:
[IR] creative-commons
Dimensione
3.21 MB
Formato
Adobe PDF
|
3.21 MB | Adobe PDF | Visualizza/Apri |
Pubblicazioni consigliate

I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris




