Lecture Notes in Artificial Intelligence Subseries of Lecture Notes in Computer Science LNAI Series Editors Randy Goebel University of Alberta, Edmonton, Canada Yuzuru Tanaka Hokkaido University, Sapporo, Japan Wolfgang Wahlster DFKI and Saarland University, Saarbrücken, Germany

LNAI Founding Series Editor Joerg Siekmann DFKI and Saarland University, Saarbrücken, Germany

7169

Chiaki Sakama Sebastian Sardina WambertoVasconcelos Michael Winikoff (Eds.)

Declarative Agent Languages and Technologies IX 9th International Workshop, DALT 2011 Taipei, Taiwan, May 3, 2011 Revised Selected and Invited Papers

13

Series Editors Randy Goebel, University of Alberta, Edmonton, Canada Jörg Siekmann, University of Saarland, Saarbrücken, Germany Wolfgang Wahlster, DFKI and University of Saarland, Saarbrücken, Germany Volume Editors Chiaki Sakama Wakayama University, Dept. of Computer and Communication Sciences 930 Sakaedani, Wakayama 640-8510, Japan E-mail: [email protected] Sebastian Sardina RMIT University, School of Computer Science and Information Technology PO Box GPO Box 2476V, Melbourne, VIC, 3001, Australia E-mail: [email protected] Wamberto Vasconcelos University of Aberdeen, Dept. of Computing Science Meston Building, Aberdeen, AB24 3UE, UK E-mail: [email protected] Michael Winikoff University of Otago, Dept. of Information Science PO Box 56, Dunedin, 9054, New Zealand E-mail: [email protected] ISSN 0302-9743 e-ISSN 1611-3349 ISBN 978-3-642-29112-8 e-ISBN 978-3-642-29113-5 DOI 10.1007/978-3-642-29113-5 Springer Heidelberg Dordrecht London New York Library of Congress Control Number: 2012933973 CR Subject Classification (1998): I.2.11, C.2.4, D.2.4, D.2, D.3, F.3.1 LNCS Sublibrary: SL 7 – Artificial Intelligence © Springer-Verlag Berlin Heidelberg 2012 This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, re-use of illustrations, recitation, broadcasting, reproduction on microfilms or in any other way, and storage in data banks. Duplication of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable to prosecution under the German Copyright Law. The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Typesetting: Camera-ready by author, data conversion by Scientific Publishing Services, Chennai, India Printed on acid-free paper Springer is part of Springer Science+Business Media (www.springer.com)

Preface

This volume contains revised papers presented at the International Workshop on Declarative Agent Languages and Technologies (DALT 2011). In addition to these technical contributions, this volume also revisits the most influential papers of past DALT editions, through a “retrospective” in which the authors themselves appraise the impact of the research in the field and how it led to future developments. DALT 2011 was the ninth and most recent edition of the ongoing series of events aimed at promoting declarative approaches and technologies for software agents and multiagent systems. DALT 2011 took place in Taipei, Taiwan, on May 3, and was held as a satellite workshop of the 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011). Past editions were held in 2003 in Melbourne, Australia; in 2004 in New York, USA; in 2005 in Utrecht, The Netherlands; in 2006 in Hakodate, Japan; in 2007 in Honolulu, USA; in 2008 in Estoril, Portugal; in 2009 in Budapest, Hungary; and in 2010 in Toronto, Canada. The post-workshop proceedings for all these were published in the Lecture Notes in Artificial Intelligence series as volumes 2990, 3476, 3904, 4327, 4897, 5397, 5948, and 6619, respectively. Business and pleasure activities increasingly benefit from computer networks to share information and processes. Software to support such activities thus need to be distributed (i.e., many independent pieces of hardware, communicating via message-passing), open (i.e., components may come and go) and heterogeneous (i.e., components have been developed independently by different parties using different technologies). Moreover, as solutions become more sophisticated, they need to become more autonomous, being able to function with little or no human interference. Software agents and multiagent systems help make this class of applications a reality. Engineering such systems brings about exciting challenges for which declarative approaches offer much. Declarative formalisms (e.g., functions and logics), and their associated mechanisms, can be used to specify, verify, analyze and, in many cases, actually program software agents and multiagent systems. Declarative approaches, with their well-understood and robust mathematical foundations, provide abstractions with which to explore computational phenomena. The series of international workshops on Declarative Agent Languages and Technologies (DALT) has been organized as a forum in which theoreticians and practitioners come together for scientific exchange on declarative approaches to specifying, verifying, programming, and running software agents and multiagent systems. A main theme of the DALT series is to advance the state of the art in declarative specification and verification techniques, to address large, expressive and realistic classes of software agents and multiagent systems.

VI

Preface

We have included in this volume five papers presented at DALT 2011; the authors have revised their papers in light of the comments and suggestions they received from the reviewers and during the workshop. The papers are: 1. A Formal Framework for Reasoning about Goal Interactions, by Michael Winikoff 2. Plan Indexing for State-Based Plans, by Louise Dennis 3. Probing Attacks on Multiagent Systems using Electronic Institutions, by Shahriar Bijani, David Robertson, and David Aspinall 4. Formalizing Commitments Using Action Languages, by Tran Cao Son, Enrico Pontelli, and Chiaki Sakama 5. Detecting Conflicts in Commitments, by Akin Gunay and Pinar Yolum In addition to these original contributions, we also have a retrospective of the best papers of the DALT series, by the respective authors themselves, explaining how the research developed and how it influenced and impacted the community, the state of the art and subsequent work. The best papers of the DALT series were selected based on their number of citations given by Google Scholar.1 The papers are: 1. Coo-BDI: Extending the BDI Model with Cooperativity, by Davide Ancona and Viviana Mascardi (DALT 2003) 2. Extending the Operational Semantics of a BDI Agent-Oriented Programming ´ Language for Introducing Speech-Act Based Communication, by Alvaro F. Moreira, Renata Vieira, and Rafael H. Bordini (DALT 2003) 3. A Lightweight Coordination Calculus for Agent Systems, by David S. Robertson (DALT 2004) 4. A Distributed Architecture for Norm-Aware Agent Societies, by Andr´es Garc´ıaCamino, Juan-Antonio Rodr´ıguez-Aguilar, Carles Sierra, and Wamberto W. Vasconcelos (DALT 2005) 5. Producing Compliant Interactions: Conformance, Coverage, and Interoperability, by Amit K. Chopra and Munindar P. Singh (DALT 2006) 6. Specifying and Enforcing Norms in Artificial Institutions, by Nicoletta Fornara and Marco Colombetti (DALT 2008) 7. Social Commitments in Time: Satisfied or Compensated, by Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali (DALT 2009) In 2011, there was also a DALT Spring School, held during April 10-15 in Bertinoro (Forl-Cesena), Italy. The school, organized by Paolo Torroni and Andrea Omicini, aimed at giving a comprehensive introduction to the DALT research topics and disseminating the results of research achieved in an 8-year-long workshop activity, with a perspective on the future. The 5-day school program included five courses: – Agent Reasoning: Knowledge, Plans and Flexible Control Cycles by Francesca Toni 1

http://scholar.google.com/

Preface

VII

– Agent Reasoning: Goals and Preferences, by Birna van Riemsdijk – Agent Interaction: Languages, Dialogues and Protocols, by Peter McBurney – Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification, by Rafael Bordini – Organization, Coordination and Norms for Multi-Agent Systems, by Wamberto Vasconcelos There was also a student session, organized by Federico Chesani in two tracks: for junior and senior students. The initiative was a success, with more than 30 students attending, and it received very positive feedback. The DALT school was very conveniently co-located with the Third ALP/GULP International School on Computational Logic. Additional information and course materials are available for download at the website: http://lia.deis.unibo.it/confs/dalt_ school/. The DALT school is represented in this volume by two invited contributions from DALT lecturers: a short course report by Rafael Bordini, and a technical article by Wamberto Vasconcelos and colleagues.2 We would like to take this opportunity to thank the authors for their contributions, the members of the Steering Committee for support and guidance, and the members of the Program Committee for timely and high-quality reviews. We would also like to thank Wiebe Van der Hoek (Department of Computer Science, University of Liverpool, UK), for his invited talk “Control and Delegation;” we are very happy to include in this volume an extended abstract for this talk. August 2011

2

Chiaki Sakama Sebastian Sardina Wamberto Vasconcelos Michael Winikoff

We thank Paolo Torroni for providing us with this summary text on the DALT 2011 Spring School for inclusion in this preface.

Organization

Organizing Committee Chiaki Sakama Sebastian Sardina Wamberto Vasconcelos Michael Winikoff

Wakayama University, Japan RMIT University, Australia University of Aberdeen, UK University of Otago, New Zealand

Steering Committee Matteo Baldoni Andrea Omicini M. Birna van Riemsdijk Tran Cao Son Paolo Torroni Pinar Yolum Michael Winikoff

Universit` a di Torino, Italy Alma Mater Studiorum – Universit` a di Bologna, Italy Delft University of Technology, The Netherlands New Mexico State University, USA Alma Mater Studiorum – Universit` a di Bologna, Italy Bogazici University, Turkey University of Otago, New Zealand

Program Committee Thomas ˚ Agotnes Marco Alberti Natasha Alechina Cristina Baroglio Rafael Bordini Jan Broersen Federico Chesani Amit Chopra Francesco M. Donini James Harland Andreas Herzig Koen Hindriks Jo˜ ao Leite Yves Lesp´erance Viviana Mascardi

University of Bergen, Norway Universidade Nova de Lisboa, Portugal University of Nottingham, UK Universit` a di Torino, Italy Federal University of Rio Grande do Sul, Brazil University of Utrecht, The Netherlands Alma Mater Studiorum – Universit` a di Bologna, Italy Universit` a di Trento, Italy Universit`a della Tuscia, Italy RMIT University, Australia Paul Sabatier University, France Delft University of Technology, The Netherlands New University of Lisbon, Portugal York University, Canada Universit` a di Genova, Italy

X

Organization

Nicolas Maudet John-Jules Meyer Peter Nov´ ak Fabio Patrizi Enrico Pontelli David Pym Michael Rovatsos Flavio Correa da Silva Guillermo Simari Tran Cao Son Marina De Vos

Additional Referees Federico Chesani Marco Montali ˇ ap Michal C´

LAMSADE, Universit´e Paris-Dauphine, France University of Utrecht, The Netherlands Czech Technical University in Prague, Czech Republic Universit`a “La Sapienza” di Roma, Italy New Mexico State University, USA University of Aberdeen, UK The University of Edinburgh, UK Universidade de Sao Paulo, Brazil Universidad Nacional del Sur, Argentina New Mexico State University, USA University of Bath, UK

Table of Contents

DALT 2011 Papers Control and Delegation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Wiebe van der Hoek

1

Plan Indexing for State-Based Plans . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Louise A. Dennis

3

An Integrated Formal Framework for Reasoning about Goal Interactions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Michael Winikoff

16

Probing Attacks on Multi-Agent Systems Using Electronic Institutions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Shahriar Bijani, David Robertson, and David Aspinall

33

Detecting Conflicts in Commitments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Akın G¨ unay and Pınar Yolum

51

Formalizing Commitments Using Action Languages . . . . . . . . . . . . . . . . . . Tran Cao Son, Enrico Pontelli, and Chiaki Sakama

67

Best of DALT Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . David Robertson

84

The Evolution of Interoperability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Amit K. Chopra and Munindar P. Singh

90

1000 Years of Coo-BDI . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Viviana Mascardi and Davide Ancona

95

A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Andr´es Garc´ıa-Camino, Juan-Antonio Rodr´ıguez-Aguilar, Carles Sierra, and Wamberto W. Vasconcelos Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ´ Alvaro F. Moreira, Renata Vieira, and Rafael H. Bordini

102

111

XII

Table of Contents

Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Nicoletta Fornara and Marco Colombetti

117

A Retrospective on the Reactive Event Calculus and Commitment Modeling Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Paolo Torroni, Federico Chesani, Paola Mello, and Marco Montali

120

DALT Spring School 2011 Web Service Composition via Organisation-Based (Re)Planning . . . . . . . . David Corsar, Alison Chorley, and Wamberto W. Vasconcelos

128

Agent and Multi-Agent Software Engineering: Modelling, Programming, and Verification (Extended Abstract) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Rafael H. Bordini

149

Author Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

153

Lecture Notes in Artificial Intelligence 7169 - Springer Link

Wakayama University, Dept. of Computer and Communication Sciences .... and realistic classes of software agents and multiagent systems. .... Best of DALT.

127KB Sizes 0 Downloads 228 Views

Recommend Documents

Lecture Notes in Artificial Intelligence 7169 - Springer Link
Subseries of Lecture Notes in Computer Science. LNAI Series Editors. Randy Goebel. University of Alberta, Edmonton, Canada. Yuzuru Tanaka. Hokkaido ...

Lecture Notes in Artificial Intelligence 5442
software tools that facilitate the development of multi-agent systems. December 2008. Koen Hindriks .... Jose M. Such, Juan M. Alberola, Ana Garcia-Fornes,.

Lecture Notes in Artificial Intelligence 4650
described as an advanced form of human–computer interface that allows the ..... for the development of the sense of presence, it would be impossible for the ..... Ios Press,. Amsterdam (2004), http://www.cybertherapy.info/pages/book3.htm. 25.

Artificial Emotions - Springer Link
Department of Computer Engineering and Industrial Automation. School of ... researchers in Computer Science and Artificial Intelligence (AI). It is believed that ...

Lecture Notes in Macroeconomics
Thus if the real interest rate is r, and the nominal interest rate is i, then the real interest rate r = i−π. ... M2 (M1+ savings accounts):$4.4 trillion. Remember that the ...

Lecture Notes in Applied Probability
B M S. There are 5 ways to fill the first position (i.e., Bill's mailbox), 4 ways to fill ..... cording to the “bullet” voting system, a voter must place 4 check marks on ...... 3.36 The Colorful LED Company manufacturers both green and red light

Lecture Notes in Mathematics
I spent the first years of my academic career at the Department of Mathe- matics at ... He is the one to get credit for introducing me to the field of graph complexes ... not 2-connected graphs along with yet another method for computing the.

Lecture Notes in Mathematics 1876
This field is the theory of sets, whose creator was Georg Cantor, . . . , this appears .... quixotic extremes as that of challenging the method of proof by reductio ad.

Lecture Notes in Computer Science
study aims to examine the effectiveness of alternative indicators based on wavelets, instead of some technical ..... In this paper, the energy, entropy and others of CJ(k), wavelet coefficients at level J, .... Max depth of initial individual program

Artificial Intelligence in Cyber Defense
Internet. One has to be able to handle large amount of information very fast in .... A reason for the popularity of neural nets in cyber defense is their high speed, ... especially in decision making when two adversaries are choosing their best ...

Artificial Intelligence - GitHub
Dec 21, 2011 - based on the average of your six best homework assignments (30%), a midterm examination (30%) ... confer a Stanford degree or a certificate.

Lecture Notes in Computer Science
forecasting by means of Financial Genetic Programming (FGP), a genetic pro- ... Address for correspondence: Jin Li, CERCIA, School of Computer Science, The ...

Lecture Notes in Computer Science
This is about twice the data generated in 1999, given an increasing ... the very same pre-processing tools and data have been used by all of them. We chose.

Lecture Notes in Computer Science
Abstract. In this paper, we present an approach for detecting and classifying attacks in computer networks by using neural networks. Specifically, a design of an intruder detection system is presented to protect the hypertext transfer protocol (HTTP)

Lecture Notes in Computer Science
... S and Geetha T V. Department of Computer Science and Engineering, .... concept than A. If the matching degree is unclassified then either concept A or B is.

Lecture Notes in Computer Science
tinct systems that are used within an enterprising organization. .... files and their networks of personal friends or associates, Meetup organizes local ..... ployed, and in a busy community any deleted pages will normally reappear if they are.

Inquisitive semantics lecture notes
Jun 25, 2012 - reformulated as a recursive definition of the set |ϕ|g of models over a domain. D in which ϕ is true relative to an assignment g. The inductive ...

Lecture Notes
1. CS theory. M a Compas 3-manifold. A page connetton of gange group G Gəvin)or SU(N). Sas - & + (AndA +š Anka A). G-O(N). SO(N) in this talk. - k integer .... T or Smains the same along row. 2) The # should s down the column. P P P P P spa, Az15)=

Ambiguity in electoral competition - Springer Link
Mar 1, 2006 - How to model ambiguity in electoral competition is a challenge for formal political science. On one hand ... within democratic political institutions.1 The ambiguity of political discourse is certainly ...... Princeton University Press,

Exploring Cultural Differences in Pictogram ... - Springer Link
management applications such as Flickr and YouTube have come into wide use, allowing users to ... the meaning associated with the object. Pictorial symbols ...

Complexified Gravity in Noncommutative Spaces - Springer Link
Complexified Gravity in Noncommutative Spaces. Ali H. Chamseddine. Center for Advanced Mathematical Sciences (CAMS) and Physics Department, American University of Beirut,. Lebanon. Received: 1 June 2000 / Accepted: 27 November 2000. Abstract: The pre