This book constitutes the strictly refereed post-proceedings of the 5th International Workshop on Computational Logic for Multi-Agent Systems, CLIMA V, held in Lisbon, Portugal, in September 2004 as a joint event in federation with the Ninth European Conference on Logics in Artificial Intelligence (JELIA’04) to promote the CLIMA research topics in the broader community of logics in AI.
The 16 revised full papers presented were carefully selected from 35 submissions and are devoted to techniques from computational logic for representing, programming, and reasoning about multi-agent systems. The papers are organized in topical sections on foundations, architectures, interaction, and planning and applications.
Author(s): João Leite, Paolo Torroni
Series: Lecture Notes in Artificial Intelligence 3487
Edition: 1
Publisher: Springer
Year: 2005
Language: English
Pages: 291
Front matter......Page 1
Introduction......Page 11
Timed Automata......Page 12
Parallel Composition of Timed Automata......Page 14
Real Time Deontic Interpreted System......Page 15
Syntax of TCTLKD......Page 16
Semantics of TCTLKD......Page 17
Applications......Page 18
Conclusions......Page 22
Introduction......Page 26
Syntax......Page 28
Semantics......Page 29
Dynamic Logic......Page 31
Syntax......Page 32
Semantics......Page 33
The Axiom System......Page 34
Soundness and Completeness......Page 36
Conclusion and Future Research......Page 41
Introduction......Page 43
Contextualizing Taxonomies......Page 45
A Formal Framework......Page 46
Language......Page 47
Semantics......Page 49
Operations on Contexts......Page 50
Formal Meaning of $\Xi$, $\mathcal{D}$, and $\mathcal{A}$}......Page 52
Formalizing an Example......Page 54
A Model of the Formalization......Page 55
Representing Conceptual “Core” and “Penumbra”......Page 56
Related Work......Page 57
Conclusions......Page 59
References......Page 60
Introduction......Page 62
Dynamic Logic Programs and Evolp......Page 64
Action Languages......Page 66
Evolp Action Programs......Page 68
Relationship to Existing Action Languages......Page 72
Updates of Action Domains......Page 74
Conclusions and Future Work......Page 78
Proofs......Page 80
Introduction......Page 88
Preliminaries......Page 90
MDLPs and Various Semantics Based on Rejection of Rules......Page 92
Equality on the Class of Acyclic Programs......Page 95
RDSM Semantics and DLPs......Page 100
Conclusion......Page 103
Introduction......Page 106
Background......Page 107
Abstract Agent Model......Page 108
Fixed Cycles and Fixed Operational Trace......Page 110
Cycle Theories and Cycle Operational Trace......Page 111
Fixed Versus Flexible Behaviour......Page 113
An Example......Page 114
Interruptible Agents......Page 116
Patterns of Behaviour......Page 117
Conclusions and Ongoing Work......Page 119
Introduction......Page 121
A Sequent Formulation of a Multi-agent Epistemic Logic......Page 124
The Generalized Wise Men Puzzle......Page 126
Athena Implementation......Page 130
Related Work......Page 132
Introduction......Page 136
Graded BDI Agent Model......Page 138
Belief Context......Page 139
The BC Language......Page 140
BC Axioms and Rules......Page 141
DC Language......Page 142
Semantics for DC......Page 143
DC Axioms......Page 144
Semantics and Axiomatization for IC......Page 145
Planner and Communication Contexts......Page 146
Bridge Rules......Page 147
Example of a Graded BDI Agent for Tourism......Page 149
Conclusions and Future Work......Page 151
References......Page 152
Introduction......Page 154
Running Example......Page 155
BIT......Page 156
Herzig and Longin......Page 159
Simulation......Page 160
Topic as Enumeration of Options......Page 161
Comparison with Janin and Walukiewicz......Page 162
Questions......Page 163
Questions and Trust......Page 165
Other Communicative Primitives......Page 166
Related Research......Page 167
Conclusion......Page 168
Introduction......Page 171
Preliminaries......Page 173
Coordination Between Programs......Page 174
Computing Generous Coordination......Page 176
Computing Rigorous Coordination......Page 179
Algebraic Properties......Page 181
Discussion......Page 182
Concluding Remarks......Page 186
Introduction......Page 188
Social Commitments......Page 189
Argumentation and Social Commitments......Page 190
Protocol Form......Page 191
Dialogue Games Specification......Page 192
Termination Proof......Page 196
Implementation of the Dialogue Games......Page 198
Example......Page 200
Related Work......Page 202
Conclusion and Future Work......Page 203
References......Page 204
Introduction......Page 206
Specification of Communication in DyLOG......Page 208
The Communication Kit in Brief......Page 209
Protocol Conformance......Page 213
Turning an AUML Sequence Diagram into a Linear Grammar......Page 214
Three Degrees of Conformance......Page 216
Conclusions and Related Work......Page 219
References......Page 221
Introduction......Page 223
Framework of Global Abduction......Page 227
Semantics for Global Abduction......Page 230
Proof Procedure......Page 231
Execution of Global Abduction......Page 234
Related Work......Page 236
Conclusion......Page 237
Introduction......Page 240
Background: Abductive Logic Programming with Constraints......Page 241
Representing a Planning Domain......Page 243
Representing Planning Problems and the Life-Cycle of Agents......Page 246
Planning Transition......Page 248
Execution Transition......Page 249
Revision Transition......Page 250
Planning Selection Function......Page 251
An Example......Page 252
Related Work and Conclusions......Page 254
Introduction......Page 259
Action Selection......Page 260
Macro Actions......Page 262
Macros and Goals......Page 263
Desire States and Goal Analysis......Page 265
Maintaining Rationality......Page 267
Goal Removal......Page 268
Goal Addition......Page 269
Goal Modification......Page 270
Application to UAV Domain......Page 271
Conclusion......Page 272
Introduction......Page 275
The Active Museum......Page 276
MetateM......Page 277
Structuring the Agent Space......Page 279
Communication......Page 280
Programming Agents......Page 281
MetateM in the Museum......Page 283
Discussion of the System......Page 286
Dynamic Aspects: Mobile Agents......Page 287
Dynamic Aspects: Modifying Interests......Page 288
Conclusions......Page 289
Back matter......Page 291
