skip to content

Department of Computer Science and Technology

Date: 
Monday, 31 March, 2025 - 17:00 to 17:45
Speaker: 
Tiansi Dong
Venue: 
Lecture Theatre 2, Computer Laboratory, William Gates Building

In my last talk (https://talks.cam.ac.uk/talk/index/228844), I introduced the criterion of deterministic neural reasoning, the method of reasoning through model construction and inspection, and proposed a novel neural network, Sphere Neural Network (SphNN), which reasons syllogistic statements by constructing and inspecting Euler diagrams. SphNN does not use training data, instead, it uses a transition map of neighbourhood relations. In this talk, I will present three control process (1. neighbourhood transition without constraint; 2. constraint neighbourhood transition; 3. neighbourhood transition with restart) and prove that the whole control process will successfully construct an Euler diagram in one epoch (M=1). With this proof, SphNN becomes the first neural network that reaches the symbolic-level of syllogistic reasoning.

https://www.youtube.com/watch?v=PFCHg-DAnEs

Seminar series: 
Foundation AI

Upcoming seminars