Cantitate/Preț
Produs
Total produse
Vezi coșul
Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers de Mehdi Dastani

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Second International Workshop, LADS 2009, Torino, Italy, September 7-9, 2009, Revised Selected Papers: Lecture Notes in Computer Science, cartea 6039

Editat de Mehdi Dastani, Amal El Fallah Seghrouchni, Joao Leite, Paolo Torroni
en Limba Engleză Paperback – 9 iun 2010

Reținem că volumul Languages, Methodologies, and Development Tools for Multi-Agent Systems oferă inginerului software instrumentele necesare pentru a trece de la faza de design conceptual la implementarea și testarea efectivă a sistemelor multi-agent (MAS). Considerăm că utilitatea practică imediată rezidă în capacitatea clinicianului tehnologic de a asigura predictibilitatea sistemelor prin modele declarative formale, esențiale în medii dinamice unde interacțiunea dintre agenți poate genera comportamente emergente complexe. Structura cărții urmează o progresie logică, de la arhitecturi fundamentale (precum ARTS) și modularizarea agenților, până la instrumente de profilare (Call Graph Profiling) și aplicații în instruirea virtuală. Acolo unde Programming Multi-Agent Systems de Mehdi Dastani acoperă bazele standardizării tehnologiei MAS, acest volum aprofundează mecanismele de securitate în interacțiuni și detectarea excepțiilor în protocoalele de angajament social. Observăm o continuitate în viziunea editorilor, Mehdi Dastani și Joao Leite rafinând aici temele explorate în lucrări precum PRIMA 2019: Principles and Practice of Multi-Agent Systems sau Logic and Argumentation, dar cu un accent mult mai pronunțat pe metodologiile de dezvoltare și uneltele de suport tehnic. Volumul reușește să pună în echilibru rigoarea academică a seriilor Lecture Notes in Computer Science cu nevoile pragmatice ale industriei de profil, oferind soluții concrete pentru externalizarea și internalizarea modulelor de agenți.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 35089 lei

Preț vechi: 36936 lei
-5%

Puncte Express: 526

Carte disponibilă

Livrare economică 27 mai-10 iunie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă

Specificații

ISBN-13: 9783642133374
ISBN-10: 3642133371
Pagini: 196
Ilustrații: X, 183 p. 40 illus.
Greutate: 0.32 kg
Ediția:2010
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Berlin, Heidelberg, Germany

Public țintă

Professional/practitioner

De ce să citești această carte

Această resursă este esențială pentru dezvoltatorii de sisteme complexe care doresc să implementeze arhitecturi multi-agent robuste. Cititorul câștigă acces la metodologii verificate pentru planificarea temporală și modelarea interacțiunilor sociale între agenți. Este o recomandare certă pentru cei care vor să depășească faza de prototip, utilizând instrumente de profilare și tehnici de verificare formală pentru a garanta stabilitatea sistemelor distribuite.

Descriere scurtă

This book contains the proceedings of the Second International Workshop on Languages, Methodologies and Development Tools for Multi-agent Systems (LADS 2009), which took place during September 7–9, 2009 in Turin, Italy. As in its 2007 edition, this workshop was a part of MALLOW, a federation of workshops on Multi-Agent Logics, Languages, and Organizations. The LADS 2009 workshop addressed both theoretical and practical issues related to developing and deploying multi-agent systems. It constituted a rich forum where leading researchers from both academia and industry could share their experiencesonformalapproaches,programminglanguages,methodologies, tools andtechniques supporting the developmentanddeploymentof multi-agent systems.Fromatheoreticalpointofview,LADS2009aimedataddressingissues related to theories, methodologies, models and approaches that are needed to facilitate the development of multi-agent systems ensuring their predictability andveri?cation.Formaldeclarativemodelsandapproacheshavethe potentialof o?ering solutions for the speci?cation and design of multi-agent systems. From a practical point of view, LADS 2009 aimed at stimulating research and d- cussion on how multi-agent system speci?cations and designs can be e?ectively implemented and tested. This book is the result of a strict selection and review process. From 14 papers originally submitted to LADS 2009, and after 2 rounds of reviews, we selected 10 high-quality papers covering important topics related to multi-agent programming technology, such as: agent architectures, programming languages andmethodologies,socialinteractionmodels,developmenttoolsandapplications of multi-agent systems.

Cuprins

Agent Architectures.- The ARTS Real-Time Agent Architecture.- Reducing Agent Plans to Workflows.- Agent Programming Languages and Methodologies.- Externalisation and Internalization: A New Perspective on Agent Modularisation in Multi-Agent System Programming.- Temporal Planning in Dynamic Environments for P-CLAIM Agents.- Data Driven Language for Agents Secure Interaction.- Programming Social Middleware through Social Interaction Types.- Social Interaction Models.- Detecting Exceptions in Commitment Protocols: Discovering Hidden States.- Verifiable Semantic Model for Agent Interactions Using Social Commitments.- Development Tools for Multi-agent Systems.- Call Graph Profiling for Multi Agent Systems.- Applications.- A Methodology for Developing Self-explaining Agents for Virtual Training.