The Logic of Worms: A Study in Architectural Knowledge Representation

P Galle and L B Kovács
Additional contact information
P Galle: Department of Graphical Communication, Building 116, Technical University of Denmark, DK-2800 Lyngby, Denmark¶
L B Kovács: Department of Computer Science, University of Copenhagen, Universitetsparken 1, DK-2100 Copenhagen Ø, Denmark

Environment and Planning B, 1992, vol. 19, issue 1, 5-31

Abstract: A schematic but nontrivial site-plan prototype is analyzed, and constituent concepts are created and subsequently represented in formal logic, using Horn clause notation. The purpose of this work is to explore logic programming as a means of representing realistic design knowledge in computer systems for support of architectural sketch design. No such system has been implemented as part of the present study, but results are reported which are encouraging and relevant to further research in that direction. Thus the study seems to show that logical analysis of a specific prototype design can yield a ‘microcosmos’ of general concepts which are meaningful in their own right but also potentially useful in many other contexts than that of the prototype.

Date: 1992
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://journals.sagepub.com/doi/10.1068/b190005 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:sae:envirb:v:19:y:1992:i:1:p:5-31

DOI: 10.1068/b190005

Access Statistics for this article

More articles in Environment and Planning B
Bibliographic data for series maintained by SAGE Publications ().