Collaboration Between Human and Artificial Societies : Coordination and Agent-Based Distributed Computing

by Padget, Julian A.

• ISBN13: 9783540669302
• ISBN10: 3540669302
• Format: Paperback
• Copyright: 2000-03-01
• Publisher: Springer Verlag

Summary

This book documents scientific work presented initially during two workshops held within the HCM network project VIM - a virtual multicomputer for symbolic applications.The revised full papers presented in the book have gone through a process of thorough post-workshop reviewing. They are organized in sections on languages and systems, agents and capabilities, and coordination and collaboration.

Table of Contents

I Languages and Systems
A Classification of Various Approaches for Object-Based Parallel and Distributed Programming	3	(27)
Jean-Pierre Briot
Rachid Guerraoui
Towards Meta-Agent Protocols	30	(13)
Andreas Kind
Julian Padget
Examples of Fuzziness in Compilers and Runtime Systems	43	(19)
Angela C. Sodan
Towards Rigorous Compiler Implementation Verification	62	(12)
Wolfgang Goerigk
Friedemann Simon
Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents	74	(28)
Stefano A. Cerri
Direct Manipulation, Scalability and the Internet	102	(13)
Don Cruickshank
Hugh Glaser
II Agents and Capabilities
Towards the Abstraction and Generalization of Actor-Based Architectures in Diagnostic Reasoning	115	(17)
Stefano A. Cerri
Antonio Gisolfi
Vincenzo Loia
Converting Declarative into Procedural (and Vice Versa)	132	(10)
Iain D. Cragi
Reflective Reasoning in a Case-Based Reasoning Agent	142	(17)
Miquel Sanchez-Marre
Ulises Cortes
Javier Bejar
Ignasi R.-Roda
Manel Poch
Modelling Rational Inquiry in Non-ideal Agents	159	(23)
Antonio Moreno
Ulises Cortes
Ton Sales
On the Process of Making Descriptive Rules	182	(19)
D. Riano
III Coordination and Collaboration
A Service-Oriented Negotiation Model between Autonomous Agents	201	(19)
Carles Sierra
Peyman Faratin
Nick R. Jennings
Competing Software Agents Support Human Agents	220	(14)
Sabine Geldof
Walter Van de Velde
Coordination Developed by Learning from Evaluations	234	(12)
Edwin D. De Jong
Rules of Order for Electronic Group Decision Making - A Formalization Methodology	246	(18)
Henry Prakken
Thomas F. Gordon
Broadway: A Case-Based System for Cooperative Information Browsing on the World-Wide-Web	264	(20)
Michel Jaczynski
Brigitte Trousse
Towards a Formal Specification of Complex Social Structures in Multi-agent Systems	284	(17)
Juan A. Rodriguez-Aguilar
Francisco J. Martin
Pere Garcia
Pablo Noriega
Carles Sierra
Author Index	301