000 | 04715nam a22005295i 4500 | ||
---|---|---|---|
001 | 978-3-540-46624-6 | ||
003 | DE-He213 | ||
005 | 20160624102016.0 | ||
007 | cr nn 008mamaa | ||
008 | 121227s1999 gw | s |||| 0|eng d | ||
020 |
_a9783540466246 _9978-3-540-46624-6 |
||
024 | 7 |
_a10.1007/10703260 _2doi |
|
050 | 4 | _aQ334-342 | |
050 | 4 | _aTJ210.2-211.495 | |
072 | 7 |
_aUYQ _2bicssc |
|
072 | 7 |
_aTJFM1 _2bicssc |
|
072 | 7 |
_aCOM004000 _2bisacsh |
|
082 | 0 | 4 |
_a006.3 _223 |
245 | 1 | 0 |
_aCollaboration between Human and Artificial Societies _h[electronic resource] : _bCoordination and Agent-Based Distributed Computing / _cedited by Julian A. Padget. |
260 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1999. |
|
264 | 1 |
_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg, _c1999. |
|
300 |
_aXIV, 310 p. _bonline resource. |
||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
347 |
_atext file _bPDF _2rda |
||
490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1624 |
|
505 | 0 | _aLanguages 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. | |
520 | _aThe 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. | ||
650 | 0 | _aComputer science. | |
650 | 0 | _aComputer Communication Networks. | |
650 | 0 | _aArtificial intelligence. | |
650 | 1 | 4 | _aComputer Science. |
650 | 2 | 4 | _aArtificial Intelligence (incl. Robotics). |
650 | 2 | 4 | _aComputer Communication Networks. |
650 | 2 | 4 | _aProgramming Techniques. |
650 | 2 | 4 | _aProgramming Languages, Compilers, Interpreters. |
700 | 1 |
_aPadget, Julian A. _eeditor. |
|
710 | 2 | _aSpringerLink (Online service) | |
773 | 0 | _tSpringer eBooks | |
776 | 0 | 8 |
_iPrinted edition: _z9783540669302 |
786 | _dSpringer | ||
830 | 0 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v1624 |
|
856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/10703260 |
942 |
_2EBK5843 _cEBK |
||
999 |
_c35137 _d35137 |