受限福尔摩斯机

受限定理，全称为“智能机器应用限制定理”，它明确了强人工智能应用的限制条件。以智能推理机的应用为例，凡是适用受限定理的案件，都无法用智能推理机来解决。这类案件并不常见，但每一起都很棘手。
宝石科技公司试图用人工智能技术“复活”福尔摩斯，以此来永久性地解决一切福学问题。可就在研发的关键阶段，公司收到了反福尔摩斯机器化协会寄来的威胁信，不久，项目的首席科学家遇害身亡，研发数据也不翼而飞。很快，新的死者又被发现陈尸密室之中。
智能推理机失效，人类终于有机会大显身手了。