Skip to main content Skip to main navigation

Publication

MikroCAD2NC: A Declarative Lathe-Workplanning Model Transforming CA D-like Geometries into Abstract NC Programs

Harold Boley; Philipp Hanschke; Martin Harm; Knut Hinkelmann; Thomas Labisch; Manfred Meyer; Jörg Müller; Thomas Oltzen; Michael Sintek; Werner Stein; Frank Steinle
DFKI, DFKI Documents (D), Vol. 91-15, 1991.

Abstract

μCAD2NC is a knowledge-based system generating workplans for idealized lathe CNC machines. It transforms CAD-like geometries of rotational-symmetric workpieces into abstract NC programs, using declarative term representations for all processing steps. The system has been developed using COLAB, a hybrid-knowledge compilation laboratory which integrates the power of forward and backward reasoning (incl. functional programming), constraint propagation, and taxonomic classification. The focus of this work is on exemplifying techniques of the hybrid, declarative COLAB formalisms for the central subtasks of CAD-to-NC transformations.