Room 206 (2nd floor, badged access)
22 January 2026 - 14h00
Bringing AI to Autonomous Systems
by Joseph Sifakis from Verimag
invited by Joseph SIFAKIS
22 January 2026 - 14h00
Bringing AI to Autonomous Systems
by Joseph Sifakis from Verimag
invited by Joseph SIFAKIS
Abstract: Autonomous systems are distributed systems composed of agents, each pursuing its own goals, but which must coordinate to satisfy the overall goals of the system.
Main points covered:
1. We analyze the characteristics of autonomous systems, explaining that they underlie a multifaceted concept of intelligence that cannot be characterized by conversational behavioral tests such as the Turing test.
2. We propose a development method based on an agent reference architecture that characterizes autonomous behavior as the result of the composition of a set of independent functions. The behavior results from the orchestration of reactive behavior producing actions in response to external stimuli, and proactive behavior aimed at satisfying the agent's needs relating to the success of its mission. The two behaviors coordinate by sharing knowledge contained in a long-term memory.
3. We analyze how AI can contribute to the creation of AI agents and multi-agent systems, highlighting the need for its seamless integration with traditional software and discussing the current limitations of the state of the art. These limitations particularly concern the use of knowledge stored in long-term memory to semantically control and further improve the accuracy of AI components and adaptation to a constantly changing environment through goal management and planning.
We conclude by emphasizing that AI is still in its infancy, and that there is a long way to go to realize the vision of autonomous systems and get as close as possible to human intelligence.
