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

09117307688
09117179751

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

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

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

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

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

پشتیبانی

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

دانلود کتاب Dynamic Epistemic Logic

دانلود کتاب منطق معرفتی پویا

مشخصات کتاب

Dynamic Epistemic Logic

دسته بندی: منطق
ویرایش:  
نویسندگان: Hans van Ditmarsch,  Wiebe van der Hoek,  Barteld Kooi  
سری: Synthese Library 337 
ISBN (شابک) : 9781402058387, 1402058381 
ناشر: Springer 
سال نشر: 2008 
تعداد صفحات: 303 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت

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

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

در صورت تبدیل فایل کتاب Dynamic Epistemic Logic به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب منطق معرفتی پویا

منطق معرفتی پویا، منطق تغییر دانش است. این در مورد یک سیستم منطقی نیست، بلکه در مورد یک خانواده کامل از منطق است که به ما امکان می دهد جنبه های ایستا و پویا سیستم های چند عاملی را مشخص کنیم. این کتاب منطق های مختلفی را برای پشتیبانی از چنین مشخصات رسمی از جمله سیستم های اثبات ارائه می دهد. مثال‌های عینی و پازل‌های معرفتی به این نمایشگاه جان می‌بخشند. این کتاب همچنین شامل تمرین هایی از جمله پاسخ است و برای دوره های کارشناسی ارشد منطق بسیار مناسب است. خلاصه ای جامع از محتوای این کتاب در بخش زیر است. فصل "مقدمه" خواننده را در مورد تاریخچه موضوع و ارتباط آن با سایر رشته ها آگاه می کند. "منطق معرفتی" مروری بر منطق معرفتی چند عاملی - منطق دانش - از جمله عملگرهای معرفتی برای گروه ها، مانند دانش عمومی و رایج است. "بازنگری باور" مروری است بر نحوه مدل‌سازی بازبینی باور، هم به روش "سنتی" و هم در یک محیط معرفتی پویا. «اعلان‌های عمومی» مقدمه‌ای مفصل و جامع برای منطق دانش است که اپراتورهای پویا برای اعلام عمومی صادقانه به آن اضافه می‌شوند. بسیاری از کاربردهای جالب نیز در این فصل ارائه شده است: شکلی از رمزنگاری برای عوامل ایده‌آل که به نام «مشکل کارت‌های روسی» نیز شناخته می‌شود، معمای مجموع و محصول و غیره. «اقدامات معرفتی» تعمیم منطق اعلام عمومی را به موارد بیشتری معرفی می‌کند اقدامات پیچیده معرفتی دیدگاه متفاوتی در مورد آن موضوع به طور مستقل در «مدل‌های اقدام» ارائه شده است. «کامل بودن» جزئیاتی در مورد اثبات کامل بودن منطق‌های معرفی‌شده در «منطق معرفتی»، «اعلان‌های عمومی» و «مدل‌های عمل» ارائه می‌دهد. «بیانگری» نتایج مختلفی را در مورد قدرت بیانی منطق های ارائه شده مورد بحث قرار می دهد.

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

Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family of logics that allows us to specify static and dynamic aspects of multi-agent systems. This book provides various logics to support such formal specifications, including proof systems. Concrete examples and epistemic puzzles enliven the exposition. The book also contains exercises including answers and is eminently suitable for graduate courses in logic. A sweeping chapter-wise outline of the content of this book is the following. The chapter 'Introduction' informs the reader about the history of the subject, and its relation to other disciplines. 'Epistemic Logic' is an overview of multi-agent epistemic logic - the logic of knowledge - including modal operators for groups, such as general and common knowledge. 'Belief Revision' is an overview on how to model belief revision, both in the 'traditional' way and in a dynamic epistemic setting. 'Public Announcements' is a detailed and comprehensive introduction to the logic of knowledge to which dynamic operators for truthful public announcement are added. Many interesting applications are also presented in this chapter: a form of cryptography for ideal agents also known as 'the Russian cards problem', the sum-and-product riddle, etc. 'Epistemic Actions' introduces a generalization of public announcement logic to more complex epistemic actions. A different perspective on that matter is independently presented in 'Action Models'. 'Completeness' gives details on the completeness proof for the logics introduced in 'Epistemic Logic', 'Public Announcements', and 'Action Models'. 'Expressivity' discusses various results on the expressive power of the logics presented.