مشخصات کتاب

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 مگابایت 

در صورت تبدیل فایل کتاب 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

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

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

دانلود کتاب Great Games, Local Rules: The New Great Power Contest in Central Asia

دانلود کتاب Kostenrechnung in Klein- und Mittelbetrieben

دانلود کتاب Patio and Kitchen Herb Gardens: A Beginner’s Guide to 21 Herbs You Can Grow at Home

دانلود کتاب William and Dorothy Wordsworth: 'all in each other'

دانلود کتاب Die Logotherapie und Existenzanalyse Viktor Frankls: Systematisch und kritisch