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

ISBN-13: 9783540669302 / Angielski / Miękka / 1999 / 310 str.

Julian A. Padget

Opis

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.

Spis treści

Languages and Systems.- A Classification of Various Approaches for Object-Based Parallel and Distributed Programming.- Towards Meta-Agent Protocols.- Examples of Fuzziness in Compilers and Runtime Systems.- Towards Rigorous Compiler Implementation Verification.- Shifting the Focus from Control to Communication: the STReams OBjects Environments Model of Communicating Agents.- Direct Manipulation, Scalability and the Internet.- Agents and Capabilities.- Towards the Abstraction and Generalization of Actor-Based Architectures in Diagnostic Reasoning.- Converting Declarative into Procedural (and Vice Versa).- Reflective Reasoning in a Case-Based Reasoning Agent.- Modelling Rational Inquiry in Non-ideal Agents.- On the Process of Making Descriptive Rules.- Coordination and Collaboration.- A Service-Oriented Negotiation Model between Autonomous Agents.- Competing Software Agents Support Human Agents.- Coordination Developed by Learning from Evaluations.- Rules of Order for Electronic Group Decision Making – A Formalization Methodology.- Broadway: A Case-Based System for Cooperative Information Browsing on the World-Wide-Web.- Towards a Formal Specification of Complex Social Structures in Multi-agent Systems.