May 08, 2018
The title isn't a rhetorical question; I'm actually looking for answers. This summer, I'll have the opportunity to attend a summer school on logic, language and information. Whether or not I go depends to a significant extent on whether what they'll be teaching - particularly epistemic logic, also some other topics in logic and language - will be useful for AI safety research. Here is a summary of epistemic logics, and here are the courses I'll be able to take. I've already taken classes in first-order logic, but right now I'm uncertain about the value of doing these extra courses.
Reasons to think learning epistemic logic will be useful for agent foundations:
Reasons to think it won't be useful: