Logic, Theorem Proving, and Probabilistic Programming

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

• Christian Steinruecken (University of Cambridge)
• Thursday 19 November 2015, 14:30-16:00
• Engineering Department, CBL Room 438.

If you have a question about this talk, please contact Yingzhen Li.

This seminar will give an accessible introduction to logic and declarative programming, along with its theoretical background, practical uses, and relations to machine learning. The talks has three primary aims: (1) to confer key concepts about logical reasoning and how these can be implemented with machines, (2) to empower the audience to solve a wide class of interesting problems using logic programming, (3) to review the current frontier in machine learning, and motivate the search for new fundamental tools (such as probabilistic programming systems).

Along the way, I’ll show how to implement a basic theorem prover, and outline the anatomy of a declarative probabilistic programming language.

Required reading: none.

This talk is part of the Machine Learning Reading Group @ CUED series.

This talk is included in these lists:

• All Talks (aka the CURE list)
• Cambridge Centre for Data-Driven Discovery (C2D3)
• Cambridge Forum of Science and Humanities
• Cambridge Language Sciences
• Cambridge University Engineering Department Talks
• Cambridge talks
• Centre for Smart Infrastructure & Construction
• Chris Davis' list
• Computational Continuum Mechanics Group Seminars
• Engineering Department, CBL Room 438
• Featured lists
• Guy Emerson's list
• Hanchen DaDaDash
• Inference Group Journal Clubs
• Inference Group Summary
• Information Engineering Division seminar list
• Interested Talks
• ML
• Machine Learning Reading Group
• Machine Learning Reading Group @ CUED
• Machine Learning Summary
• Quantum Matter Journal Club
• Required lists for MLG
• School of Technology
• Simon Baker's List
• TQS Journal Clubs
• Trust & Technology Initiative - interesting events
• bld31
• custom
• ndk22's list
• ob366-ai4er
• rp587
• yk373's list

Note that ex-directory lists are not shown.