عنوان

A perspective of constraint-based reasoning :

شابک

3540471936

شابک

9783540471936

شماره

b566178

عنوان اصلي

A perspective of constraint-based reasoning :

نام عام مواد

[Book]

ساير اطلاعات عنواني

an introductory tutorial

نام نخستين پديدآور

edited by H.W. Güsgen, J. Hertzberg.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1992.

نام خاص و کميت اثر

(viii, 123 pages) : illustrations

عنوان فروست

Lecture notes in computer science, 597.; Lecture notes in computer science., Lecture notes in artificial intelligence.

متن يادداشت

The office world.- Constraint concepts.- Constraint relaxation.- Backtracking approaches.- From simple filtering to tagging.- Appoaches to filtering in parallel.- Optimization approaches.- Instead of a conclusion.

متن يادداشت

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.

موضوع مستند نشده

Constraints (Artificial intelligence)

موضوع مستند نشده

Contraintes (Intelligence artificielle)

موضوع مستند نشده

Reasoning.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

edited by H.W. Güsgen, J. Hertzberg.

مستند نام اشخاص تاييد نشده

Hans Werner Güsgen

مستند نام اشخاص تاييد نشده

J Hertzberg

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y