The logic of walking: representing design knowledge on pedestrian traffic nets

Specific examples of how 'soft' architectural design knowledge can be formalized and made available to knowledge-based design support systems are scarce in the literature. In this paper such an example is presented in some detail. In a context of design of networks of footpaths, streets, or the like for pedestrian traffic, two particular design concepts are studied: concentration of pedestrians' and 'smoothness of walking lines'. The concepts are put to work in a hypothetical design, and on that background their possible representation in Horn clause logic is outlined, and computational aspects of the representation are discussed.