Toward a tool aiding the design of automated manufacturing systems

This paper presents a new formalism for the design of automated manufacturing systems (AMS). This formalism is based on results from artificial intelligence and cognitive psychology works on human problem solving strategies. It is described in a validation context which is a small tooling model that allows to put forward its assets. A computer support of this formalism is also presented.<
>