Describing assembly tasks in declarative way * Extended Abstract

—Task speci cation in a robotized assembly context is a complex process leading from the verbalized goal of the assembly via the subsequent abstractions, each on lower level of detail, down to the robotized cell program realizing the posed goal. This process is error-prone on one hand and knowledgeintensive on the other, giving occupation to a number of specialists but precluding many small and medium enterprises from robotizing their production. This paper presents an approach to automatize parts of this process, offering a set of knowledge-based tools and techniques to simplify the task speci cation and guide the user on the way to the nal robot program.