修剪专家系统的扣减

在规则系统或任何通过前向链推理规则推断事实的推理系统中,你将如何修剪"不必要的"分支？我不确定正式的术语是什么,但我只是想了解人们在推理问题时如何能够限制他们的思路,而我所见过的所有语义推理者都无法做到这一点.

例如,在约翰麦卡锡的论文"自然语言理解的例子"和"人工智能问题提出的问题"中,他描述了使计划能够智能地回答有关纽约时报新闻文章问题的潜在问题.在第4节"非单调推理的需要"中,他讨论了使用奥卡姆的Razer在推理故事时限制事实的包含.他使用的样本故事是关于劫持家具店老板的劫匪.

如果要求程序在谓词演算中形成故事的"最小完成",则可能需要包括原始故事中未直接提及的事实.但是,它还需要某种方式知道何时限制其扣除链,以便不包括不相关的细节.例如,它可能希望包括该案件所涉及的警方的确切人数,但该文章没有提及,但它不想包括每个警官都有母亲的事实.