Sphere Embedding: The Atom for Explainable and Reliable AI and Machine Reasoning (Part 1)

Add to your list(s) Download to your calendar using vCal

• Tiansi Dong
• Tuesday 29 April 2025, 17:00-17:45
• Lecture Theatre 2, Computer Laboratory, William Gates Building.

If you have a question about this talk, please contact Pietro Lio.

In this talk, I will show the representation power of sphere embedding: (1) a variety of basic geometric objects can be defined as spheres; (2) Spheres are perfect for neuro-symbolic unification – sphere centre hosting latent feature embedding for associative thinking (System 1), sphere boundary explicitly embodies part-whole or category relations for logical reasoning (System 2); (3) Spheres and the connection relation can define commonsense spatial relations, including orientation and distance; (4) Cartesian product of sphere configurations can formulate event structure. Putting all these together, we can use sphere configurations to define the knowledge structure of humour, which is not far away from the knowledge structure of syllogism. This talk ends with the conclusion: spheres are natural representations of syllogistic reasoning (the microcosm of human rationality) and humour reasoning (the highest level of human rationality). They are the two end-poles that span the continuum of human intelligent behaviours.

This talk is part of the Foundation AI series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Artificial Intelligence Research Group Talks (Computer Laboratory)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge Forum of Science and Humanities
• Cambridge Language Sciences
• Cambridge talks
• Chris Davis' list
• Department of Computer Science and Technology talks and seminars
• Guy Emerson's list
• Hanchen DaDaDash
• Interested Talks
• Lecture Theatre 2, Computer Laboratory, William Gates Building
• School of Technology
• Speech Seminars
• Trust & Technology Initiative - interesting events
• bld31
• ndk22's list
• ob366-ai4er
• rp587
• yk373's list
• yk449

Note that ex-directory lists are not shown.