A Perspective of Constraint-Based Reasoning: An Introductory Tutorial

بسیاری از تحقیقات هوش مصنوعی در مورد استراتژی های حل مسئله است و چندین تکنیک متبلور شده است. یکی از این تکنیک ها رضایت محدودیت یا استدلال مبتنی بر روابط است. استدلال مبتنی بر محدودیت برای حل حوزه وسیعی از مسائل استفاده می‌شود، و اخیراً تکنیک‌های محدودیت در زبان‌های برنامه‌نویسی منطقی گنجانده شده‌اند و زمینه جدیدی از تحقیق و کاربرد را به وجود آورده‌اند: برنامه‌نویسی منطق محدودیت. تکنیک‌های رضایت از محدودیت تقریباً بخشی از تمام کتاب‌های مقدماتی هوش مصنوعی شده‌اند. این مونوگراف در مورد رضایت از محدودیت است. تفاوت آن با سایرین در این است که همه رویکردها را تحت یک دیدگاه مشترک و تعمیم‌دهنده ارائه می‌کند: محدودیت‌های پویا. این شیوه جدید مشاهده محدودیت ها بینش جدیدی در مورد رویکردهای مختلف ارائه می دهد و پایه بسیار عملی را برای آموزش استدلال مبتنی بر محدودیت تشکیل می دهد. یک دیدگاه یکسان از دنیای محدودیت ها نیز مبنای خوبی برای تحقیقات محدودیت است. این متن به عنوان یک کتاب درسی مستقل در مورد استدلال مبتنی بر محدودیت نیست، بلکه یک متن منسجم در یک دیدگاه جالب از این زمینه است.

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.