Implementing the Sisyphus-93 task using Soar/TAQL

Abstract Systems can be implemented in the Soar problem-solving architecture by using a stratified development approach. First, the developer describes the structure of the task knowledge at the knowledge level. Next, the developer maps that knowledge into abstract components of Soar’s problem-space computational model. Finally, the developer encodes the problem-space model in an executable representation. The transformations at each stage preserve the original knowledge-level structure of the task. This paper describes how this approach yielded a working prototype implementation of the Sisyphus-93 elevator-configuration task in less than a week.