This book constitutes the proceedings of the 11th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA XI, held in Lisbon, Portugal, in August 2010. The 14 papers presented were carefully reviewed and selected from 31 submissions. In addition 4 invited talks are presented. The purpose of the CLIMA workshops is to provide a forum for discussing techniques, based on computational logic, for representing, programming and reasoning about agents and multi-agent systems in a formal way. This volume features two thematic special sessions: norms and normative multi-agent systems and logics for games and strategic reasoning.
Author(s): Jürgen Dix, Joao Leite, Guido Governatori, Wojtek Jamroga
Series: Lecture Notes in Computer Science - Lecture Notes Artificial Intelligence
Year: 2010
Language: English
Pages: 271
Lecture Notes in Artificial Intelligence 6245......Page 1
Computational Logic in Multi-Agent Systems: 11th International Workshop, CLIMA XI / Lisbon, Portugal, August 16-17, 2010 / Proceedings......Page 2
Preface......Page 4
Organisation......Page 9
Table of Contents......Page 11
Empirical Analysis......Page 13
Voting Rules......Page 14
Results......Page 15
Other Manipulation Problems......Page 16
Conclusions......Page 17
References......Page 18
Games, Norms and Strategic Notions in Information Flow Security......Page 20
Group Announcements......Page 21
Group Announcement Logic......Page 22
Public Announcement Games......Page 23
References......Page 24
Strong Equivalence in Argumentation......Page 26
Introduction......Page 27
Hypergraphs......Page 29
Language of Secrets......Page 31
Proof Examples......Page 32
Soundness......Page 34
Parity Protocol PA......Page 36
Generalized Parity Protocol......Page 39
Completeness: Final Steps......Page 42
References......Page 44
Introduction......Page 45
(Normal) Quantified Multimodal Logics in STT......Page 46
Embeddings of Other Logics in STT......Page 49
Reasoning about Logics and Combinations of Logics......Page 51
Reasoning within Combined Logics......Page 53
Experiments......Page 55
Conclusion......Page 57
References......Page 58
Introduction......Page 61
Related Work......Page 62
Formulation......Page 63
Operational Model......Page 66
State Rewriting......Page 67
Example Trace......Page 72
Correctness......Page 73
Discussion......Page 74
Conclusion......Page 75
References......Page 76
Introduction......Page 77
Logics for Epistemic Dynamics......Page 78
The -Calculus......Page 81
Epistemic Dynamics with -Calculus......Page 84
The Dining Cryptographers Protocol......Page 88
Related and Future Work......Page 91
References......Page 92
Introduction......Page 94
Commitments in REC......Page 96
Running Example......Page 97
Commitment Similarity......Page 99
Diagnosis Process: Architecture, Algorithm, and Properties......Page 101
Case Study......Page 105
Case II: Misbehavior......Page 107
Discussion and Future Work......Page 108
References......Page 110
Introduction......Page 111
Running Example......Page 112
Action Theories in Temporal ASP......Page 114
Specifying a Business Process as an Action Domain......Page 117
Normative Specification......Page 119
Temporal Answer Sets and Compliance Verification......Page 121
Conclusions and Related Work......Page 125
References......Page 126
Dynamic Linear Time Temporal Logic......Page 127
Introduction......Page 129
Normative Programming Language......Page 130
Moise......Page 132
From OML to NOPL......Page 135
Artifact-Based Architecture......Page 141
Related Work......Page 142
References......Page 144
Introduction......Page 147
Preliminaries......Page 148
Finding Uniform Strategies in CEGSs......Page 151
Example......Page 160
The Complexity of Finding Uniform Strategies......Page 162
Conclusion......Page 163
References......Page 164
Motivation......Page 165
Extensive Form Games......Page 167
Strategies......Page 168
Examples......Page 169
Syntax......Page 171
Semantics......Page 172
Axiom System......Page 175
Completeness......Page 178
Discussion......Page 179
Appendix......Page 180
References......Page 182
Introduction......Page 183
Preliminaries......Page 185
Novel Properties of Goals......Page 187
A Sufficient Condition for Half Positionality......Page 190
Selectivity......Page 192
Conclusions......Page 196
References......Page 197
Introduction......Page 198
Games and the Language LO......Page 201
Optimality Operators......Page 203
Beliefs and the Modal Fixpoint Language L......Page 205
Proof Systems......Page 207
Summary......Page 210
References......Page 211
Introduction......Page 212
Motivating Examples......Page 213
Informal Comparison of Agent Languages and LPS......Page 215
Abductive Logic Programming......Page 217
The Action Theory......Page 218
Reactive Rules......Page 219
Planning Clauses......Page 220
LPS Language – Formal Description......Page 221
The Operational Semantics......Page 223
Model-Theoretic Semantics......Page 225
Soundness......Page 226
Relationship with the Situation Calculus and Event Calculus......Page 227
Related and Future Work......Page 228
References......Page 229
Introduction......Page 231
Preliminaries......Page 232
An Interpreter-Based Model Checker......Page 234
Experimental Evaluation......Page 237
Experiments......Page 239
Wumpus Scenario......Page 245
Discussion......Page 246
Conclusion......Page 247
References......Page 248
Introduction......Page 250
Dialogue Games as a Formal Framework for Dialogues between Autonomous Agents......Page 252
Operational Semantics as a Dialogue Game......Page 253
Message Reception Player......Page 257
Communication Protocols......Page 259
Abstracting Agent Properties......Page 263
References......Page 265
Author Index......Page 268
