PDTAI: Provability, Decision Theory, and Artificial Intelligence

Remind me Tell a friend Add to my Google calendar (bCal) Download to my calendar Share PDTAI: Provability, Decision Theory, and Artificial Intelligence: Logical Counterfactuals and Logical Uncertainty Seminar | December 1 | 5:10-6:30 p.m. | 732 Evans Hall Speaker: Patrick LaVictoire, Machine Intelligence Research Institute Sponsor: Department of Mathematics In my previous talks, we’ve used modal logic to model self-referential phenomena in decision theory, and seen something go awry when we naively used material conditionals to construct counterfactuals in that context. Now we’d like to investigate alternative ways to formally define the sort of counterfactuals that interest us: the sort that an algorithm could use to figure out what outcome it would have if it had a certain output. Event Contact: tsvibt@berkeley.edu


Link to Full Article: PDTAI: Provability, Decision Theory, and Artificial Intelligence