Con Allen Newell, Simon desarrolló una teoría para la simulación del comportamiento de resolución de problemas humanos usando reglas de producción.