دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers
دانلود کتاب رویکردهای رسمی برای سیستم های مبتنی بر عامل: First InternationalWorkshop، FAABS 2000 Greenbelt، MD، USA، April 5-7، 2000 Articles revised
مشخصات کتاب
Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers
ویرایش: [1 ed.] نویسندگان: Massimo Benerecetti, Fausto Giunchiglia (auth.), James L. Rash, Walt Truszkowski, Michael G. Hinchey, Christopher A. Rouff, Diana Gordon (eds.) سری: Lecture Notes in Computer Science 1871 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540427163, 9783540427162 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2001 تعداد صفحات: 374 [377] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 42,000
در صورت تبدیل فایل کتاب Formal Approaches to Agent-Based Systems: First InternationalWorkshop, FAABS 2000 Greenbelt, MD, USA, April 5–7, 2000 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب رویکردهای رسمی برای سیستم های مبتنی بر عامل: First InternationalWorkshop، FAABS 2000 Greenbelt، MD، USA، April 5-7، 2000 Articles revised نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب رویکردهای رسمی برای سیستم های مبتنی بر عامل: First InternationalWorkshop، FAABS 2000 Greenbelt، MD، USA، April 5-7، 2000 Articles revised
این کتاب اولین کارگاه آموزشی بین‌المللی روی رویکردهای رسمی به
سیستم‌های مبتنی بر عامل، FAABS 2000، که در آوریل 2000 در
گرین‌بلت، MD، ایالات متحده برگزار شد، تشکیل شده است.
22 مقاله کامل اصلاح‌شده ارائه شده است. همراه با 13 پوستر و دو
گزارش میزگرد به دقت بررسی و برای گنجاندن در کتاب بهبود یافته
است. مقالات در بخش‌های موضوعی در مورد تأیید حالات ذهنی عوامل،
ترکیب عوامل اولیه، چارچوب‌ها و رسمی‌سازی‌ها، مدل‌سازی و اجرا،
ارتباطات بین عاملی، و عوامل تطبیقی سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed
post-proceedings of the First International Workshop on
Formal Approaches to Agent-Based Systems, FAABS 2000, held in
Greenbelt, MD, USA, in April 2000.
The 22 revised full papers presented together with 13 posters
and two panel discussion reports were carefully reviewed and
improved for inclusion in the book. The papers are organized
in topical sections on verifying agents' mental states,
synthesizing agents initially, frameworks and formalizations,
modeling and execution, inter-agent communication, and
adaptive agents.
فهرست مطالب
Model Checking-Based Analysis of Multiagent Systems....Pages 1-15
Towards Formal Specification and Verification in Cyberspace....Pages 16-32
Verification within the KARO Agent Theory....Pages 33-47
On Formal Modeling of Agent Computations....Pages 48-62
Modeling and Programming Devices and Web Agents....Pages 63-77
A Programming Logic for Part of the Agent Language 3APL....Pages 78-89
The Nepi 2 Programming System: A π -Calculus-Based Approach to Agent-Based Programming....Pages 90-102
From Livingstone to SMV....Pages 103-113
Verification of Plan Models Using UPPAAL....Pages 114-122
Formalization of a Spatialized Multiagent Model Using Coloured Petri Nets for the Study of an Hunting Management System....Pages 123-132
Formal Agent Development: Framework to System....Pages 133-147
Automatic Synthesis of Agent Designs in UML....Pages 148-162
Direct Execution of Agent Specifications....Pages 163-163
Using the π-Calculus to Model Multiagent Systems....Pages 164-179
Specifying and Checking Fault-Tolerant Agent-Based Protocols Using Maude....Pages 180-193
Agents Talking Faster....Pages 194-208
Refining Interactions in a Distributed System....Pages 209-221
Design and Mathematical Analysis of Agent-Based Systems....Pages 222-234
Modeling Task and Teams through Game Theoretical Agents....Pages 235-249
Web Agents Cooperating Deductively....Pages 250-262
Formal Specification of Agent Behaviour through Environment Scenarios....Pages 263-277
APT Agents: Agents That Are Adaptive Predictable and Timely....Pages 278-293
Ontology Negotiation in a Community of Agents....Pages 294-297
Analysis of Agent-Based Systems Using Decision Procedures....Pages 298-299
A Formal Approach to Belief-Goal-Role Agents....Pages 300-301
Model Checking of Autonomy Models for an In-Situ Propellant Production System....Pages 302-303
Adaptive Supervisory Control of Multi-agent Systems....Pages 304-305
Machine Learning for Logic-Based Multi-agent Systems....Pages 306-307
Using a Formal Framework for Agent System Design....Pages 308-317
Modeling Agent-Based Systems....Pages 318-320
Modeling Agent Systems by Bayesian Belief Networks....Pages 321-322
The Anthropomorphizing of Intelligent Agents....Pages 323-334
Controlling Multiple Satellite Constellations Using the TEAMAgent System....Pages 335-336
Operations Assistants for Johnson Space Center’s Mission Control Center....Pages 337-338
A Real Time Object-Oriented Rational Agent Development System....Pages 339-344
Panel Discussion: “Empirical Versus Formal Methods”....Pages 345-353
Panel Discussion: “Future Directions”....Pages 354-368
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Angstkrankheiten und ihre Therapie
دانلود کتاب Systems programming in Unix/Linux
دانلود کتاب The Power of the Between: An Anthropological Odyssey
دانلود کتاب The President's Ladies: Jane Wyman and Nancy Davis
