Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: event: Topos Colloquium

Topic: Bob Coecke: "Compositional Intelligence"


view this post on Zulip Tim Hosgood (Feb 21 2022 at 12:29):

This Thursday (the 24th) at 17:00 UTC

view this post on Zulip Tim Hosgood (Feb 21 2022 at 12:29):

Abstract.

This talk will be fairly high-level and requires no prior technical background. We will introduce the notion of compositional intelligence that my Oxford-based CQ-team is trying to achieve.

In particular, starting from the compositional match between natural language and quantum, which also extends to other domains [1], we will argue that a new generation of AI can emerge when fully pushing this analogy while exploiting the completeness of categorical quantum mechanics [2].

We also discuss the notion of compositionality itself, which takes many different forms within many different contexts, and how the one we need goes beyond previous ones [3].

[1] Vincent Wang-Mascianica, BC (2021) Talking Space: inference from spatial linguistic meanings. arxiv.org/abs/2109.06554

[2] BC, Dom Horsman, Aleks Kissinger, Quanlong Wang (2021) Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus). arxiv.org/abs/2102.10984

[3] BC (2021) Compositionality as we see it, everywhere around us. arxiv.org/abs/2110.05327

view this post on Zulip Tim Hosgood (Feb 21 2022 at 12:30):

YouTube: https://youtu.be/03ZPDyj8TtM

view this post on Zulip Tim Hosgood (Feb 24 2022 at 16:55):

starting in 5 minutes!