|
|
xi | |
Contributing Authors |
|
xv | |
Preface |
|
xxiii | |
Foreword |
|
xxix | |
Acknowledgments |
|
xxxii | |
|
Part I Logic- or Process Algebra-based Programming Languages |
|
|
|
Jason and the Golden Fleece of Agent-Oriented Programming |
|
|
3 | (36) |
|
|
|
|
|
4 | (4) |
|
|
8 | (17) |
|
Specifications and Syntactical Aspects |
|
|
10 | (3) |
|
Semantics and Verification |
|
|
13 | (8) |
|
Software Engineering Issues |
|
|
21 | (1) |
|
Other Features of the Language |
|
|
21 | (4) |
|
|
25 | (12) |
|
Main Features of the Jason Platform |
|
|
25 | (9) |
|
Available Tools and Documentation |
|
|
34 | (1) |
|
Standards Compliance, Interoperability, and Portability |
|
|
35 | (1) |
|
Applications Supported by the Language and the Platform |
|
|
36 | (1) |
|
|
37 | (2) |
|
|
37 | (2) |
|
Programming Multi-Agent Systems in 3APL |
|
|
39 | (30) |
|
|
|
|
|
39 | (2) |
|
|
41 | (22) |
|
Specifications and Syntactical Aspects |
|
|
42 | (12) |
|
Semantics and Verification |
|
|
54 | (6) |
|
Software Engineering Issues |
|
|
60 | (3) |
|
|
63 | (1) |
|
|
63 | (3) |
|
Available tools and documentation |
|
|
63 | (2) |
|
Standards compliance, interoperability and portability |
|
|
65 | (1) |
|
|
66 | (1) |
|
|
66 | (3) |
|
|
67 | (2) |
|
Impact: A Multi-Agent Framework with Declarative Semantics |
|
|
69 | (26) |
|
|
|
|
69 | (3) |
|
|
72 | (15) |
|
Specifications and Syntactical Aspects |
|
|
74 | (4) |
|
Semantics and Verification |
|
|
78 | (4) |
|
Software Engineering Issues |
|
|
82 | (1) |
|
Other features of the language |
|
|
83 | (4) |
|
|
87 | (6) |
|
|
87 | (5) |
|
Available tools and documentation |
|
|
92 | (1) |
|
Standards compliance, interoperability and portability |
|
|
92 | (1) |
|
|
93 | (1) |
|
|
93 | (2) |
|
|
94 | (1) |
|
Claim and SyMPA: A Programming Environment for Intelligent and Mobile Agents |
|
|
95 | (30) |
|
Amal El Fallah Seghrouchni |
|
|
|
|
95 | (2) |
|
|
97 | (16) |
|
Specifications and Syntactical Aspects |
|
|
97 | (5) |
|
Semantics and Verification |
|
|
102 | (10) |
|
Software Engineering Issues |
|
|
112 | (1) |
|
Other features of the language |
|
|
113 | (1) |
|
|
113 | (4) |
|
Available tools and documentation |
|
|
113 | (3) |
|
Standards compliance, interoperability and portability |
|
|
116 | (1) |
|
Other features of the platform |
|
|
116 | (1) |
|
|
117 | (5) |
|
|
122 | (3) |
|
Part II Java-Based Agent Programming Languages |
|
|
|
JADE --- A Java Agent Development Framework |
|
|
125 | (24) |
|
|
|
|
|
|
126 | (1) |
|
|
126 | (12) |
|
Available tools and documentation |
|
|
131 | (2) |
|
Standards compliance, interoperability and portability |
|
|
133 | (1) |
|
Other features of the platform |
|
|
133 | (1) |
|
Realizing multi-agent systems with the platform |
|
|
134 | (4) |
|
|
138 | (9) |
|
|
138 | (2) |
|
|
140 | (2) |
|
|
142 | (5) |
|
|
147 | (2) |
|
|
147 | (2) |
|
Jadex: A BDI Reasoning Engine |
|
|
149 | (26) |
|
|
|
|
|
149 | (1) |
|
|
150 | (6) |
|
|
151 | (1) |
|
|
151 | (3) |
|
|
154 | (2) |
|
|
156 | (11) |
|
Specifications and Syntactical Aspects |
|
|
157 | (4) |
|
Software Engineering Issues |
|
|
161 | (1) |
|
|
162 | (5) |
|
|
167 | (5) |
|
Available tools and documentation |
|
|
169 | (1) |
|
Standards compliance, interoperability and portability |
|
|
170 | (2) |
|
|
172 | (1) |
|
|
173 | (2) |
|
|
174 | (1) |
|
JACK™ Intelligent Agents: An Industrial Strength Platform |
|
|
175 | (22) |
|
|
|
175 | (3) |
|
|
178 | (7) |
|
Specifications and Syntactical Aspects |
|
|
178 | (4) |
|
Semantics and Verification |
|
|
182 | (1) |
|
Software Engineering Issues |
|
|
183 | (1) |
|
Other features of the language |
|
|
184 | (1) |
|
|
185 | (5) |
|
Available tools and documentation |
|
|
186 | (2) |
|
Standards compliance, interoperability and portability |
|
|
188 | (1) |
|
Other features of the platform |
|
|
189 | (1) |
|
|
190 | (2) |
|
JACK: A Platform for Research |
|
|
192 | (1) |
|
|
192 | (5) |
|
|
193 | (4) |
|
Part III Industrial-Strength Applications |
|
|
|
The DEFACTO System: Coordinating Human-Agent Teams for the Future of Disaster Response |
|
|
197 | (20) |
|
|
|
|
|
|
|
198 | (1) |
|
|
199 | (4) |
|
|
200 | (3) |
|
|
203 | (1) |
|
|
203 | (2) |
|
|
204 | (1) |
|
|
205 | (4) |
|
|
207 | (1) |
|
|
208 | (1) |
|
|
208 | (1) |
|
|
209 | (5) |
|
|
209 | (5) |
|
|
214 | (3) |
|
ARTIMIS Rational Dialogue Agent Technology: an overview |
|
|
217 | (28) |
|
|
|
217 | (1) |
|
|
218 | (2) |
|
ARTIMIS as an autonomous agent |
|
|
220 | (14) |
|
Formal rational interaction theory |
|
|
220 | (8) |
|
ARTIMIS agent architecture and implementation |
|
|
228 | (6) |
|
ARTIMIS agents in multi-agent systems |
|
|
234 | (3) |
|
Cases of ARTIMIS-based applications |
|
|
237 | (6) |
|
ARTIMIS as a natural human-computer dialogue agent |
|
|
237 | (4) |
|
ARTIMIS as mediation agent |
|
|
241 | (2) |
|
|
243 | (2) |
Summaries for Quick Reference and Comparison |
|
245 | (2) |
Appendix A: Comparison Criteria |
|
247 | (3) |
Appendix B: Jason Summary |
|
250 | (3) |
Appendix C: 3APL Summary |
|
253 | (2) |
Appendix D: IMPACT Summary |
|
255 | (2) |
Appendix E: CLAIM Summary |
|
257 | (3) |
Appendix F: JADE Summary |
|
260 | (3) |
Appendix G: Jadex Summary |
|
263 | (3) |
Appendix H: JACK Summary |
|
266 | (3) |
References |
|
269 | (24) |
Index |
|
293 | |