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

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

　　智能推理機(jī)失效，人類終于有機(jī)會(huì)大顯身手了。