BOOKS MODEL-BASED COMPUTER V I S I O N Rodney Allen Brooks Assistant Professor Computer Science Stanford University Documenting i m p o r t a n t advances in c o m p u t e r vision, this clearly written, illustrated book describes ACRONYM, a c o m p u t e r vision system for interpreting aerial p h o t o g r a p h s and for r o b o t vision. Brooks provides a w e l l - o r g a n i z e d description of the system's design as well as an o v e r v i e w of several i m p o r t a n t aspects of the m o d e l - b a s e d vision problem. Now in use at Stanford, ACRONYM incorporates a n u m b e r of new ideas including: advances in g e o m e t r i c m o d e l i n g technique, n e w spatial reasoning methods, and original approaches to image prediction and interpretation. Also, the author shows h o w a new algebra manipulation system can be used to establish deductive constraints between models and images. Three appendices detail input specifications for examples used in the book, the image description process used in interpreting aerial p h o t o g r a p h s with ACRONYM, and a brief description of the ACRONYM rule compiler. shows h o w the p r o g r a m s shed light on h o w humans do mathematics, and also h o w they can find application both as automatic assistants and in teaching mathematics. Based on existing undergraduate and postgraduate courses at Edinburgh University, this text will primarily appeal to students of artificial intelligence and mathematical reasoning. However, the book reaches a w i d e r audience which includes academics of these subjects, and those interested in mathematics, c o m p u t e r p r o g r a m m i n g (especially expert systems) and psychology. Academic Press, 1983, c.320pp.; 0.12.141252.0 (paper)-9.50 (UK only)/$15.00; 0.12.141250.4 (cased)-19.80 (Uk only)/$33.00. MACHINE LEARNING An Artificial Intelligence Approach Edited by: Ryszard S. Michalski, Jaime G. Carbonell, and Tom M. Mitchell A collection of chapters by leading scientists on c o n t e m p o r a r y research in machine learning, this book is intended as a supplementary t e x t b o o k for general courses in artificial intelligence and also as a primary text for more specialized courses. Specific t o p i c s include knowledge acquisition for expert systems, procedure and strategy learning, learning by analogy, learning from advice, learning from examples, learning f r o m observation, modeling human learning, discovery systems, and conceptual data analysis. Introductory and o v e r v i e w chapters and a glossary of basic t e r m s are included for nonspecialists. An extensive bibliography of the field is also included. Published by Tioga Publishing Company. 600 pages. Bibliography. Glossary. Illustrations. Index. Clothbound. $39.50. ISBN 0 - 9 3 5 3 8 2 - 0 5 - 4 . Partial Contents: * * * * * * * * The ACRONYM System Survey of Related Work Model Representation Constraint Manipulation Geometric Reasoning Prediction Interpretation Index 120 pp. $34.95, Series No. 14, ISBN 8357-1526-4F3X, Spring 1984. (Editor's Note: We have a copy of this book for s o m e o n e w h o wishes to write a review.) THE COMPUTER MODELING OF MATHEMATICAL REASONING Alan Bundy Dept. of Artificial Intelligence University of Edinburgh This book describes c o m p u t e r p r o g r a m s which do mathematics, that is programs which prove theorems, form mathematical m o d e l s or discover new mathematical concepts. It starts by showing h o w mathematical logic can be used to represent mathematical k n o w l e d g e in a c o m p u t e r and to a u t o m a t e inference. The author brings t o g e t h e r and reappraises, s o m e t i m e s radically, the most i m p o r t a n t mathematical reasoning c o m p u t e r programs. He NEW PUBLICATIONS New publications in C o m p u t e r Science, Technology and Applications 1983. A 128-page brochure with this title was published by North-Holland. Details on 59 new books and 2 new journals are included. Titles do cover a wide range of subject areas such as: s o f t w a r e technology, data c o m m u n i c a t i o n s , grpahics, system design, automated manufacturing, robotics, electronics. A free copy is available. Write to: North-Holalnd, Attn: Mr. J. Dirkmaat, P.O. Box 1991, 1000 BZ A m s t e r d a m , The Netherlands.

/lp/association-for-computing-machinery/books-LfeJ44duyo