The full title of the HCM network project behind this volume is VIM: A virtual multicomputer for symbolic applications. The three strands which bound the network together were parallel systems, advanced compilation techniques andarti?cialintelligence witha commonsubstrate in the programminglanguage Lisp. The initial aim of the project was to demonstrate how the combination of these three technologies could be used to build a virtual multicomputer — an ephemeral, persistent machine of available heterogeneous computing resources — for large scale symbolic applications . The system would support a virtual processor abstraction to distribute data and tasks across the multicomputer, the actual physical composition of which may change dynamically. Our practical objective was to assist in the prototyping of dynamic distributed symbolic app- cations in arti?cial intelligence using whatever resources are available (probably networked workstations), so that the developed program could also be run on more exotic hardware without reprogramming. What we had not foreseen at the outset of the project was how agents would unify the strands at the application level, as distinct from the system level o- lined above. It was as a result of the agent in?uence that we held two workshops in May and December 1997 with the title “Collaboration between human and arti?cial societies”. The papers collected in this volume are a selection from presentations made at those two workshops. In each case the format consisted of a number of invited speakers plus presentations from the network partners.
Author(s): Jean-Pierre Briot, Rachid Guerraoui (auth.), Julian A. Padget (eds.)
Series: Lecture Notes in Computer Science 1624 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 310
Tags: Artificial Intelligence (incl. Robotics); Computer Communication Networks; Programming Techniques; Programming Languages, Compilers, Interpreters
Front Matter....Pages -
Front Matter....Pages 1-1
A Classification of Various Approaches for Object-Based Parallel and Distributed Programming....Pages 3-29
Towards Meta-Agent Protocols....Pages 30-42
Examples of Fuzziness in Compilers and Runtime Systems....Pages 43-61
Towards Rigorous Compiler Implementation Verification....Pages 62-73
Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents....Pages 74-101
Direct Manipulation, Scalability and the Internet....Pages 102-112
Front Matter....Pages 113-113
Towards the Abstraction and Generalization of Actor-Based Architectures in Diagnostic Reasoning....Pages 115-131
Converting Declarative into Procedural (and Vice Versa)....Pages 132-141
Reflective Reasoning in a Case-Based Reasoning Agent....Pages 142-158
Modelling Rational Inquiry in Non-ideal Agents....Pages 159-181
On the Process of Making Descriptive Rules....Pages 182-197
Front Matter....Pages 199-199
A Service-Oriented Negotiation Model between Autonomous Agents....Pages 201-219
Competing Software Agents Support Human Agents....Pages 220-233
Coordination Developed by Learning from Evaluations....Pages 234-245
Rules of Order for Electronic Group Decision Making – A Formalization Methodology....Pages 246-263
Broadway: A Case-Based System for Cooperative Information Browsing on the World-Wide-Web....Pages 264-283
Towards a Formal Specification of Complex Social Structures in Multi-agent Systems....Pages 284-300
Back Matter....Pages -