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.
2026
Lecture Notes in Computer Science
9783032229397
9783032229403
Springer Science and Business Media Deutschland GmbH
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]
Ancona, D.; Briola, D.; Ferrando, A.; Martelli, M.; Mascardi, V.
File in questo prodotto:
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

Licenza Creative Commons
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

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1413461
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact