Reasoning about knowledge
by Ronald Fagin · first published 2003
2mentions
2recommended by
2HN commenters
2015–2023first – last mentioned
100% recommend
Affiliate links. As an Amazon Associate I earn from qualifying purchases.
…similarly to a constraint-solver. Resources: Wikipedia entry on Epistemic Logic: http://en.wikipedia.org/wiki/Epistemic_modal_logic Fagin, Ronald; Halpern, Joseph; Moses, Yoram; Vardi, Moshe (2003). Reasoning about Knowledge: http://www.amazon.com/Reasoning-About-Knowledge-Ronald-Fagin... I haven't read the entire book, but the first couple of chapters give you an idea and some great examples not too different from this…
on “When Is Cheryl's Birthday?” ↗If you're interested in consensus algorithms, you might be interested in this book that I used in a theoretical course on distributed system called "Reasoning about Knowledge" (https://mitpress.mit.edu/9780262562003/reasoning-about-knowl...). You have to invest a bit in learning about modal logic, but once you do get past that part, this book provides proofs of why things…
on “The Raft Consensus Algorithm” ↗