Steven.Minton@K.CS.CMU.EDU (10/20/86)
This week's seminar is being led by Raul Valdes-Perez. Friday, 3:15 in 7220. Be there. Here's the abstract: Title: "Automatic Schematics Drafting: Aesthetic Configuration as a Design Task". To draft a schematic means to depict (say on paper) the electrical connections and function of a circuit. Aspects of this work are the following: 1. A design task that uses other than a production-system architecture. 2. An approach to "space planning" that is modern in the sense of exploiting dependency-directed backtracking and constraint-posting. 3. The idea of contradicton-fixing rules that exploit the richness of information when an inconsistency occurs. 4. Study of a linear-inequality-based representation of partial task solutions, and the properties of this representation. 5. A backtracking scheme suited to the search regimen used.