حل مسئله با مجموعه‌های پاسخ در عمل ۲۰۲۲
Answer Set Solving in Practice 2022

برنامه‌نویسی مجموعه پاسخ (ASP) رویکردی اعلانی برای حل مسئله است که در ابتدا برای مدل‌سازی مسائل در حوزه بازنمایی دانش و استدلال (KRR) طراحی شد. اخیراً، ترکیب جذاب یک زبان مدل‌سازی غنی و در عین حال ساده با ظرفیت‌های حل مسئله با عملکرد بالا، علاقه بسیاری را در زمینه‌های دیگر، حتی فراتر از KRR، برانگیخته است. این کتاب یک معرفی عملی به ASP ارائه می‌دهد و هدف آن استفاده از زبان‌ها و سیستم‌های ASP برای حل مسائل کاربردی است. با شروع از مبانی رسمی ضروری، این کتاب فناوری حل مسئله، زبان و روش مدل‌سازی ASP را معرفی می‌کند و در عین حال، کل فرآیند حل مسئله را با مثال‌های عملی به تصویر می‌کشد.

فهرست مطالب: فهرست تصاویر / فهرست جداول / انگیزه / مقدمه / مدل‌سازی پایه / زمینه‌سازی / مشخصه‌سازی‌ها / حل مسئله / سیستم‌ها / مدل‌سازی پیشرفته / نتیجه‌گیری

Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP’s solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples. Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions