Strachey Lecture to focus on Bayesian Logic language

The next Strachey Lecture will be delivered on 10 July by Professor Stuart Russell from the University of California during July’s Federated Logic Conference (FLoC).

In this public lecture at the Sheldonian Theatre in Oxford, Stuart will describe the Bayesian Logic (Blog) language mainly through examples in a talk entitled ‘Unifying Logic and probability: The Blog language’. He will also cover its application to monitoring the Comprehensive Nuclear-Test-Ban Treaty.

Logic and probability are ancient subjects whose unification holds significant potential for the field of artificial intelligence. The BLOG language provides a way to write probability models using syntactic and semantic devices from first-order logic. In modern parlance, it is a relational, open-universe probabilistic programming language that allows one to define probability distributions over the entire space of first-order model structures that can be constructed given the constant, function, and predicate symbols of the program.

The Strachey Lectures are generously supported by OxFORD Asset Management. They are free to attend, but registration is essential. Stuart’s lecture will begin promptly at 5pm.

Booking is at: https://www.eventbrite.co.uk/e/the-strachey-lecture-in-cooperation-with-the-federated-logic-conference-floc-2018-tickets-44382581496