Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, New York, NY, USA, July 19, 2004, Revised Selected Papers v. 2

This book constitutes the thoroughly refereed post-proceedings of the Second International Workshop on Declarative Agent Languages and Technologies, DALT 2004, held in New York, NY, USA in July 2004. The 16 revised full papers presented were carefully selected during two rounds of reviewing and improvement from initially around 40 submissions. The papers are organized in topical sections on reasoning, modeling and engineering, verification, norms and protocols, and interaction and communication. Front matter......Page 1 Introduction......Page 12 Preliminaries......Page 13 Goal Dropping......Page 16 Blind Commitment......Page 17 Failure Condition......Page 19 Goal Adoption......Page 21 Internal and External Motivations for Goal Adoption......Page 22 Subgoal Adoption......Page 25 Conclusion and Future Research......Page 27 Introduction......Page 30 Dynamic Worlds......Page 31 Dynamic Beliefs......Page 32 Dynamic Generalised Beliefs......Page 33 Dynamic Goals......Page 34 Dynamic Intentions......Page 35 Intention Theories......Page 37 Automated Reasoning......Page 38 A Planning Application......Page 41 Conclusion......Page 43 Introduction......Page 46 Basic Definitions......Page 48 PD Steps......Page 50 PD Steps as Inference Figures in HLL......Page 52 Soundness and Completeness......Page 54 Application of PD to Symbolic Negotiation......Page 55 Partial Deduction Strategies......Page 58 Stopping Criteria......Page 59 Related Work......Page 60 Conclusions......Page 61 Introduction......Page 64 Preliminaries......Page 65 Fully Transparent Multi-agent Systems......Page 67 Partially Transparent Multi-agent Systems......Page 68 Multi-agent Systems......Page 69 A Concrete Multi-agent Semantics......Page 70 Single Agent Language and Semantics......Page 71 Multi-agent Semantics......Page 73 Fully Transparent Multi-agent System Operational Semantics......Page 74 Related Work......Page 76 Conclusions......Page 77 Introduction......Page 80 Syntax......Page 81 Preparation......Page 83 Failures in MALLET......Page 86 Transition System......Page 88 CAST--An Agent Architecture Realizing MALLET......Page 98 Comparison and Discussion......Page 99 Conclusion......Page 101 The ΦLOG Project......Page 103 The ΦLOG Agent Infrastructure......Page 104 SystemOverview......Page 105 Service Description and Management......Page 106 Service Description......Page 107 ΦLOG Compiler......Page 110 Type Checking......Page 111 Operations Identification and Abstract Plan Assembly......Page 112 DAML-PDDL Translator......Page 114 Generating the Situation Calculus Theory and the ConGolog Program......Page 115 Planning......Page 118 Execution Monitoring......Page 120 Conclusions and FutureWork......Page 121 Introduction......Page 123 The DCaseLP Environment......Page 126 Interaction Protocols in DyLOG......Page 127 DyLOG in Brief......Page 128 Integrating DyLOG into DCaseLP to Reason About Communicating Agents......Page 131 Generating and Executing Jess Agents That Adhere to the AUML Protocols......Page 135 Conclusions and Related Work......Page 139 References......Page 140 Introduction......Page 143 The MAP Language......Page 146 Model Checking MAP......Page 151 Results and Conclusions......Page 155 Introduction......Page 159 Cougaar, an Implementation Architecture for Distributed Autonomous Agents......Page 161 A Declarative Model of the Cougaar Architecture......Page 164 A Model of Cougaar's Generic Sevices......Page 165 Linear Temporal Logic......Page 169 Workflows as Property Specifications......Page 170 Ongoing Work and Concluding Remarks......Page 172 Introduction......Page 177 Lightweight Electronic Institutions......Page 178 Representing E-Institutions......Page 181 Norms in E-Institutions......Page 182 Norm Verification of E-Institutions......Page 183 Norm Analysis of E-Institutions......Page 185 Norm-Based Extraction......Page 186 Norm-Aware Synthesis of Agents......Page 189 Conclusions, Related Work and Directions of Research......Page 190 Introduction: A Broad View of Social Norms......Page 194 Islander: A Means of Enforcing Social Norms......Page 195 LCC Syntax......Page 196 Example LCC Interaction Framework......Page 198 Clause Expansion......Page 200 Coordination Mechanisms......Page 201 Computing with LCC......Page 204 LCC and Performative Languages......Page 205 Acknowledgements......Page 207 References......Page 208 Introduction......Page 209 Background......Page 210 Explicit Labelling of Undesirable States......Page 213 Commitment Discharge Is Not Symmetrical......Page 215 Pre-condition Mechanism Does Not Prevent Action......Page 216 Proposed Extended CM Model......Page 217 Issues with Commitment Discharge......Page 218 Issues with Pre-conditions......Page 221 Applications......Page 223 Conclusion......Page 226 References......Page 229 A Source Code for the Implemented Axioms......Page 231 Introduction......Page 232 Floor Control Protocols......Page 234 A Protocol for Resource Sharing in Ad Hoc Networks......Page 235 An Event Calculus Specification......Page 236 The Event Calculus......Page 237 Physical Capability......Page 238 Institutional Power......Page 240 Permission and Obligation......Page 241 Sanction......Page 243 A Few Notes on cFCP......Page 245 Discussion......Page 246 References......Page 247 Introduction......Page 250 Intensional Programming Paradigm......Page 251 Lucid......Page 252 KQML and FIPA Languages......Page 254 Contexts in AIPL......Page 255 Context Calculus......Page 257 Message Structure and Evaluation in AIPL......Page 259 Semantics of Conversation......Page 262 Conclusion......Page 264 References......Page 265 Introduction......Page 267 Semantics......Page 270 Surface Knowledge......Page 273 Axioms and Decidability......Page 275 Conclusions and Further Work......Page 277 References......Page 279 Introduction......Page 281 Modelling Approach......Page 282 Introduction of the Case Study......Page 283 Local Dynamic Properties......Page 284 Simulation......Page 287 Non-local Dynamic Properties......Page 288 Interlevel Relations......Page 289 Representational Content......Page 291 Temporal-Interactivist Approach......Page 292 Second-Order Representation......Page 294 Validation......Page 295 Discussion......Page 297 References......Page 298 Back matter......Page 300 The second edition of the workshop on Declarative Agent Languages and Te- nologies (DALT 2004) was held July 2004 in New York City, and was a great success. We saw a signi?cant increase in both the number of submitted papers and workshop attendees from the ?rst meeting, held July 2003 in Melbourne. Nearly 40 research groups worldwide were motivated to contribute to this event by submitting their most recent research achievements, covering a wide variety of the topics listed in the call for papers. More than 30 top researchers agreed to join the Program Committee, which then collectively faced the hard task of selecting the one-day event program. The fact that research in multi-agent systems is no longer only a novel and promising research horizon at dawn is, in our opinion, the main reason behind DALT's (still short) success story. On the one hand, agent theories and app- cations are mature enough to model complex domains and scenarios, and to successfully address a wide range of multifaceted problems, thus creating the urge to make the best use of this expressive and versatile paradigm, and also pro?t from all the important results achieved so far. On the other hand, bui- ing multi-agent systems still calls for models and technologies that could ensure system predictability, accommodate ?exibility, heterogeneity and openness, and enable system veri?cation

this Book Constitutes The Thoroughly Refereed Post-proceedings Of The Second International Workshop On Declarative Agent Languages And Technologies, Dalt 2004, Held In New York, Ny, Usa In July 2004.

the 16 Revised Full Papers Presented Were Carefully Selected During Two Rounds Of Reviewing And Improvement From Initially Around 40 Submissions. The Papers Are Organized In Topical Sections On Reasoning, Modeling And Engineering, Verification, Norms And Protocols, And Interaction And Communication.

"The second edition of the workshop on Declarative Agent Languages and Technologies (DALT 2004) was held July 2004 in New York City, and was a great success."