Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!decvax!ucbvax!K.CS.CMU.EDU!Steven.Minton
From: Steven.Minton@K.CS.CMU.EDU
Newsgroups: mod.ai
Subject: Seminar - Automatic Schematics Drafting (CMU)
Message-ID: <8610231511.AA29239@ucbvax.Berkeley.EDU>
Date: Mon, 20-Oct-86 15:23:35 EDT
Article-I.D.: ucbvax.8610231511.AA29239
Posted: Mon Oct 20 15:23:35 1986
Date-Received: Fri, 24-Oct-86 00:35:01 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
Lines: 19
Approved: ailist@sri-stripe.arpa

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.