دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کنفرانس ها و همایش های بین المللی ویرایش: 1 نویسندگان: Fausto Giunchiglia, Paolo Traverso (auth.), Susanne Biundo, Maria Fox (eds.) سری: Lecture Notes in Computer Science 1809 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540678662, 9783540678663 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2000 تعداد صفحات: 381 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، تحلیل الگوریتم و پیچیدگی مسائل، محاسبات عددی، ریاضیات گسسته در علوم کامپیوتر
در صورت تبدیل فایل کتاب Recent Advances in AI Planning: 5th European Conference on Planning, ECP’99, Durham, UK, September 8-10, 1999. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب پیشرفت های اخیر در برنامه ریزی هوش مصنوعی: پنجمین کنفرانس اروپایی در مورد برنامه ریزی ، ECP99 ، دورهام ، انگلیس ، 8-10 سپتامبر 1999. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
این کتاب مجموعه مقالات پس از داوری کامل پنجمین کنفرانس اروپایی
برنامه ریزی، ECP'99، برگزار شده در دورهام، انگلستان، در سپتامبر
1999 است.
27 مقاله کامل اصلاح شده ارائه شده همراه با یک نظرسنجی دعوت شده
با دقت بررسی و انتخاب شدند. برای درج در کتاب آنها به تمام جنبه
های فعلی برنامه ریزی و زمان بندی هوش مصنوعی می پردازند. چندین
پارادایم برنامهریزی برجسته نشان داده شدهاند، از جمله
برنامهریزی به عنوان رضایتپذیری و سایر استراتژیهای بررسی مدل،
برنامهریزی به عنوان جستجوی فضای حالت اکتشافی، و رویکردهای
مبتنی بر طرح نمودار. علاوه بر این، رویکردهای جدید زمانبندی و
ترکیبی از روشهای برنامهریزی و زمانبندی معرفی شدهاند.
This book constitutes the thoroughly refereed post-proceedings
of the 5th European Conference on Planning, ECP'99, held in
Durham, UK, in September 1999.
The 27 revised full papers presented together with one invited
survey were carefully reviewed and selected for inclusion in
the book. They address all current aspects of AI planning and
scheduling. Several prominent planning paradigms are
represented, including planning as satisfiability and other
model checking strategies, planning as heuristic state-space
search, and Graph-plan-based approaches. Moreover, various new
scheduling approaches and combinations of planning and
scheduling methods are introduced.
Front Matter....Pages -
Planning as Model Checking....Pages 1-20
Conformant Planning via Model Checking....Pages 21-34
Strong Cyclic Planning Revisited....Pages 35-48
Scaleability in Planning....Pages 49-61
Exploiting Competitive Planner Performance....Pages 62-72
A Parallel Algorithm for POMDP Solution....Pages 73-83
Plan Merging & Plan Reuse as Satisfiability....Pages 84-96
SAT-Based Procedures for Temporal Reasoning....Pages 97-108
Numeric State Variables in Constraint-Based Planning....Pages 109-121
Hierarchical Task Network Planning as Satisfiability....Pages 122-134
Exhibiting Knowledge in Planning Problems to Minimize State Encoding Length....Pages 135-147
Action Constraints for Planning....Pages 148-158
Least Commitment on Variable Binding in Presence of Incomplete Knowledge....Pages 159-171
Scaling up Planning by Teasing Out Resource Scheduling....Pages 172-186
Real-Time Scheduling for Multi-agent Call Center Automation....Pages 187-199
Task Decomposition Support to Reactive Scheduling....Pages 200-212
Greedy Algorithms for the Multi-capacitated Metric Scheduling Problem....Pages 213-225
Automata-Theoretic Approach to Planning for Temporally Extended Goals....Pages 226-238
Integer Programs and Valid Inequalities for Planning Problems....Pages 239-251
Deductive Synthesis of Recursive Plans in Linear Logic....Pages 252-264
Sensor Planning with Non-linear Utility Functions....Pages 265-277
Propice-Plan : Toward a Unified Framework for Planning and Execution....Pages 278-293
What is the Expressive Power of Disjunctive Preconditions?....Pages 294-307
Some Results on the Complexity of Planning with Incomplete Information....Pages 308-318
Probabilistic Planning in the Graphplan Framework....Pages 319-332
Making Graphplan Goal-Directed....Pages 333-346
GRT: A Domain Independent Heuristic for STRIPS Worlds Based on Greedy Regression Tables....Pages 347-359
Planning as Heuristic Search: New Results....Pages 360-372
Back Matter....Pages -