News for hackers. Stuff that matters.

A comment on The Logic Puzzle You Can Only Solve with Your Brightest Friend.

Re:The Logic Puzzle You Can Only Solve with Your Brightest F... by a008t on Tuesday July 17, 2018 @09:38AM (#17549628)
For those of you that are interested, there is a formal logic that can be used to reason about such problems, called Dynamic Epistemic Logic: https://eprints.soton.ac.uk/261816/1/EUMAS2.pdf A book chapter on the topic is available here: http://www.vub.ac.be/CLWF/SS/DELhandbookarticle.pdf

Course slides and other information can be found here: https://sites.google.com/site/thealexandrubaltagsite/teachin...

It is a fascinating topic. Equipped with DEL, you can approach similar problems dealing with knowledge, belief, private and public announcements systematically.

[ Parent | on HN ]

There are no comments on this comment yet.