"的关于 AI 的论文。这篇论文是对约束补偿问题智能回溯的早期研究。截至2009年，斯托曼和萨斯曼介绍的技术仍然是智能回溯中最通用和最强大的解释。有关（）的技术也在该论文中被提及。作为MIT计算机科学与人工智能实验室的黑客，斯托曼从事软件项目，如文本编辑器，不兼容的分时系统上的Emacs，还有lisp机器的操作系统项目。在这期间，他成为了实验室电脑限制访问技术的热心评论家，当时这个计划是由国防高级研究计划局资助的。当MIT计算机科学与人工智能实验室安装了一套密码控制系统，斯托曼很快就找到了一个解密密码的