Table of contents

  1. Front Matter
  2. James P. Delgrande, John Mylopoulos
    Pages 2-36
  3. Gérard Huet
    Pages 38-74
  4. Mark E. Stickel
    Pages 75-132
  5. Wolfgang Bibel
    Pages 171-217
  6. Ehud Shapiro
    Pages 277-313

About this book


This volume contains the elaborated and harmonized versions of seven lectures given at the first Advanced Course in Artificial Intelligence, held in Vignieu, France, in July 1985. Most of them were written in tutorial form; the book thus provides an extremely valuable guide to the fundamental aspects of AI. In the first part, Delgrande and Mylopoulos discuss the concept of knowledge and its representation. The second part is devoted to the processing of knowledge. The contribution by Huet shows that both computation and inference or deduction are just different aspects of the same phenomenon. The chapter written by Stickel gives a thorough and knowledgeable introduction to the most important aspects of deduction by some form of resolution. The kind of reasoning that is involved in inductive inference problem solving (or programming) from examples, and in learning, is covered by Biermann. The tutorial by Bibel covers the more important forms of knowledge processing that might play a significant role in common sense reasoning. The third part of the book focuses on logic programming and functional programming. Jorrand presents the language FP2, where term rewriting forms the basis for the semantics of both functional and parallel programming. In the last chapter, Shapiro gives an overview of the current state of concurrent PROLOG.


artificial intelligence automated deduction automated reasoning intelligence knowledge knowledge representation learning logic logic programming machine learning parallel programming problem solving programming semantics term rewriting

Bibliographic information

  • Book Title Fundamentals of Artificial Intelligence
  • Book Subtitle An Advanced Course
  • Authors Wolfgang Bibel
    A.W. Biermann
    J.P. Delgrande
    G. Huet
    Philippe Jorrand
    J. Mylopoulos
    E. Shapiro
    M.E. Stickel
  • Editors Wolfgang Bibel
    Philippe Jorrand
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1986
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-16782-2
  • eBook ISBN 978-3-540-39875-2
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages VII, 314
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Additional Information Originally published as volume 232 of the series: Lecture Notes in Computer Science
  • Topics Artificial Intelligence
    Programming Techniques
    Logics and Meanings of Programs
    Mathematical Logic and Formal Languages
  • Buy this book on publisher's site