First presenter			Co-presenter(s)
Name :	Prof Michael Barnett *		Name:
E-mail:	michaelb@princeton.edu		E-mail:
Affiliation:	City University of New York, Emeritus		Name:
Department:	Computer and Information Science		E-mail:
City:	New York		Name:
State/Province:			E-mail:
Country:	USA		Name:
Talk Number:	08-05		E-mail:
Session:	8- Analogy in Reasoning and Construction		Schedule:   Room:	Saturday, 8:30   B-3420
Related website:
Title of presentation:	Using analogy in symbolic calculation
Abstract:
I have reduced the human effort in several recent symbolic calculations of chemical valence theory by the mechanized use of analogy. I explain the basic principles by (analogous) text processing examples, state the benefits of my mathematical applications of these methods, and show some diagrammatic depictions of certain laboratory experiments constructed in analogous ways.