Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006: Selected, Revised and Invited Papers

Matteo Baldoni, Ulle Endriss9783540689591, 3540689591

This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Declarative Agent Languages and Technologies, DALT 2006, held in Hakodate, Japan in May 2006 as an associated event of AAMAS 2006, the main international conference on autonomous agents and multi-agent systems.

---

Table of contents :
front-matter.pdf……Page 1
Introduction……Page 8
Contributions and Organization……Page 9
Protocols……Page 10
Deviating from Protocol……Page 12
Conformance and Coverage……Page 15
Interoperability……Page 16
Verifying Interoperability……Page 17
Discussion……Page 19
Literature……Page 20
Directions……Page 21
Introduction……Page 23
Merged Ontologies and Bridging Axioms……Page 24
Inferential Ontology Translation……Page 25
Asymmetry of Translation……Page 27
Composition of Theory Translation……Page 28
Conditional Fact Translation……Page 29
Extending Conditional Facts Translation to Axiom Derivation……Page 30
Proof of Axiom Derivation……Page 31
Axiom Derivation for Different Time Ontologies……Page 32
Conclusion……Page 34
Introduction……Page 36
Turing Machines and Complexity Classes……Page 37
Model Checking Concurrent Programs……Page 38
CTLK……Page 40
The Complexity of Model Checking CTLK in Concurrent Programs……Page 41
The Complexity of Model Checking MCMAS Programs……Page 45
Conclusion……Page 47
Introduction……Page 50
Motivation and Design Goals……Page 51
Implementation Plan……Page 54
Lightweight Coordination Calculus (LCC)……Page 55
LCC Syntax……Page 56
LCC Clause Expansion……Page 57
LCC: Process Calculus for Modelling MAS……Page 59
$mu$-Calculus for Specifying MAS Properties……Page 61
Local Model Checking……Page 63
Related Work……Page 64
Conclusion……Page 65
Introduction……Page 68
AgentSpeak……Page 69
Extensions to AgentSpeak……Page 71
Belief Update in $Jason$……Page 73
Requirements for Belief Revision in AgentSpeak……Page 74
The Belief Revision Algorithm……Page 75
Preferred Contractions……Page 76
Belief Revision in AgentSpeak……Page 77
Implementation of Belief Revision in $Jason$……Page 79
An Example……Page 80
Conclusions and Future Work……Page 82
Introduction……Page 85
The Properties of Organizations……Page 86
Background……Page 88
The Ontology of Organizations……Page 90
Conclusions……Page 93
Introduction……Page 96
Agents’ Reasoning……Page 97
Description of the Interaction Protocol and Strategies……Page 100
Local Properties of the Interaction Protocol……Page 101
Global Properties of the Communication Protocol……Page 102
Description of the Situation……Page 103
Sample of Agents Theories……Page 104
Example……Page 105
Related Work……Page 107
Conclusion……Page 110
Introduction……Page 112
Fibring Multimodal Logics……Page 114
Fibring MMA……Page 115
Multimodal Tableaux……Page 116
Labelled Tableau for Fibred MMA Logic……Page 120
Label Formalism……Page 121
Label Unifications……Page 122
Inference Rules……Page 125
Proof Search……Page 126
Concluding Remarks……Page 128
Introduction……Page 130
Goals and Plans in AgentSpeak……Page 131
Plan Failure……Page 132
Declarative Goal Patterns……Page 135
Using Patterns in Jason……Page 142
Conclusions……Page 144
Introduction……Page 148
Jadl Overview……Page 149
Knowledge Representation……Page 150
Reactive Behaviour……Page 152
Planning……Page 153
Scheduling and Failure Handling……Page 154
High Level Communications……Page 156
JIAC……Page 158
Conclusion……Page 160
Introduction……Page 163
Temporalised Normative Positions……Page 164
Contractual Commitments……Page 166
Guarantee Commitments……Page 167
Request Commitments……Page 168
Informing Commitments……Page 169
Commitment Life Cycle……Page 170
English Auction……Page 172
Supply Chain Contract……Page 173
Risk in the Supply Chain……Page 174
Related Work and Conclusions……Page 178
Introduction……Page 181
Languages and Logic Programming……Page 183
Dynamic Logic Programming……Page 184
Agent Framework……Page 186
Goal Adoption……Page 190
Goal Dropping……Page 192
Further Properties……Page 193
Example……Page 194
Conclusions……Page 196
Introduction……Page 198
Literature Review……Page 199
3APL Language……Page 200
Practical Reasoning Rules……Page 201
Framework Implementation……Page 202
User Agent……Page 203
Ontology Agent……Page 204
Service Provider Agent……Page 205
Example Scenario……Page 206
Service Directory Agent and Service Provider Agents……Page 207
Path Planning Agent……Page 208
A* Based Path Planner……Page 209
User Agent and Virtual Enterprise Agent……Page 210
Virtual Enterprise Agent and Service Directory Agent……Page 211
Conclusion……Page 212
Introduction……Page 214
Related Work……Page 216
Fundamental Concepts……Page 217
Formal Specifications……Page 219
Semantics of the Concepts……Page 224
Liveness……Page 227
Conclusion……Page 228
EBNF Grammar……Page 231
Introduction……Page 232
Plan Generation……Page 234
Plan Execution……Page 237
Relation Between Plan Generation and Plan Execution……Page 239
Conclusion and Future Research……Page 244
Introduction……Page 246
Violability……Page 247
Action Opposition and Deontic Specification……Page 248
Contrary-to-Duty Obligations……Page 249
Obligations on Sequences Versus Sequences of Obligations……Page 250
States of Affairs……Page 251
Basic Actions……Page 252
Lexical Semantic Functions……Page 253
Deontic Specifications……Page 254
Contrary-to-Duty Obligations……Page 257
Deontic Specification on Complex Actions……Page 259
Some Comparisons……Page 261
Conclusion……Page 262
back-matter.pdf……Page 264