Skip to main content
SpringerLink
Log in

Fundamentals of Artificial Intelligence

An Advanced Course

  • Textbook
  • © 1986

Overview

Editors:
  1. Wolfgang Bibel
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippe Jorrand
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 232)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (7 chapters)

  1. Front Matter

    Download chapter PDF

  2. Knowledge representation: Features of knowledge

    • James P. Delgrande, John Mylopoulos
    Pages 2-36

  3. Deduction and computation

    • Gérard Huet
    Pages 38-74

  4. An introduction to automated deduction

    • Mark E. Stickel
    Pages 75-132

  5. Fundamental mechanisms in machine learning and inductive inference

    • Alan W. Biermann
    Pages 133-169

  6. Methods of automated reasoning

    • Wolfgang Bibel
    Pages 171-217

  7. Term rewriting as a basis for the design of a functional and parallel programming language

    • Philippe Jorrand
    Pages 220-276

  8. Concurrent Prolog: A progress report

    • Ehud Shapiro
    Pages 277-313
Back to top

Keywords

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation