Deterministic Neural Syllogistic Reasoning (Part 2)

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

• Tiansi Dong
• Monday 31 March 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 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.

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.