Mathematical aspects of artificial intelligence American Mathematical Society short course January 8 - 9, 1996 Orlando, Florida (AMS, 1998)