Arrow Research search

Author name cluster

Giovanni Ciatto

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

6 papers
2 author rows

Possible papers

6

ECAI Conference 2025 Conference Paper

Exploiting GenAI for Plan Generation in BDI Agents

  • Giovanni Ciatto
  • Gianluca Aguzzi
  • Riccardo Battistini
  • Martina Baiardi
  • Samuele Burattini
  • Alessandro Ricci

Extending BDI agents with the ability to autonomously generate plans has long been a goal in the field of cognitive agent engineering to enhance their adaptability. Recent advances in GenAI are now opening new possibilities for plan generation, by leveraging the natural-language understanding, mean-end reasoning, and abstraction capabilities of LLMs. In this paper, we investigate the integration of GenAI-based plan generation into AgentSpeak(L) agents, and we analyse the implications of transferring knowledge between the LLM and the BDI agent, for the sake of dynamic plan generation. We propose a coherent framework where AgentSpeak(L) is extended with plan generation, and we model the boundaries of the generative process. We prototype our framework via the JaKtA BDI agent technology, and we methodologically assess the quality of the plans generated by LLMs of different sorts.

Details

AAMAS Conference 2024 Conference Paper

Concurrency Model of BDI Programming Frameworks: Why Should We Control It?

  • Martina Baiardi
  • Samuele Burattini
  • Giovanni Ciatto
  • Danilo Pianini
  • Andrea Omicini
  • Alessandro Ricci

We provide a taxonomy of concurrency models for BDI frameworks, elicited by analysing state-of-the-art technologies, and aimed at helping both BDI designers and developers in making informed decisions. Comparison among BDI technologies w. r. t. concurrency models reveals heterogeneous support, and low customisability.

PDF

EUMAS Conference 2023 Conference Paper

JaKtA: BDI Agent-Oriented Programming in Pure Kotlin

  • Martina Baiardi
  • Samuele Burattini
  • Giovanni Ciatto
  • Danilo Pianini

Abstract Multi-paradigm languages are becoming more and more popular, as they allow developers to choose the most suitable paradigm for each task. Most commonly, we observe the combination of object-oriented (OOP) and functional programming (FP), however, in principle, other paradigms could be hybridised. In this paper, we present JaKtA, an internal DSL adding support for the definition of belief-desire-intention (BDI) agents in Kotlin. We believe is a first step to investigate the blending of Agent-Oriented Programming (AOP) with other popular paradigms and we discuss the opportunity and value of doing so with an internal DSLs. Finally, through JaKtA, we show how this can already lead to compactly and expressively create BDI agents that smoothly interoperate with the host language, its libraries and tooling.

Details

JELIA Conference 2021 Conference Paper

Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt

  • Giovanni Ciatto
  • Roberta Calegari
  • Andrea Omicini

Abstract The ability to lazily manipulate long or infinite streams of data is an essential feature in the era of data-driven artificial intelligence. Yet, logic programming technologies currently fall short when it comes to handling long or infinite streams of data. In this paper, we discuss how Prolog can be reinterpreted as a stream processing tool, and re-designed around an abstract state-machine capable of lazily manipulating streams of data via backtracking.

Details

JAAMAS Journal 2020 Journal Article

Logic-based technologies for multi-agent systems: a systematic literature review

  • Roberta Calegari
  • Giovanni Ciatto
  • Andrea Omicini

Abstract Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes them be identified with the whole AI by many non-computer-scientists and non-technical media, symbolic approaches are getting more and more attention as those that could make AI amenable to human understanding. Given the recurring cycles in the AI history, we expect that a revamp of technologies often tagged as “classical AI”—in particular, logic-based ones—will take place in the next few years. On the other hand, agents and multi-agent systems (MAS) have been at the core of the design of intelligent systems since their very beginning, and their long-term connection with logic-based technologies, which characterised their early days, might open new ways to engineer explainable intelligent systems. This is why understanding the current status of logic-based technologies for MAS is nowadays of paramount importance. Accordingly, this paper aims at providing a comprehensive view of those technologies by making them the subject of a systematic literature review (SLR). The resulting technologies are discussed and evaluated from two different perspectives: the MAS and the logic-based ones.

Details DOI
v2026.09.13