مشخصات کتاب

Answer Set Solving in Practice

ویرایش:  
نویسندگان: Martin Gebser,  Roland Kaminski,  Benjamin Kaufmann,  Torsten Schaub  
سری: Synthesis Lectures on Artificial Intelligence and Machine Learning 
ISBN (شابک) : 9781608459728 
ناشر: Morgan & Claypool 
سال نشر: 2013 
تعداد صفحات: 221 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 2 مگابایت 

در صورت تبدیل فایل کتاب Answer Set Solving in Practice به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب حل مجموعه پاسخ در عمل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی در مورد کتاب حل مجموعه پاسخ در عمل

برنامه‌نویسی مجموعه پاسخ (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

فهرست مطالب

Figures......Page 6
Tables......Page 8
Lists......Page 9
Algorithms......Page 11
Preface......Page 12
About the Book......Page 14
Motivation......Page 17
Quickstart......Page 20
Refs......Page 25
Logical Preliminaries & Terminology......Page 27
Basic Syntax & Semantics......Page 29
First-Order Variables......Page 32
Core Language......Page 33
Optimization Statements......Page 38
Two (and a Half) Kinds of Negation......Page 39
True Language Extensions......Page 40
Computation from First Principles......Page 42
Reasoning Modes......Page 45
Computational Complexity......Page 46
Refs......Page 47
Problem Encoding......Page 50
Modeling Methodology......Page 54
Advanced Problem Encoding......Page 60
Refs......Page 64
Grounding......Page 65
Basic Grounding Algorithms......Page 66
Turing Machine......Page 72
Meta Programming......Page 75
Refs......Page 80
Axiomatic Characterization......Page 82
Operational Characterization......Page 87
Proof-theoretic Characterization......Page 91
Nogood-based Characterization......Page 95
Refs......Page 102
Boolean Constraint Solving......Page 104
Setting the Stage......Page 106
Conflict-driven Nogood Learning......Page 107
Nogood Propagation......Page 112
Unfounded Set Checking......Page 115
Conflict Analysis......Page 120
Refs......Page 123
Architecture......Page 125
GRINGO input Language......Page 126
Making Grounding more transparent......Page 130
SMODELS Format......Page 133
Solving with CLASP......Page 135
Interfaces & Preprocessing......Page 136
Reasoning Modes......Page 137
Propagation & Search......Page 138
Multi-threaded Architecture......Page 140
Making Solving more transparent......Page 146
Fine-Tuning......Page 148
CLASPD......Page 150
CLASPAR......Page 151
CLINGO......Page 152
CLINGCON......Page 153
ICLINGO......Page 155
OCLINGO......Page 159
Refs......Page 161
Pimping Queens......Page 164
Stemming Blocks......Page 168
Sequential Planning......Page 169
Parallel Planning......Page 179
Speeding Salesmen......Page 181
Vade mecum gum......Page 183
Refs......Page 185
Omissions......Page 186
Challenges......Page 188
Arming Tweety with Jet Engines......Page 189
ASP in a Nutshell......Page 191
Biblio......Page 193
Index......Page 216

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Weather: An Illustrated History: From Cloud Atlases to Climate Change

دانلود کتاب The Cosmic Common Good: Religious Grounds for Ecological Ethics

دانلود کتاب Art in social work practice theory and practice: international perspectives

دانلود کتاب Fondamenti di Controlli Automatici

دانلود کتاب The 25 Issues that Shape American Politics: Debates, Differences, and Divisions