Work

X-by-Construction Meets Intersymbolic AI

Year: 2026

Type: conference-paper

Abstract: X-by-Construction (XbC) encompasses extensions beyond correctness concerns which are common in the traditional Correctness-by-Construction (CbC) paradigm. Like CbC, XbC is a refinement approach to engineer systems that by construction satisfy certain ( non-functional ) properties. An ISoLA 2024 track gathered experts to discuss possible synergies between CbC/XbC and symbolic or subsymbolic Artificial Intelligence (AI). A key benefit of symbolic (rule-based) AI is its formal rigor, which comes at the cost of formal modeling effort and computational expensive reasoning. Subsymbolic (data-driven) AI approaches, on the other hand, usually outperform rigorous ones in performance but might lead to unsound results. An AISoLA 2025 track gathered experts to discuss the emerging field of Intersymbolic AI , which aims to exploit the benefits of both AI approaches, and the role of formal methods therein. The scope of the ISoLA 2026 track on “X-by-Construction Meets Intersymbolic AI” (XbC-IAI) was to gather researchers and practitioners who work on the topics of these two tracks to discuss possible synergies between CbC/XbC and Intersymbolic AI. These proceedings of the XbC-IAI track contain 13 contributions by participants.

Source: Lecture notes in computer science

DOI: 10.1007/978-3-032-40121-2_1

Authors: Maurice H. ter Beek, Clemens Dubslaff, Juliane Päßler, Ina Schaefer

Institutions: Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Eindhoven University of Technology, Technische Universität Braunschweig, TU Wien, Karlsruhe Institute of Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Estimated APC paid: $5,392

OpenAlex ID: W7222838632