Hi Wei! Abram and I have been working on formalizing Logical Updatelessness for a few months. We’ve been mostly setting a framework and foundations using Logical Inductors, and building the obvious UDT algorithms. But we’ve also stumbled upon some of the above problems (especially pitfalls of EVM / commitment races, and logical conditionals vs counterfactuals / natural accounts of logically uncertain reasoning), and soon we’ll turn more thoroughly to the Game Theory enabled by this Learning Theory.
You’re welcome to join the PIBBSS Symposium on Friday 22nd 18:30 CEST, where I’ll be presenting some of our ideas (more info). We still have a lot of open avenues, so no in-depth write-up yet, but soon a First Report will exist.
Also, of course, feel free to hit me with a DM anytime.
Hi Wei! Abram and I have been working on formalizing Logical Updatelessness for a few months. We’ve been mostly setting a framework and foundations using Logical Inductors, and building the obvious UDT algorithms. But we’ve also stumbled upon some of the above problems (especially pitfalls of EVM / commitment races, and logical conditionals vs counterfactuals / natural accounts of logically uncertain reasoning), and soon we’ll turn more thoroughly to the Game Theory enabled by this Learning Theory.
You’re welcome to join the PIBBSS Symposium on Friday 22nd 18:30 CEST, where I’ll be presenting some of our ideas (more info). We still have a lot of open avenues, so no in-depth write-up yet, but soon a First Report will exist.
Also, of course, feel free to hit me with a DM anytime.
Thanks, I’ve set a reminder to attend your talk. In case I miss it, can you please record it and post a link here?
Here’s a link to the recording.
Here’s also a link to a rough report with more details about our WIP.
Sure! (Note you need to register to get the zoom link)