Publications / 1987 Proceedings of the 4th ISARC, Haifa, Israel
Perceptions of design and CAD are discussed, leading to a distinction between human knowledge and machine representations of knowledge. A strategy for mechanistic symbol processors is presented, employing mechanisms of formal logic to manipulate written and drawn expressions of designers knowledge.