Let’s Talk AI with Computer Science Expert Wolfgang Ahrendt
Book chapter, 2026
My vision is that we align the AI developments with technological, scientific, interdisciplinary, and societal discussions about what is it we want and do not want. If we cannot agree, let us talk, hoping that, with help of this dialogue, we are better equipped for the task. And let us work hard on the alignment of trust and trustworthiness. My personal AI mission: To contribute to methods where we use AI in the context of program development, such that the resulting programs are trustworthy even if we do not rely on the trustworthiness of the used AI. Neuro-symbolic methods should help us with that mission.
artificiell intelligens
Symbolic methods
Trust and trustworthiness
Program development
Author
Wolfgang Ahrendt
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
Barbara Steffen
METAFrame Technologies
Lecture Notes in Computer Science
0302-9743 (ISSN) 1611-3349 (eISSN)
Vol. 15000 LNCS 189-195Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-032-09008-9_22