ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب An Introduction to the Planning Domain Definition Language

دانلود کتاب مقدمه ای بر زبان تعریف دامنه برنامه ریزی

An Introduction to the Planning Domain Definition Language

مشخصات کتاب

An Introduction to the Planning Domain Definition Language

دسته بندی: سایبرنتیک: هوش مصنوعی
ویرایش: 1 
نویسندگان: , ,   
سری: Synthesis Lectures on Artificial Intelligence and Machine Learning 
ISBN (شابک) : 9781627058759, 1681735121 
ناشر: Morgan & Claypool Publishers 
سال نشر: 2019 
تعداد صفحات: 189 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت

قیمت کتاب (تومان) : 51,000



کلمات کلیدی مربوط به کتاب مقدمه ای بر زبان تعریف دامنه برنامه ریزی: هوش مصنوعی، برنامه‌ریزی، زبان‌های اختصاصی دامنه



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 17


در صورت تبدیل فایل کتاب An Introduction to the Planning Domain Definition Language به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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


توضیحاتی در مورد کتاب مقدمه ای بر زبان تعریف دامنه برنامه ریزی

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


توضیحاتی درمورد کتاب به خارجی

Planning is the branch of Artificial Intelligence (AI) that seeks to automate reasoning about plans, most importantly the reasoning that goes into formulating a plan to achieve a given goal in a given situation. AI planning is model-based: a planning system takes as input a description (or model) of the initial situation, the actions available to change it, and the goal condition to output a plan composed of those actions that will accomplish the goal when executed from the initial situation. The Planning Domain Definition Language (PDDL) is a formal knowledge representation language designed to express planning models. Developed by the planning research community as a means of facilitating systems comparison, it has become a de-facto standard input language of many planning systems, although it is not the only modelling language for planning. Several variants of PDDL have emerged that capture planning problems of different natures and complexities, with a focus on deterministic problems. The purpose of this book is two-fold. First, we present a unified and current account of PDDL, covering the subsets of PDDL that express discrete, numeric, temporal, and hybrid planning. Second, we want to introduce readers to the art of modelling planning problems in this language, through educational examples that demonstrate how PDDL is used to model realistic planning problems. The book is intended for advanced students and researchers in AI who want to dive into the mechanics of AI planning, as well as those who want to be able to use AI planning systems without an in-depth explanation of the algorithms and implementation techniques they use.



فهرست مطالب

Praise for An Introduction to the Planning Domain Definition Language
Preface
Introduction
	What is AI Planning?
	Planning Models
	Examples
		The Knight's Tour
		Logistics
		Plans as Explanations
		Plan-Based Control
		Planning in Robotics
		Narrative Planning
	The Origins of PDDL and the Scope of This Book
		Other Planning Languages
		Relation to Non-Planning Formalisms and Other Fields
	Planning Systems and Modelling Tools
Discrete and Deterministic Planning
	Domain and Problem Definition
		PDDL: First Example
		Example: Modelling the Knight's Tour
		Example: Logistics
	Plans and Plan Validity
		Sequential Plans
		Non-Sequential Plans
	Notes on PDDL's Syntax: The STRIPS Fragment
	Advanced Modelling Examples
		Sorting by Reversals
		Deadlock Detection
	Expressiveness and Complexity
		Plan Validation
		Bounds on Plan Length: Ground STRIPS
		Computational Complexity of Ground STRIPS Planning
		Computational Complexity of Parameterised STRIPS Planning
		Reversal and Complement
		Practical Considerations
More Expressive Classical Planning
	Conditional and Quantified Conditions and Effects
		Basic Elevator Model
		Conditional Effects
		Universally Quantified Effects
		Disjunctive and Existentially Quantified Preconditions
		Universally Quantified Preconditions and Goals
	Axioms
	Preferences and Plan Quality
	State Trajectory Constraints
	Expressiveness and Complexity
Numeric Planning
	Numeric Planning in PDDL
	Numeric Plan Validity
	More Modelling Examples
	Complexity of Numeric Planning
		Some Undecidable Cases
		Some Decidable Cases
		Numeric Planning and Other Extensions
Temporal Planning
	Durative Actions
	Planning with Predictable Events
	Temporal Plan Validity
	Combining Numeric and Temporal Planning
Planning with Hybrid Systems
	Continuous Processes
	Exogenous Events
	Example: The Generator
	Example: Multiple-Battery Management
		Kinetic Battery Model
		PDDL+ Model for the Kinetic Battery
	Plan Validation in Hybrid Domains
		Modelling Assumption in PDDL+
Conclusion
	Other Planning PDDL-Like Languages
	The Future of PDDL
Online PDDL Resources
Bibliography
Authors' Biographies
Blank Page




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

تمامی حقوق معنوی و مادی وبسایت متعلق به اینترنشنال لایبرری می باشد
نماد اعتماد الکترونیکی