دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers
دانلود کتاب مدل‌های رسمی نمایندگان: مقالات انتخابی کارگاه نهایی مدل ESPRIT Project ModelAge
مشخصات کتاب
Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers
ویرایش: 1 نویسندگان: John-Jules Ch. Meyer, Pierre-Yves Schobbens (auth.), John-Jules Ch. Meyer, Pierre-Yves Schobbens (eds.) سری: Lecture Notes in Computer Science 1760 ISBN (شابک) : 9783540670278, 9783540465812 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1999 تعداد صفحات: 259 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 54,000
کلمات کلیدی مربوط به کتاب مدل‌های رسمی نمایندگان: مقالات انتخابی کارگاه نهایی مدل ESPRIT Project ModelAge: هوش مصنوعی (شامل رباتیک)، مهندسی نرم افزار، منطق و معانی برنامه ها، شبکه های ارتباطی کامپیوتری
در صورت تبدیل فایل کتاب Formal Models of Agents: ESPRIT Project ModelAge Final Workshop Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب مدل‌های رسمی نمایندگان: مقالات انتخابی کارگاه نهایی مدل ESPRIT Project ModelAge نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب مدل‌های رسمی نمایندگان: مقالات انتخابی کارگاه نهایی مدل ESPRIT Project ModelAge
این جلد مجموعه‌ای از مقالات با داوری دقیق را ارائه می‌کند که برای اولین بار در طی کارگاهی که در چارچوب پروژه ESPRIT ModelAge در Certosa di Pertignano، ایتالیا، در سال 1997 برگزار شد، ارائه شد. ویراستاران برای گنجاندن در کتاب به دقت بررسی شدند. این کتاب به مطالعه بین رشته ای مدل های رسمی نمایندگی و عوامل هوشمند از دیدگاه هوش مصنوعی، مهندسی نرم افزار، منطق کاربردی، پایگاه های داده و تئوری سازمان اختصاص دارد. از جمله موضوعاتی که به آن پرداخته می شود، انواع مختلف عامل ها و سیستم های چند عاملی، همکاری، ارتباطات، مشخصات، تأیید، منطق deontic، تشخیص و تصمیم گیری است.
توضیحاتی درمورد کتاب به خارجی
This volume provides a selection of strictly refereed papers
first presented during a workshop held within the context of
the ESPRIT ModelAge Project in Certosa di Pertignano, Italy, in
1997.
The 15 revised full papers presented together with an
introductory survey by the volume editors were carefully
reviewed for inclusion in the book. The book is devoted to the
interdisciplinary study of formal models of agency and
intelligent agents from the points of view of artificial
intelligence, software engineering, applied logic, databases,
and organization theory. Among the topics addressed are various
types of agents and multi-agent systems, cooperation,
communication, specification, verification, deontic logic,
diagnosis, and decision making.
فهرست مطالب
Formal Models of Agents: An Introduction....Pages 1-7
A Model of BDI-Agent in Game-Theoretic Framework....Pages 8-19
Dynamic Belief Hierarchies....Pages 20-35
Modelling Internal Dynamic Behaviour of BDI Agents....Pages 36-56
Towards an Agent-Oriented Framework for Specification of Information Systems....Pages 57-73
The Impossibility of Modelling Cooperation in PD-Game....Pages 74-89
Designing Multi-agent Systems around an Extensible Communication Abstraction....Pages 90-102
Social Interactions of Autonomous Agents: Private and Global Views on Communication....Pages 103-122
Towards a Proof-Theoretic Foundation for Actor Specification and Verification....Pages 123-142
Nondeterministic Actions with Typical Effects: Reasoning about Scenarios....Pages 143-156
Agents’ Dynamic Mental Attitudes....Pages 157-172
Diagnostic Agents for Distributed Systems....Pages 173-186
Preferential Action Semantics (Preliminary Report)....Pages 187-201
Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)....Pages 202-215
The Role of Diagnosis and Decision Theory in Normative Reasoning....Pages 216-239
Contextual Deontic Logic....Pages 240-251
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Modern Mass Communication: Concepts and Processes
دانلود کتاب Die Europäische Integration als Elitenprozess: Das Ende eines Traums?
دانلود کتاب Left of Bang: How the Marine Corps' Combat Hunter Program Can Save Your Life
دانلود کتاب The Art of Medical Communication: Bringing the Humanities into Clinical Practice (by Team-IRA)
