受限定理，全稱為智能機器應(yīng)用限制定理，它明確了強人工智能應(yīng)用的限制條件。以智能推理機的應(yīng)用為例，凡是適用受限定理的案件，都無法用智能推理機來解決。這類案件并不常見，但每一起都很棘手。

　　寶石科技公司試圖用人工智能技術(shù)復(fù)活福爾摩斯，以此來永久性地解決一切福學(xué)問題。可就在研發(fā)的關(guān)鍵階段，公司收到了反福爾摩斯機器化協(xié)會寄來的威脅信，不久，項目的首席科學(xué)家遇害身亡，研發(fā)數(shù)據(jù)也不翼而飛。很快，新的死者又被發(fā)現(xiàn)陳尸密室之中。

　　智能推理機失效，人類終于有機會大顯身手了。