功能和效率)，而ACT-R着重于认知建模 (对人类认知的详细建模)。 在艾伦·纽厄尔的书“ 认知统一理论 ”中，描述了最早构成Soar基础的认知理论「问题空间假设」， 这也追溯到最早期的人工智慧系统之一，由纽厄尔、西蒙和Shaw在1955年提出的逻辑理论家。问题空间假设认为，在尝试实现目标时，所有目标导向的行为都可以被看作是对可能状态空间的搜索（问题空间）。每个步骤都会选择一个运算元(Operator)，将其应用到代理的当前状态，这可能导致内部发生变化，比如从长期记忆、世界的改变或外部行为中提取知识。（