دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Constraint satisfaction in logic programming
دانلود کتاب رضایت محدودیت در برنامه نویسی منطقی
مشخصات کتاب
Constraint satisfaction in logic programming
ویرایش: First Edition
نویسندگان: Pascal Van Hentenryck
سری:
ISBN (شابک) : 0262081814, 9780262081818
ناشر: The MIT Press
سال نشر: 1989
تعداد صفحات: 240
زبان: English
فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 33,000
در صورت تبدیل فایل کتاب Constraint satisfaction in logic programming به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رضایت محدودیت در برنامه نویسی منطقی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رضایت محدودیت در برنامه نویسی منطقی
این کتاب با استفاده از یک زبان برنامه‌نویسی منطقی که تکنیک‌های
سازگاری را در خود جای داده است، به مسائل کلاسیک از تحقیق در
عملیات و طراحی مدار می‌پردازد، الگوی برآمده از تحقیقات هوش
مصنوعی. Van Hentenryck رویکرد جدیدی را برای حل مسائل ترکیبی
گسسته با استفاده از این تکنیک ها پیشنهاد می کند.
برنامه نویسی منطقی به عنوان یک زبان مناسب برای بیان مسائل
ترکیبی عمل می کند، اما پارادایم «تولید و آزمایش» آن منجر به
برنامه های ناکارآمد می شود. رویکرد Van Hentenryck یکی از
مفیدترین ویژگی‌های برنامه‌نویسی منطقی - دوگانگی معنایی آن - را
حفظ می‌کند و در عین حال زمان توسعه کوتاهی را برای برنامه‌ها
فراهم می‌کند و در عین حال بیشترین کارایی برنامه‌های هدف ویژه
نوشته شده در یک زبان رویه‌ای را حفظ می‌کند.
< br /> تعبیه تکنیک‌های سازگاری در برنامه‌نویسی منطقی،
سهولت و انعطاف‌پذیری برنامه‌نویسی و زمان توسعه کوتاه را ممکن
می‌سازد، زیرا انتشار محدودیت‌ها و برنامه‌نویسی جستجوی درختی از
کاربر انتزاع می‌شوند. همچنین برنامه‌های منطقی را قادر می‌سازد
تا به طور مؤثر اجرا شوند، زیرا تکنیک‌های سازگاری استفاده فعال
از محدودیت‌ها را برای حذف ترکیبی از مقادیری که نمی‌توانند در یک
راه‌حل ظاهر شوند، امکان‌پذیر می‌سازد. برنامه های کاربردی برای
مسائل ترکیبی زندگی واقعی.
ایده های معرفی شده در رضایت محدودیت در برنامه نویسی
منطقیبا موفقیت برای حل بیش از ده ها مشکل عملی در تحقیق در
عملیات و طراحی مدار استفاده شده است. از جمله برنامه‌ریزی منفصل،
مکان انبار، توالی‌یابی خودروی برش، و مشکلات برچسب‌گذاری
میکروکد.
پاسکال ون هنریک یکی از اعضای هیات تحقیقاتی مرکز تحقیقات صنعت
کامپیوتر اروپا است. رضایت محدودیت در برنامه نویسی منطقی
بر اساس تحقیقات پروژه CHIP مرکز است. به عنوان نتیجه این پروژه،
یک زبان جدید (CHIP) که شامل تکنیک های سازگاری خواهد بود برای
استفاده تجاری توسعه داده شده است. این کتاب در مجموعه
برنامه‌نویسی منطقی با ویرایش ایهود شاپیرو گنجانده شده است
توضیحاتی درمورد کتاب به خارجی
This book tackles classic problems from operations research and
circuit design using a logic programming language embedding
consistency techniques, a paradigm emerging from artificial
intelligence research. Van Hentenryck proposes a new approach
to solving discrete combinatorial problems using these
techniques.
Logic programming serves as a convenient language for stating
combinatorial problems, but its "generate and test" paradigm
leads to inefficient programs. Van Hentenryck's approach
preserves one of the most useful features of logic programming
- the duality of its semantics - yet allows a short development
time for the programs while preserving most of the efficiency
of special purpose programs written in a procedural
language.
Embedding consistency techniques in logic programming allows
for ease and flexibility of programming and short development
time because constraint propagation and tree-search programming
are abstracted away from the user. It also enables logic
programs to be executed efficiently as consistency techniques
permit an active use of constraints to remove combinations of
values that cannot appear in a solution Van Hentenryck presents
a comprehensive overview of this new approach from its
theoretical foundations to its design and implementation,
including applications to real life combinatorial
problems.
The ideas introduced in Constraint Satisfaction in Logic
Programming have been used successfully to solve more than
a dozen practical problems in operations research and circuit
design, including disjunctive scheduling, warehouse location,
cutting stock car sequencing, and microcode labeling
problems.
Pascal Van Hentenryck is a member of the research staff at the
European Computer Industry Research Centre. Constraint
Satisfaction in Logic Programming is based on research for
the Centre's CHIP project. As an outgrowth of this project, a
new language (CHIP) that will include consistency techniques
has been developed for commercial use. The book is included in
the Logic Programming series edited by Ehud Shapiro
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Handbuch der forensischen Psychiatrie, Band 5: Forensische Psychiatrie im Privatrecht und Öffentlichen Recht
دانلود کتاب Capturing King Coal Deploying Carbon Capture and Storage Systems in the U.S. at Scale
دانلود کتاب The Cambridge Companion to J. M. Synge (Cambridge Companions to Literature)
دانلود کتاب Markandeya Purana
