我们所需要的是一个真正忽略它所知的大部分内容，并在任一时刻根据恰当选择的部分知识进行运作的系统。恰当选择，并非是经过彻底考察作出的选择。可是，怎样才能为一个系统建立忽略规则？或更进一步，既然明确地遵循规则不等于这个问题，怎样才能设计出一个系统，使它在一个复杂的行动环境中面临种类众多的不同情况时，可靠地忽略那些应该忽略的东西？
J·麦卡锡称这为限定性问题，并且通过著名的教士和食人者难题对此作出生动说明。
三个教士和三个食人者来到河边。只有一条可乘两人的小船。如果在河岸的任一边食人者的数目超过教士，教士就会被吃掉。他们该怎样过河呢？
显然，该难题需要的是设计出一个往返划船策略，使他们都能过河，又不发生惨剧……
我们设想把这个问题交给某人，经过一段时间的苦思冥想，他提出建议，向上游走半英里路，从桥上过去。“什么桥？”你说，“这个问题的陈述中没有提到过桥。”这个笨伯回答说：“可是他们没有说那里没有桥。”你查看了一下原文，甚至查看了翻译成一阶逻辑的原文，你不得不承认，“他们没有说”那里没有桥。于是你修正了问题，将桥排除在外，再次提出。这个笨伯又建议乘直升飞机，当你排除直升飞机之后，他建议飞马，或是在两人划船
7 认知之轮：人工智能的框架问题
173