Advertisement

© 1992

A Perspective of Constraint-Based Reasoning

An Introductory Tutorial

  • Editors
  • Hans Werner Guesgen
  • Joachim Hertzberg
Book

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

Table of contents

About this book

Introduction

Much of AI research is about problem-solving strategies, and several techniques have been crystalized. One such technique is constraint satisfaction or reasoning based on relations. Constraint-based reasoning is used to solve a wide field of problems, and recently constraint techniques have been incorporated into logic programming languages, yielding a whole new field of research and application: constraint logic programming. Constraint satisfaction techniques have become part of almost all introductory books on AI. This monograph is about constraint satisfaction. It differs from others in that it presents all approaches under a common, generalizing view: dynamic constraints. This new way of viewing constraints provides new insights about the different approaches, and forms a very practical basis for teaching constraint-based reasoning. A uniform view of the constraint world is also a good basis for constraint research. This text is not intended to be a self-contained textbook on constraint-based reasoning, but rather a coherent text on an interesting view of the field.

Keywords

Backtraking Bedingtes Schließen Constraint-Based Reasoning Knowledge Representation Optimierung Problem Solving Problemlösungsstrategien Text Wissensdarstellung artificial intelligence logic programming optimization programming programming language

Bibliographic information

  • Book Title A Perspective of Constraint-Based Reasoning
  • Book Subtitle An Introductory Tutorial
  • Authors Hans W. Guesgen
    Joachim Hertzberg
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI https://doi.org/10.1007/3-540-55510-2
  • Copyright Information Springer-Verlag Berlin Heidelberg 1992
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-55510-0
  • eBook ISBN 978-3-540-47193-6
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages IX, 127
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Automotive
Chemical Manufacturing
Biotechnology
IT & Software
Telecommunications
Law
Consumer Packaged Goods
Pharma
Materials & Steel
Finance, Business & Banking
Electronics
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering