汉克斯和麦克德莫特在最近一篇文章中(Hanks and McDermott1985，1986)对这一现象的实例作了详细的考察。我们研究了麦克德莫特有关时态逻辑的简化形式(McDermott1982)，这一形式比先前研究过的非单调系统更加复杂些。我们曾希望证明，从形式系统中真的能够得出我们想要的结论。我们曾期望多重固定点问题能胜过缺省逻辑，但是我们也曾期望划界法是有效的。我们惊异地发现，划界法和缺省公式面临同样的问题，其实回想一下，各种系统之间的相似性是非常显著的，所以不必对此感到奇怪。
所有的逻辑都有这个问题：像“极小化”和“稳定信念集”这样的概念恰恰不适合于时间域。我们想要的非单调规则曾是(非形式地说)“世界的状态趋于保持不受扰动”。所有逻辑得出的结论都使扰动达到极小，但这并不是我们真正想要的。事实上，我们希望的是避免未知原因带来的扰动。
我们曾试图说明：“历程”如果不被后续事件明确“截断”，就会继续下去。看看下面的事件序列：
- 弗里德出生了 弗里德开始成为活着的
- 枪装上弹药 枪开始成为装有弹药的
- 弗里德被击中 弗里德成为死的
我们应该能够得出结论：弗里德现在死了(不幸由于暴力)。但是另一情节能同样成功地使于扰达到极小。在这情形中，事件3发生之前，枪停止装弹药，而这只是为了避免对弗里德的存活造成干扰，别无他因。
人工智能哲学
238