…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…
如果你对共识算法（consensus algorithms）感兴趣，可能会对我在一门分布式系统理论课上用过的这本书感兴趣，书名叫《Reasoning about Knowledge》（https://mitpress.mit.edu/9780262562003/reasoning-about-knowl...）。你得花点精力学学模态逻辑（modal logic），但一旦跨过了那道坎，这本书就给出了关于为什么事情会……的证明。
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…
……类似于 constraint-solver（约束求解器）。相关资源：关于认识逻辑（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... 我没把整本书读完，但前几章就能让你明白大概脉络，并给出一些跟这个很相似的精彩例子……
…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…
如果你对共识算法（consensus algorithms）感兴趣，可能会对我在一门分布式系统理论课上用过的这本书感兴趣，书名叫《Reasoning about Knowledge》（https://mitpress.mit.edu/9780262562003/reasoning-about-knowl...）。你得花点精力学学模态逻辑（modal logic），但一旦跨过了那道坎，这本书就给出了关于为什么事情会……的证明。
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…