# 03/21/24: How and Why to extend First Order Logic for Knowledge-Based Systems with Marc Denecker

Page: https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker
Text version: https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker.md
Podcast: [Boston Computation Club](https://stenobird.com/podcast/boston-computation-club-4031660)
Published: 2025-04-05T18:15:28+00:00
Episode link: https://podcasters.spotify.com/pod/show/bostoncc/episodes/032124-How-and-Why-to-extend-First-Order-Logic-for-Knowledge-Based-Systems-with-Marc-Denecker-e3157qn
Audio file: https://anchor.fm/s/5eee01ac/podcast/play/100883735/https%3A%2F%2Fd3ctxlq1ktw2nl.cloudfront.net%2Fstaging%2F2025-3-5%2F397878598-44100-2-865eed3c36e6c.mp3
Processing state: not_requested
JSON: https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker
Duration seconds: 3164

## Resource

Today Marc Denecker joined us to present How and Why to extend First Order Logic for Knowledge-Based Systems . This presentation provided the setup for a follow-on that Marc's student Simon Vandevelde is set to give on IDP-Z3, a formal reasoning machine that Marc and Simon have built. This was a really interesting talk touching on a variety of forms for formal logic, decision procedures, and industrial use-cases thereof, potentially with profound implications for the future and realizability of so-called AGI.

## Actions

- request_transcript: `POST https://stenobird.com/v1/public/podcasts/boston-computation-club-4031660/episodes/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker/transcription-requests` — Idempotently request low-priority transcript generation for this episode.
- read_markdown: `GET https://stenobird.com/podcast/boston-computation-club-4031660/03-21-24-how-and-why-to-extend-first-order-logic-for-knowledge-based-systems-with-marc-denecker.md` — Read the agent-friendly Markdown representation of this episode resource.

A page view does not enqueue transcription. Agents should invoke `request_transcript` explicitly when they need this episode processed.

## Transcript

Full transcripts are not published on public pages unless there is a clear rights basis.