Mathematical Aspects of Artificial Intelligence: American Mathematical Society Short Course January 8-9, 1996 Orlando, Florida (Proceedings of Symposia in Applied Mathematics)