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

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