دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Specification and Verification of Multi-agent Systems
دانلود کتاب مشخصات و تأیید سیستمهای چند عامل
مشخصات کتاب
Specification and Verification of Multi-agent Systems
ویرایش: نویسندگان: Mehdi Dastani, Koen V. Hindriks, John-Jules Charles Meyer سری: ناشر: Springer سال نشر: 2010 تعداد صفحات: 416 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 4 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Specification and Verification of Multi-agent Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مشخصات و تأیید سیستمهای چند عامل نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مشخصات و تأیید سیستمهای چند عامل
مشخصات و تأیید سیستمهای چند عاملی، درمان منسجمی از حوزه
مشخصات رسمی و تأیید سیستمهای مبتنی بر عامل با تمرکز ویژه بر
تأیید برنامه‌های چند عاملی ارائه می‌کند. این جلد ویرایش شده
شامل مشارکت‌های محققان بین‌المللی پیشرو در این منطقه است که به
فرمالیسم‌ها و تکنیک‌های منطقی، مانند بررسی مدل، اثبات قضیه، و
بدیهیات برای تأیید (نیمه) خودکار سیستمهای مبتنی بر عامل
پرداخته است.
فصل‌ها عبارتند از:
* استفاده از اثبات قضیه برای تأیید ویژگی های برنامه های
عامل
* اصلاح سیستم های چند عاملی
* ارتباط عامل بررسی مدل
* دستورالعمل های بررسی مدل عامل
* منطق های بررسی مدل توانایی استراتژیک: پیچیدگی
* درستی برنامه های چند عاملی: یک رویکرد ترکیبی
* مسئله پیاده سازی هنجار در سیستم های چند عامله هنجاری
* منطق تایید برای عوامل GOAL
* با استفاده از زبان بازنویسی واژه Maude برای عامل توسعه با
مبانی رسمی
* زبان و محیط راستی آزمایی مشخصات عاملهای شناختی
* زبان ردیابی زمانی برای مدلسازی و تحلیل رسمی سیستمهای عامل
توضیحاتی درمورد کتاب به خارجی
Specification and Verification of Multi-agent Systems presents
a coherent treatment of the area of formal specification and
verification of agent-based systems with a special focus on
verification of multi-agent programs. This edited volume
includes contributions from international leading researchers
in the area, addressing logical formalisms and techniques, such
as model checking, theorem proving, and axiomatisations for
(semi) automatic verification of agent-based systems.
Chapters include:
* Using Theorem Proving to Verify Properties of Agent
Programs
* The Refinement of Multi-Agent Systems
* Model Checking Agent Communication
* Directions for Agent Model Checking
* Model Checking Logics of Strategic Ability: Complexity
* Correctness of Mult-Agent Programs: A Hybrid Approach
* The Norm Implementation Problem in Normative Multi-Agent
Systems
* A Verification Logic for GOAL Agents
* Using the Maude Term Rewriting Language for Agent Development
with Formal Foundations
* The Cognitive Agents Specification Language and Verification
Environment
* A Temporal Trace Language for Formal Modelling and Analysis
of Agent Systemns
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The Roads to Congress 2016: American Elections in a Divided Landscape
دانلود کتاب Equine Emergency and Critical Care Medicine
دانلود کتاب La culture générale pour les nuls
دانلود کتاب The end of the free market: who wins the war between states and corporations?
