Mathematical Aspects of Artificial Intelligence: American Mathematical Society Short Course January 8-9, 1996 Orlando, Florida

Contains papers from a January 1996 workshop examining the connections between artificial intelligence (AI) and mathematics, demonstrating the potential for mathematical applications and exposing some of the more mathematical areas within AI. Topics include the Deep Blue chess match, temporal reasoning and the frame problem, probability and probability trees, use of ordering techniques in automated reasoning systems, linear programming's ties to constraint logic programming, and computer vision. For graduate students and research mathematicians interested in artificial intelligence. Annotation c. by Book News, Inc., Portland, Or.