دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers
دانلود کتاب عوامل هوشمند هشتم: نظریه‌های عامل، معماری‌ها و زبان‌ها هشتمین کارگاه بین‌المللی، ATAL 2001 سیاتل، WA، ایالات متحده آمریکا، 1 تا 3 اوت، 2001 مقالات تجدید نظر شده
مشخصات کتاب
Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers
ویرایش: 1 نویسندگان: John-Jules Ch. Meyer, Milind Tambe (auth.), John-Jules Ch. Meyer, Milind Tambe (eds.) سری: Lecture Notes in Computer Science 2333 ISBN (شابک) : 9783540438588, 9783540454489 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2002 تعداد صفحات: 473 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 7 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب عوامل هوشمند هشتم: نظریه‌های عامل، معماری‌ها و زبان‌ها هشتمین کارگاه بین‌المللی، ATAL 2001 سیاتل، WA، ایالات متحده آمریکا، 1 تا 3 اوت، 2001 مقالات تجدید نظر شده: هوش مصنوعی (شامل رباتیک)، شبکه های ارتباطی کامپیوتری، مهندسی نرم افزار، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Intelligent Agents VIII: Agent Theories, Architectures, and Languages 8th International Workshop, ATAL 2001 Seattle,WA, USA, August 1–3, 2001 Revised Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب عوامل هوشمند هشتم: نظریه‌های عامل، معماری‌ها و زبان‌ها هشتمین کارگاه بین‌المللی، ATAL 2001 سیاتل، WA، ایالات متحده آمریکا، 1 تا 3 اوت، 2001 مقالات تجدید نظر شده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب عوامل هوشمند هشتم: نظریه‌های عامل، معماری‌ها و زبان‌ها هشتمین کارگاه بین‌المللی، ATAL 2001 سیاتل، WA، ایالات متحده آمریکا، 1 تا 3 اوت، 2001 مقالات تجدید نظر شده
این جلد هشتمین جلد از مجموعه عوامل هوشمند است که با کارگاه‌های ATAL مرتبط است. این کارگاه‌های آموزشی درباره «نظریه‌های عامل، معماری‌ها و زبان‌ها» خود را به عنوان یک سنت تثبیت کرده‌اند و نقش کنفرانس‌های کوچک اما مشهور بین‌المللی در این زمینه را ایفا می‌کنند، جایی که علاوه بر تئوری فی نفسه، تلفیق تئوری و عمل نیز در آن وجود دارد. تمرکز. به طور خاص، ATAL - مسائل مربوط به نظریه های نمایندگی، معماری های نرم افزاری برای عوامل هوشمند، روش ها و زبان های برنامه نویسی برای تحقق عامل ها، و ابزارهای نرم افزاری برای اعمال و ارزیابی سیستم های مبتنی بر عامل را پوشش می دهد. ATAL 2001 دارای دو آهنگ ویژه بود که در آنها هر دو جنبه نظری / رسمی و عملی بیشتر وجود داشت، یعنی. «نظریه‌های رسمی مذاکره»، سازماندهی شده توسط فرانک دیگنوم، و «نمایندگان دستگاه‌های دستی، موبایل یا جاسازی‌شده»، سازماندهی شده توسط تیم فینین. همچنین یک جلسه اضافی در مورد نجات روبوکاپ برگزار شد که توسط ساتوشی تادوکورو و رنجیت نایر سازماندهی و ارائه شد. ATAL 2001 68 مقاله از بیش از 20 کشور در سراسر جهان را جذب کرد که 30 مقاله برای ارائه در کارگاه و انتشار در این جلد انتخاب شدند. ما از دو سخنران برجسته دعوت کردیم: Fausto Giunchiglia (ترنتو، ایتالیا) و Tom Dean (براون، ایالات متحده).
توضیحاتی درمورد کتاب به خارجی
This volume is the eighth in the Intelligent Agents series associated with the ATAL workshops. These workshops on “Agent Theories, Architectures, and L- guages” have established themselves as a tradition, and play the role of small but internationally well-known conferences on the subject, where besides theory per se also integration of theory and practice is in focus. Speci?cally, ATAL - dresses issues of theories of agency, software architectures for intelligent agents, methodologies and programming languages for realizing agents, and software tools for applying and evaluating agent-based systems. ATAL 2001 featured two special tracks in which both the more theoretical / formal and the more practical aspects were present, viz. “Formal Theories of Negotiation”, organized by Frank Dignum, and “Agents for Hand-Held, Mobile, or Embedded Devices”, organized by Tim Finin. There was also an extra session on RoboCup Rescue, organized and presented by Satoshi Tadokoro and Ranjit Nair. ATAL 2001 attracted 68 papers from over 20 countries all over the world, of which 30 were selected for presentation at the workshop and publication in this volume. We invited two outstanding speakers: Fausto Giunchiglia (Trento, Italy) and Tom Dean (Brown, USA).
فهرست مطالب
Introduction....Pages 1-5
Knowledge Level Software Engineering....Pages 6-20
Emotions and Personality in Agent Design and Modeling....Pages 21-31
The Ψ Calculus: An Algebraic Agent Language....Pages 32-50
Evolving Real-Time Local Agent Control for Large-Scale Multi-agent Systems....Pages 51-68
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications....Pages 69-85
On Multi-agent Systems Specification via Deontic Logic....Pages 86-99
Agents and Roles: Refinement in Alternating-Time Temporal Logic....Pages 100-115
The Computational Complexity of Agent Verification....Pages 115-127
A Goal-Based Organizational Perspective on Multi-agent Architectures....Pages 128-140
Running AgentSpeak(L) Agents on SIM_AGENT....Pages 141-157
Ontological Overhearing....Pages 158-174
Agent Dialogues with Conflicting Preferences....Pages 175-189
An Abstract Machine for Classes of Communicating Agents Based on Deduction....Pages 190-205
A Formal Semantics for ProxyCommunicative Acts....Pages 206-220
Commitment Machines....Pages 221-234
Generating Bids for Group-Related Actions in the Context of Prior Commitments....Pages 235-247
Dynamic Distributed Resource Allocation: A Distributed Constraint Satisfaction Approach....Pages 248-263
Improving Optimality of n Agent Envy-Free Divisions....Pages 264-276
Trustworthiness of Information Sources and Information Pedigrees....Pages 277-289
Revisiting Asimov’s First Law: A Response to the Call to Arms....Pages 290-306
Formal Theories of Negotiation....Pages 307-320
A Stable and Feasible Payoff Division for Coalition Formation in a Class of Task Oriented Domains....Pages 321-323
Antisocial Agents and Vickrey Auctions....Pages 324-334
Formalizing a Language for Institutions and Norms....Pages 335-347
Simple Negotiating Agents in Complex Games: Emergent Equilibria and Dominance of Strategies....Pages 348-366
Optimal Negotiation Strategies for Agents with Incomplete Information....Pages 367-376
Implicit Negotiation in Repeated Games....Pages 377-392
Dialogues for Negotiation: Agent Varieties and Dialogue Sequences....Pages 393-404
Agents for Hand-Held, Mobile, or Embedded Devices....Pages 405-421
KSACI: A Handheld Device Infrastructure for Agents Communication....Pages 422-422
LEAP: A FIPA Platform for Handheld and Mobile Devices....Pages 423-435
FIPA-OS Agent Platform for Small-Footprint Devices....Pages 436-446
....Pages 447-460
