Lecture Notes in Artificial Intelligence 3065 EditedbyJ.G.CarbonellandJ.Siekmann Subseries of Lecture Notes in Computer Science 3 Berlin Heidelberg NewYork HongKong London Milan Paris Tokyo Alessio Lomuscio Donald Nute (Eds.) Deontic Logic in Computer Science 7th International Workshop on Deontic Logic in Computer Science, DEON 2004 Madeira, Portugal, May 26-28, 2004 Proceedings 1 3 SeriesEditors JaimeG.Carbonell,CarnegieMellonUniversity,Pittsburgh,PA,USA Jo¨rgSiekmann,UniversityofSaarland,Saarbru¨cken,Germany VolumeEditors AlessioLomuscio King’sCollegeLondon,DepartmentofComputerScience LondonWC2R2LS,UK E-mail:[email protected] DonaldNute TheUniversityofGeorgia,DepartmentofPhilosophy ArtificialIntelligenceCenter Athens,GA30602,USA E-mail:[email protected] LibraryofCongressControlNumber:2004105854 CRSubjectClassification(1998):I.2.3,I.2.11,I.2,F.4.1 ISSN0302-9743 ISBN3-540-22111-5Springer-VerlagBerlinHeidelbergNewYork Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting, reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965, initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer-Verlag.Violationsare liabletoprosecutionundertheGermanCopyrightLaw. Springer-VerlagisapartofSpringerScience+BusinessMedia springeronline.com (cid:2)c Springer-VerlagBerlinHeidelberg2004 PrintedinGermany Typesetting:Camera-readybyauthor,dataconversionbyOlgunComputergrafik Printedonacid-freepaper SPIN:11011736 06/3142 543210 Preface This volume contains the workshop proceedings of DEON 2004, the Seventh International Workshop on Deontic Logic in Computer Science. The DEON workshop series aims at bringing together researchers interested in topics re- lated to the use of deontic logic in computer science. It traditionally promotes research in the relationship between normative concepts and computer science, artificial intelligence, organisation theory, and law. In addition to these topics, DEON 2004 placed special emphasis on the relationship between deontic logic and multi-agent systems. The workshop was held in Madeira, Portugal, on 26–28 May 2004. This vol- ume includes all 15 papers presented at the workshop, as well as two abstracts fromthetwooutstandinginvitedspeakerswewereprivilegedtohost:ProfMark Brown (Syracuse University, USA), and Prof Mike Wooldridge (University of Liverpool, UK). The reader will find that the topics covered span from the- oretical investigations on deontic concepts and their formalisation in logic, to the use of deontic formalisms to verify and reason about multi-agent systems applications. We believe this makes it a well-balanced and interesting volume. We wish to thank all those who contributed to this workshop, and especially the authors of the submitted papers and the referees. They were all forced to work on a very tight timescale to make this volume a reality. April 2004 Alessio Lomuscio Donald Nute Workshop Organization Organization Committee Program Co-chairs: Alessio Lomuscio, King’s College London, UK Donald Nute, Syracuse University, USA Local Organization Chair: Jos´e Carmo, University of Madeira, Portugal Local Organization Committee: Eduardo Ferm´e, University of Madeira, Portugal Filipe Santos ICSCTE, Portugal Program Committee Members Laurence Cholvy ONERA Toulouse Marco Colombetti Politecnico di Milano Frederic Cuppens ENST-Bretagne in Rennes Robert Demolombe ONERA Toulouse Frank Dignum University of Utrecht Lou Goble Willamette University Guido Governatori University of Queensland Sven Ove Hansson KTH Stockholm John Horty University of Maryland Andrew Jones King’s College London Steve Kimbrough University of Pennsylvania Lars Lindahl University of Lund Alessio Lomuscio King’s College London Tom Maibaum King’s College London Paul McNamara University of New Hampshire David Makinson King’s College London Ron van der Meyden University of New South Wales John-Jules Meyer University of Utrecht Donald Nute Syracuse University Jeremy Pitt Imperial College London Henry Prakken University of Utrecht Giovanni Sartor University of Bologna Marek Sergot Imperial College London Leon van der Torre CWI Amsterdam Lennart ˚Aqvist Uppsala University VIII Workshop Organization Sponsoring Institutions Programa FACC (Fundo de apoio a` Comunidade Cient´ıfica)- FCT - Fundacao para a Ciencia e Tecnologia (Ministerio da Ciencia e Ensino Superior) FLAD - Fundacao Luso-Americana para o Desenvolvimento CITMA - Centro de Ciencia e Tecnologia da Madeira AgentLink Journal of Applied Logic Table of Contents Proceedings of DEON 2004 Abstracts of Invited Papers Obligation, Contracts, and Negotiation ............................... 1 Mark A. Brown Social Laws in Alternating Time ..................................... 2 Michael Wooldridge Contributed Papers Combinations of Tense and Deontic Modality.......................... 3 Lennart ˚Aqvist Δ: The Social Delegation Cycle...................................... 29 Guido Boella and Leendert van der Torre Designing a Deontic Logic of Deadlines ............................... 43 Jan Broersen, Frank Dignum, Virginia Dignum, and John-Jules Ch. Meyer Obligation Change in Dependence Logic and Situation Calculus ......... 57 Robert Demolombe and Andreas Herzig A Proposal for Dealing with Deontic Dilemmas ........................ 74 Lou Goble Defeasible Logic: Agency, Intention and Obligation..................... 114 Guido Governatori and Antonino Rotolo Collective Obligations and Agents: Who Gets the Blame? ............... 129 Davide Grossi, Frank Dignum, Lamb`er M.M. Royakkers, and John-Jules Ch. Meyer Conflicting Imperatives and Dyadic Deontic Logic...................... 146 J¨org Hansen On Obligations and Abilities ........................................165 Wojciech Jamroga, Wiebe van der Hoek, and Michael Wooldridge On Normative-Informational Positions................................ 182 Andrew J.I. Jones X Table of Contents Quasi-matrix Deontic Logic .........................................191 Andrei Kouznetsov Delegation in a Role-Based Organization.............................. 209 Olga Pacheco and Filipe Santos Automatic Verification of Deontic Properties of Multi-agent Systems ..... 228 Franco Raimondi and Alessio Lomuscio Specifying Multiagent Organizations.................................. 243 Leendert van der Torre, Joris Hulstijn, Mehdi Dastani, and Jan Broersen Maintaining Obligations on Stative Expressions in a Deontic Action Logic ...........................................258 Adam Zachary Wyner Author Index .................................................275