Here’s the slides from my talk on logical counterfactuals at the Cambridge/MIRI workshop in May 2015. I’m planning to give a similar talk tomorrow at the Google Tel Aviv office (meetup link). None of the material is really new, but I hope it shows that basic LWish decision theory can be presented in a mathematically rigorous way.
Here’s the slides from my talk on logical counterfactuals at the Cambridge/MIRI workshop in May 2015. I’m planning to give a similar talk tomorrow at the Google Tel Aviv office (meetup link). None of the material is really new, but I hope it shows that basic LWish decision theory can be presented in a mathematically rigorous way.
This is super interesting. Is this based on UDT?
Yeah, it’s UDT in a logic setting. I’ve posted about a similar idea on the MIRI research forum here.