Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph Transformation
Artificial intelligence (AI) is becoming an increasingly common feature in software engineering. As AI systems grow in autonomy, they can address progressively complex, multi-step tasks without human interaction. This evolution, however, introduces significant challenges with respect to ensuring quality attributes, such as correctness, completeness, reliability, traceability, and trustworthiness. Given that many AI techniques are commonly considered as black box systems, assurance for AI tends to focus on the inputs and outputs, as well as the execution paths within AI-based workflows and agentic systems. We review the key assurance modes for AI usage and demonstrate them using an example from software modelling. Then we situate our vision within the existing body of related work. Finally, we outline how graph transformation techniques can be used to support and enhance AI assurance.
Tue 30 JunDisplayed time zone: Brussels, Copenhagen, Madrid, Paris change
09:00 - 10:30 | |||
09:00 60mTalk | Purr-spectives on graphs GCM I: Jade Alglave Arm and University College London, Artem Khyzha Arm Ltd, Luc Maranget Inria, Nikos Nikoleris Arm Research, Hadrien Renaud University College London, Filippo Sestini Arm | ||
10:00 30mTalk | Towards Neuro-Symbolic Assurance for Artificial Intelligence via Graph Transformation GCM P: Lukas Sebastian Hofmann Philipps-Universität Marburg | Universidad Complutense de Madrid, Jens Kosiol Brandenburgische Technische Universität Cottbus-Senftenberg, Jose Ignacio Requeno Complutense University of Madrid, Reiko Heckel University of Leicester, Gabriele Taentzer Philipps-Universität Marburg | ||