[mod.ai] Seminar Series - AI in Design and Manufacturing

Tenenbaum@SRI-KL (Marty Tenenbaum) (03/18/86)

			ANNOUNCEMENT

Subject:  Seminar on A.I. in Design and Manufacturing.

Time: 	  Every Wednesday from 4-5:30 during Spring Quarter.

Location: Terman Engineering Center, room 556, Stanford.

For further information contact:

Jay M. Tenenbaum, Consulting Professor, Computer Science 
(415) 496-4699 or Tenenbaum@SRI-KL.


Purpose: To explore and stimulate the use of A.I. concepts and tools in
engineering.

This seminar will bring together engineers and computer scientists
interested in applying A.I. methods to engineering problems.  We will
study the knowledge and reasoning processes used in designing and
manufacturing electronic and mechanical systems, and how they can be
codified for use in intelligent CAD/CAM systems.

Seminar Format:

An initial series of lectures, by distinguished A.I.  researchers,
will describe ways in which engineering knowledge can be formalized,
and manipulated by a computer to solve design and manufacturing
problems.  Subsequent lectures, by guest lecturers and students, will
present case studies drawn from the domains of electronic and
mechanical design, semiconductor fabrication, and process planning.
Seminal papers will be distributed and discussed in conjunction
with each lecture.

One unit of credit (pass/fail) will be granted for reading papers and
participating in class discussion. Students who elect to do a
programming project or an in-depth ontological study of some
engineering task will receive three units (graded).



                Tentative Schedule (Subject to Change)

April 	2  Course Introduction (Jay M. Tenenbaum)
	   Rule-based systems; Application to Heuristic Classification
	   (William Clancey) 

	9  Frames and Objects; Application to Modeling and Simulation
	   (Richard Fikes)

	16 Logic; Application to Design Debugging, Diagnosis, And Test
	   (Michael Genesereth)

	23 Prolog: Application to Design Verification (Harry Barrow)

	30 Truth Maintainance; Application to Diagnosing Multiple Faults.
	   (Johann DeKleer)

May	 7 Knowledge Engineering as Ontological Analysis (Pat Hayes)

	14 Transformational Approaches to Synthesis; Applications to
	   Electronic and Mechanical Design (Cordell Green). 

	21 Modeling and Reasoning about Electronic Design: 
	   Paladio (Harold Brown); Helios (Narinder Singh)
	
	28 Modeling and Reasoning about Semiconductor Fabrication
	   (John Mohammed, M. Klein)

June     4 Applications of AI in Mechanical Design and Manufacture
	   The PRIDE Design System (Sanjay Mittal);  
	   Video Tape on Expert Systems for Manufacturing (Mark Fox).


(Exam Week) Presentation of Student Projects