Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Coordination, Organizations, Institutions and Norms in Agent Systems IV [[electronic resource] ] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / / edited by Jomi Fred Hubner, Eric T Matson, Olivier Boissier, Virginia Dignum
| Coordination, Organizations, Institutions and Norms in Agent Systems IV [[electronic resource] ] : COIN 2008 International Workshops COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008 COIN@AAAI 2008, Chicago, USA, July 14, 2008, Revised Selected Papers / / edited by Jomi Fred Hubner, Eric T Matson, Olivier Boissier, Virginia Dignum |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 |
| Descrizione fisica | 1 online resource (XII, 267 p.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computer communication systems Software engineering Computer logic Computer programming Artificial Intelligence Computer Communication Networks Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Techniques |
| ISBN | 3-642-00443-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Coordination to Organization -- Agreeing on Institutional Goals for Multi-agent Societies -- Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms -- Combining Job and Team Selection Heuristics -- Force Versus Majority: A Comparison in Convention Emergence Efficiency -- From Organization to Coordination -- Automatic Generation of Distributed Team Formation Algorithms from Organizational Models -- Exploring Robustness in the Context of Organizational Self-design -- Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes -- A Hybrid Reputation Model Based on the Use of Organizations -- Formalization of Norms and Institutions -- Formalising Situatedness and Adaptation in Electronic Institutions -- A Context-Based Institutional Normative Environment -- Towards a Formalisation of Electronic Contracting Environments -- Design of Norms and Institutions -- An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems -- Using SOA Provenance to Implement Norm Enforcement in e-Institutions -- Verifying Social Expectations by Model Checking Truncated Paths -- Applications -- The Use of Norms Violations to Model Agents Behavioral Variety -- Categorizing Social Norms in a Simulated Resource Gathering Society -- Transgression and Atonement. |
| Record Nr. | UNISA-996465933103316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Coordination, organizations, institutions and norms in agent systems IV : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised selected papers / / Jomi Fred Hubner ... [et al.] (Eds.)
| Coordination, organizations, institutions and norms in agent systems IV : COIN 2008 International Workshops, COIN@AAMAS 2008, Estoril, Portugal, May 12, 2008. COIN@AAAI 2008, Chicago, USA, July 14, 2008. Revised selected papers / / Jomi Fred Hubner ... [et al.] (Eds.) |
| Edizione | [1st ed. 2009.] |
| Pubbl/distr/stampa | Berlin ; ; Heidelberg, : Springer, c2009 |
| Descrizione fisica | 1 online resource (XII, 267 p.) |
| Disciplina | 006.3 |
| Altri autori (Persone) | HubnerJomi Fred |
| Collana | Lecture notes in computer science |
| Soggetto topico |
Intelligent agents (Computer software)
Artificial intelligence |
| ISBN | 3-642-00443-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | From Coordination to Organization -- Agreeing on Institutional Goals for Multi-agent Societies -- Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms -- Combining Job and Team Selection Heuristics -- Force Versus Majority: A Comparison in Convention Emergence Efficiency -- From Organization to Coordination -- Automatic Generation of Distributed Team Formation Algorithms from Organizational Models -- Exploring Robustness in the Context of Organizational Self-design -- Instrumenting Multi-agent Organisations with Artifacts to Support Reputation Processes -- A Hybrid Reputation Model Based on the Use of Organizations -- Formalization of Norms and Institutions -- Formalising Situatedness and Adaptation in Electronic Institutions -- A Context-Based Institutional Normative Environment -- Towards a Formalisation of Electronic Contracting Environments -- Design of Norms and Institutions -- An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems -- Using SOA Provenance to Implement Norm Enforcement in e-Institutions -- Verifying Social Expectations by Model Checking Truncated Paths -- Applications -- The Use of Norms Violations to Model Agents Behavioral Variety -- Categorizing Social Norms in a Simulated Resource Gathering Society -- Transgression and Atonement. |
| Altri titoli varianti |
COIN@AAMAS 2008
COIN@AAAI 2008 |
| Record Nr. | UNINA-9910484911303321 |
| Berlin ; ; Heidelberg, : Springer, c2009 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Programming multi-agent systems in AgentSpeak using Jason / / Rafael H. Bordini, Jomi Fred Hubner, Michael Wooldridge
| Programming multi-agent systems in AgentSpeak using Jason / / Rafael H. Bordini, Jomi Fred Hubner, Michael Wooldridge |
| Autore | Bordini Rafael H |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 |
| Descrizione fisica | 1 online resource (293 p.) |
| Disciplina | 006.3/3 |
| Altri autori (Persone) |
HubnerJomi Fred
WooldridgeMichael J. <1966-> |
| Collana | Wiley series in agent technology |
| Soggetto topico |
Intelligent agents (Computer software)
Computer programming |
| ISBN |
1-281-13525-9
9786611135256 0-470-06184-7 0-470-06183-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Programming Multi-Agent Systems in AgentSpeak using Jason; Contents; Preface; Acknowledgements; 1 Introduction; 1.1 Autonomous Agents; 1.2 Characteristics of Agents; 1.3 Multi-Agent Systems; 1.4 Hello World!; 2 The BDI Agent Model; 2.1 Agent-Oriented Programming; 2.2 Practical Reasoning; 2.3 A Computational Model of BDI Practical Reasoning; 2.4 The Procedural Reasoning System; 2.5 Agent Communication; 3 The Jason Agent Programming Language; 3.1 Beliefs; 3.2 Goals; 3.3 Plans; 3.4 Example: A Complete Agent Program; 3.5 Exercises; 4 Jason Interpreter; 4.1 The Reasoning Cycle; 4.2 Plan Failure
4.3 Interpreter Configuration and Execution Modes4.4 Pre-Defined Plan Annotations; 4.5 Exercises; 5 Environments; 5.1 Support for Defining Simulated Environments; 5.2 Example: Running a System of Multiple Situated Agents; 5.3 Exercises; 6 Communication and Interaction; 6.1 Available Performatives; 6.2 Informal Semantics of Receiving Messages; 6.3 Example: Contract Net Protocol; 6.4 Exercises; 7 User-Defined Components; 7.1 Defining New Internal Actions; 7.2 Customising the Agent Class; 7.3 Customising the Overall Architecture; 7.4 Customising the Belief Base; 7.5 Pre-Processing Directives 7.6 Exercises8 Advanced Goal-Based Programming; 8.1 BDI Programming; 8.2 Declarative (Achievement) Goal Patterns; 8.3 Commitment Strategy Patterns; 8.4 Other Useful Patterns; 8.5 Pre-Processing Directives for Plan Patterns; 9 Case Studies; 9.1 Case Study I: Gold Miners; 9.2 Case Study II: Electronic Bookstore; 10 Formal Semantics; 10.1 Semantic Rules; 10.2 Semantics of Message Exchange in a Multi-Agent System; 10.3 Semantic Rules for Receiving Messages; 10.4 Semantics of the BDI Modalities for AgentSpeak; 11 Conclusions; 11.1 Jason and Agent-Oriented Programming 11.2 Ongoing Work and Related Research11.3 General Advice on Programming Style and Practice; Appendix: Reference Guide; A.1 EBNF for the Agent Language; A.2 EBNF for the Multi-Agent Systems Language; A.3 Standard Internal Actions; A.4 Pre-Defined Annotations; A.5 Pre-Processing Directives; A.6 Interpreter Configuration; References; Index |
| Record Nr. | UNINA-9910828354003321 |
Bordini Rafael H
|
||
| Chichester, England ; ; Hoboken, NJ, : J. Wiley, c2007 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||