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

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

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