还不赶快来体验！！！

        他说话的同时，用手指指着墙上的一张蓝图。这张蓝图上钉着无数的资料卡片，资料卡片之间用箭头连接，郑文仔细地浏览着卡片的内容，却发现这些内容都非常琐碎，他一时没想到这些资料有什么特殊意义。

        那位‘渡鸦’似乎察觉到郑文的疑惑，他立刻介绍道：“我亲爱的弟兄，这些都是关于‘木匠’的线索。有些线索是真的，有些线索是假的。如果我们找到所有正确的线索，我们就能锁定这位‘木匠’的身份。”

        原来如此，这些资料卡原来是线索，但那些箭头又是什么呢？

        郑文问出了自己的疑问，对方自信地回答道：“这些箭头并没有什么复杂的涵义，这就是一个形式化的推理的过程。”

        “形式化的推理？”

        郑文大概明白了“渡鸦”的意思，但他还是静静地听对方解释：“在日常生活中，人们经常会根据直觉去推理，比如晴天不带伞；雨天没有淋湿，一定有雨具。这种推理的方式可以抽象为一个箭头，也就是事件A指向事件B的箭头。”

        他总结道：“当我们需要处理若干的线索的时候，推理过程会很复杂，这种箭头的形式能帮助我们快速梳理出各种可能性，并分析出最可能的结果——实际上，所谓的推理就是一种机械的程序算法。”

        这个知识有些新鲜，不过看起来也并不离奇。推理中的侦探总是用直觉推理，然而只要把所有的线索写下，相互比较，任何普通人都能做到那些传奇侦探才能做到的事。

        “很有意思，那接下来我们要做什么？”

        “渡鸦”扫了郑文一眼，他一字一顿说出了下一步行动：“我就快找到那个‘木匠’了，但我的推理缺乏一块关键的碎片，我们得先补全它。”

        【本章阅读完毕，更多请搜索笔趣阁;http://wapk.tvgua.com 阅读更多精彩小说】