在本文中将未知变量引入到逻辑推理的过程

使分析技术进入了自动化的范畴。分析技术的自动化是人工智能的一个重要组成部分。 本文提出的一个论点是:对未来的人工智能机器（机器人）

关键的问题不是在于我们给机器规定了什么叫它去执行

而是要求机器人在任意未知的环境条件下

为了达到某一个目标——结论

如何去寻找为实现这个目标的途径——前提。机器人要是具有这种能力

就必须能按照客观的环境条件和已经学得的知识进行分析

判定为达到这个目标尚缺少几项前提

并寻找这些前提是否存在。上述过程可称之为分析技术自动化

可以通过分析逻辑方程的解集中的特殊形式的解来达到。