Logic Lounge

Note that the public lecture given in the Logic Lounge is free and open to everyone!

Location: Virtual
Date and Time: Thursday July 22, 2021, 11am-12pm PDT
(The event will be recorded and streamed again for participants of CAV in the second block of the conference on Friday July 23, 2021, 11am-12pm GMT+6).
Event Page, Event Registration (only needed if you are not registered for CAV)

Cognitive AI: From AI models to mental representations?
Joscha Bach, Intel Labs, California

Abstract: The aspiration of philosophy can be understood as the integration of all theories, and the aspiration of mathematics as the exploration of all consistent languages. Philosophy starts out with natural languages, mathematics with formal ones. Just as it is hard to say provably true things in the languages of philosophers, it is hard to make meaningful statements about our world using the languages of mathematicians. Grounding philosophy in mathematical languages requires the mathematization of the mind. In this sense, Artificial Intelligence is more than research into advances in information processing. It is also a daring, risky and extremely important philosophical project.

Bio: Joscha Bach, PhD, is a cognitive scientist and AI researcher with a focus on computational models of cognition. He has taught and worked in AI research at Humboldt University of Berlin, the Institute for Cognitive Science in Osnabrück, the MIT media lab, the Harvard Program for Evolutionary Dynamics and is currently a principal AI researcher at Intel Labs, California.

Organizers:

The Logic Lounge is hosted by the 33rd International Conference on Computer-Aided Verification (CAV) and organized by Leopold Haller (Agentic AI) in collaboration with the Vienna Center for Logic and Algorithms at TU Wien (VCLA) and supported by Roderick Bloem and Georg Weissenbacher. A list of past events and recordings of talks can be found on the Logic Lounge website.