首先，让我澄清一下，我认为这个问题在这里很重要，因为符号集成也是人类解决的问题，所以它需要某种智能。

其次，几个月前我还看过温斯顿的那个有趣的讲座，所以我记得他在讲座中提到的一些规则只是人类有时也用来解决积分的规则（例如，按部分积分，你应该有一个想法，如果你曾经在高中上过微积分课程），但他也提到了人工智能中使用的其他解决问题的技术，比如与或树。

话虽如此，我从来没有实现过任何符号积分程序，但我认为 James R. Slagle 的论文A heuristic program that solves symbolic integration questions in freshman calculus (1963) 可以（至少部分）回答这个问题，因为它描述了一个符号积分程序，SAINT（代表符号自动积分器），它还提到了它使用的一些转换/规则，以及温斯顿在那次讲座中提到的与或目标树，所以我猜 Winston 可能指的是本文或类似论文中的技术（我需要重新观看讲座以确认这一点）。有关 SAINT 的更多详细信息，请参阅Slage 1961 年的博士论文。论文。

我怀疑现在可能有比 SAINT 更有效的程序来解决符号集成，所以我将把细节留给该主题的专家。

除此之外，您还可以在描述通用集成规则的 Web 文章（例如this、this和this ）上找到。