مشخصات کتاب

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

کلمات کلیدی مربوط به کتاب مدل‌های رسمی نمایندگان: مقالات انتخابی کارگاه نهایی مدل 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

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

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

دانلود کتاب HarperCollins Study Bible

دانلود کتاب Familienunternehmen : Recht, Steuern, Beratung

دانلود کتاب Dependability for Systems with a Partitioned State Space: Markov and Semi-Markov Theory and Computational Implementation

دانلود کتاب Acting Egyptian: Theater, Identity, and Political Culture in Cairo, 1869-1930

دانلود کتاب The Ministry of Helps Handbook, Vol. 2 (Ministry of Helps)