Introduces students with background in a standard lower-division calculus course to the mathematical foundations and tools of artificial intelligence (AI) and describes their application to the design of AI algorithms, exploring AI from three different viewpoints: goals, methods, and achievements and failures. Coverage of the concepts of predicate logic; the theory of resolution; nonmonotonic reasoning; Bayesian networks; and neural nets includes exercises, with answers available on a separate diskette. Annotation c. by Book News, Inc., Portland, Or.
