Data di Pubblicazione:
2026
Citazione:
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]
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.
Tipologia CRIS:
Capitolo/Saggio
Keywords:
Argumentation; Cognitive and BDI Agents; Declarative approaches; Logic-based approaches; Ontologies; Verification
Elenco autori:
Ancona, D.; Briola, D.; Ferrando, A.; Martelli, M.; Mascardi, V.
Link alla scheda completa:
Link al Full Text:
Titolo del libro:
Lecture Notes in Computer Science
Pubblicato in: