Exploring Artificial Intelligence. Survey Talks from the National Conferences on Artificial Intelligence

✍ Scribed by Howard Shrobe

• Publisher: Elsevier Inc, Morgan Kaufmann Pub
• Year: 1988
• Tongue: English
• Leaves: 695
• Category: Library

✦ Synopsis

Exploring Artificial Intelligence is a unique presentation of the spectrum of research in Artificial Intelligence. Each self-contained chapter is based on a survey talk given at the National Conferences on Artificial Intelligence (AAAI 1986 & 1987). The original speakers, all leading researchers in their fields, have updated and revised their talks especially for this publication. Selected and edited to be accessible to students and nonspecialists, Exploring Artificial Intelligence preserves the informal character of the talks while presenting authoritative overviews of current research in critical subareas of AI. Individually, each lecture provides a penetrating exploration of a key area. Taken together, they offer a panorama of the field as a whole: its core issues, progress, and future directions. An ideal collection for personal reference or for use in introductory courses in AI and its subfields, Exploring Artificial Intelligence is essential reading for anyone interested in the intellectual and technological challenges of Artificial Intelligence

✦ Table of Contents

Content:
Front Matter, Page iii
Copyright, Page iv
Preface, Pages v-xii, Howard E. Shrobe
Chapter 1 - Intelligent Tutoring Systems: A Survey, Pages 1-43, Beverly Woolf
Chapter 2 - An Introduction to Explanation-based Learning, Pages 45-81, Gerald DeJong
Chapter 3 - Knowledge-based Natural Language Understanding, Pages 83-131, Wendy G. Lehnert
Chapter 4 - Natural-Language Interfaces, Pages 133-172, C. Raymond Perrault, Barbara J. Grosz
Chapter 5 - Reasoning About Plans and Actions, Pages 173-196, Michael P. Georgeff
Chapter 6 - Search: A Survey of Recent Results, Pages 197-237, Richard E. Korf
Chapter 7 - Qualitative Physics: Past, Present, and Future, Pages 239-296, Kenneth D. Forbus
Chapter 8 - Model-based Reasoning: Troubleshooting, Pages 297-346, Randall Davis, Walter Hamscher
Chapter 9 - Artificial Intelligence Techniques for Diagnostic Reasoning in Medicine, Pages 347-379, Ramesh S. Patil
Chapter 10 - Evidential Reasoning Under Uncertainty, Pages 381-418, Judea Pearl
Chapter 11 - Temporal Reasoning in Artificial Intelligence, Pages 419-438, Yoav Shoham, Nita Goyal
Chapter 12 - Nonmonotonic Reasoning, Pages 439-481, Raymond Reiter
Chapter 13 - A Survey of Automated Deduction, Pages 483-543, Woody Bledsoe, Richard Hodges
Chapter 14 - Symbolic Computing Architectures, Pages 545-617, Howard E. Shrobe
Chapter 15 - The Common LISP Object System: An Example of Integrating Programming Paradigms, Pages 619-640, Daniel G. Bobrow
Chapter 16 - Artificial Intelligence and Software Engineering, Pages 641-670, David Barstow
Acknowledgments and Figure Credits, Pages 671-672
Index, Pages 673-693