关于知识的推理
Reasoning about knowledge
Ronald Fagin · 初版 2003 年
- 2次提及
- 2人推荐
- 2位 HN 评论者
Hacker News 读者推荐
……类似于 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... 我没把整本书读完，但前几章就能让你明白大概脉络，并给出一些跟这个很相似的精彩例子……
esfandia 在 HN 的推荐
如果你对共识算法（consensus algorithms）感兴趣，可能会对我在一门分布式系统理论课上用过的这本书感兴趣，书名叫《Reasoning about Knowledge》（https://mitpress.mit.edu/9780262562003/reasoning-about-knowl...）。你得花点精力学学模态逻辑（modal logic），但一旦跨过了那道坎，这本书就给出了关于为什么事情会……的证明。
galenmarchetti 在 HN 的推荐
找书
豆瓣 微信读书 京东 Open Library ISBN 0262562006
数据整理自 Hacker News 公开评论，数据来源 hackerbooks.org 与 Open Library。