Lecture Notes in Artificial Intelligence 6953

Size: px

Start display at page:

Download "Lecture Notes in Artificial Intelligence 6953"

Kathlyn Foster
6 years ago
Views:

1 Lecture Notes in Artificial Intelligence 6953 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief Luigia Carlucci Aiello, University of Rome "La Sapienza", Italy Michael Moortgat, University of Utrecht, The Netherlands Maarten de Rijke, University of Amsterdam, The Netherlands Editorial Board Carlos Areces, INRIA Lorraine, France Nicholas Asher, University of Texas at Austin, TX, USA Johan van Benthem, University of Amsterdam, The Netherlands Raffaella Bernardi, Free University of Bozen-Bolzano, Italy Antal van den Bosch, Tilburg University, The Netherlands Paul Buitelaar, DFKI, Saarbrücken, Germany Diego Calvanese, Free University of Bozen-Bolzano, Italy Ann Copestake, University of Cambridge, United Kingdom Robert Dale, Macquarie University, Sydney, Australia Luis Fariñas, IRIT, Toulouse, France Claire Gardent, INRIA Lorraine, France Rajeev Goré, Australian National University, Canberra, Australia Reiner Hähnle, Chalmers University of Technology, Göteborg, Sweden Wilfrid Hodges, Queen Mary, University of London, United Kingdom Carsten Lutz, Dresden University of Technology, Germany Christopher Manning, Stanford University, CA, USA Valeria de Paiva, Palo Alto Research Center, CA, USA Martha Palmer, University of Pennsylvania, PA, USA Alberto Policriti, University of Udine, Italy James Rogers, Earlham College, Richmond, IN, USA Francesca Rossi, University of Padua, Italy Yde Venema, University of Amsterdam, The Netherlands Bonnie Webber, University of Edinburgh, Scotland, United Kingdom Ian H. Witten, University of Waikato, New Zealand

2 Hans van Ditmarsch Shier Ju (Eds.) Jérôme Lang Logic, Rationality, and Interaction Third International Workshop, LORI 2011 Guangzhou, China, October 10-13, 2011 Proceedings 13

3 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 Hans van Ditmarsch University of Sevilla Camilo José Cela s/n, Sevilla, Spain Jérôme Lang Université Paul Sabatier, IRIT 118 Route de Narbonne, Toulouse Cedex 04, France Shier Ju Sun Yat-sen University Institute of Logic and Cognition Department of Philosophy Guangzhou, , China ISSN e-issn ISBN e-isbn DOI / Springer Heidelberg Dordrecht London New York Library of Congress Control Number: CR Subject Classification (1998): F.4, G.2, I.2.6, F.3, I.2.3 LNCS Sublibrary: SL 7 Artificial Intelligence Springer-Verlag Berlin Heidelberg 2011 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 (

4 Preface This volume contains the papers presented at LORI-3, the Third International Workshop on Logic, Rationality and Interaction held during October 10 14, 2011 in Guangzhou, P.R. China. There were 52 submissions. Each submission was reviewed by at least two programme committee members. The committee decided to accept 25 full papers and 12 abstracts for poster presentation. The First International Workshop on Logic, Rationality and Interaction (LORI-I) was initially proposed by Dutch and Chinese logicians; it took place in Beijing in August 2007, with participation by researchers from the fields of artificial intelligence, game theory, linguistics, logic, philosophy, and cognitive science. The workshop led to great advances in mutual understanding, both academically and culturally, between Chinese and non-chinese logicians. The Second International Workshop on Logic, Rationality and Interaction (LORI-II) took place in Chongqing, China, during October 6 11, The programme of these previous LORI workshops can be found at a web portal for the research community on logic and rational interaction. The LORI-3 workshop followed the theme of previous LORI events and mainly centered on logical approaches to knowledge representation, game theory, linguistics, and cognitive science. More than half of the papers focused on modelling and reasoning about knowledge and belief, another one-third covered game theory and related matters. LORI-3 took place on the south campus of Sun Yat-sen University, Guangzhou, P.R. China, and was hosted by the Institute of Logic and Cognition (ILC). The ILC is one of the key research institutes of the Ministry of Education of China, and is dedicated to exploring the intersection between logic, cognitive science and computer science. The institute also contributed a lot to promoting cooperations and academic studies between Chinese and non-chinese logicians, gaining increasing reputation in the international communities. The programme chairs of LORI-3 are greatly in debt to the support of ILC in making this workshop happen. In particular, we are indebted to ILC member Yuping Shen, who single-handedly produced these proceedings. We further wish to acknowledge the continuous support of LORI standing committee members Fenrong Liu and Johan van Benthem. Finally, we acknowledge the use of EasyChair, with its wonderful facility to check LNCS style file compliance and assist in the production of the proceedings. This greatly reduced our work in publishing the programme. July 2011 Hans van Ditmarsch Jérôme Lang Shier Ju

5 Organization Programme Committee Guillaume Aucher Patrick Blackburn Richard Booth Mihir Chakraborty James Delgrande Cédric Dégremont Hans van Ditmarsch Jan van Eijck Ulle Endriss Nina Gierasimczuk Sven Ove Hansson Andreas Herzig Brian Hill John Horty David Janin Shier Ju Mamoru Kaneko Willem Labuschagne Jérôme Lang Fangzhen Lin Fenrong Liu Weiru Liu Emiliano Lorini Pierre Marquis Guo Meiyun Eric Pacuit Gabriella Pigozzi Francesca Poggiolesi Hans Rott Jeremy Seligman Yuping Shen Sonja Smets Leon van der Torre University of Rennes 1/INRIA, France INRIA, Lorraine, France ILIAS, University of Luxembourg Jadavpur University, India Simon Fraser University, Canada University of Groningen, The Netherlands University of Seville, Spain CWI, The Netherlands ILLC, University of Amsterdam, The Netherlands University of Groningen, The Netherlands Royal Institute of Technology, Stockholm, Sweden IRIT-CNRS, France HEC Paris, France University of Maryland, USA LaBRI, Université de Bordeaux I, ENSEIRB, France Sun Yat-sen University, China University of Tsukuba, Japan University of Otago, New Zealand LAMSADE-CNRS, France Hong Kong University of Science and Technology Tsinghua University, China Queen s University Belfast, UK IRIT-CNRS, France CRIL-CNRS and Université d Artois, France South-West University, China Tilburg University, The Netherlands LAMSADE - Université Paris-Dauphine, France VUB, Belgium University of Regensburg, Germany The University of Auckland, New Zealand Sun Yat-sen University, China University of Groningen, The Netherlands ILIAS, University of Luxembourg

6 VIII Organization Minghui Xiong Tomoyuki Yamada Mingyi Zhang Beihai Zhou Sun Yat-sen University, China Hokkaido University, Japan Guizhou Academy of Science, China Peking University, China Additional Reviewers Enqvist, Sebastian Horty, John Kooi, Barteld Liu, Hu Ma, Jianbing Ma, Minghui Parent, Xavier Rodenhäuser, Ben Schulte, Oliver Simon, Sunil Easaw Van Benthem, Johan Vesic, Srdjan Wang, Yanjing Wang, Yisong Wen, Xuefeng Wu, Maonian

7 Table of Contents Logical Dynamics of Evidence... 1 Johan van Benthem and Eric Pacuit Dynamic Restriction of Choices: Synthesis of Societal Rules Soumya Paul and R. Ramanujam Agreeing to Disagree with Limit Knowledge Christian W. Bach and Jérémie Cabessa A Semantic Model for Vague Quantifiers Combining Fuzzy Theory and Supervaluation Theory Ka Fat Chow An Application of Model Checking Games to Abstract Argumentation Davide Grossi Schematic Validity in Dynamic Epistemic Logic: Decidability Wesley H. Holliday, Tomohiro Hoshi, and Thomas F. Icard III Knowledge and Action in Semi-public Environments Wiebe van der Hoek, Petar Iliev, and Michael Wooldridge Taking Mistakes Seriously: Equivalence Notions for Game Scenarios with Off Equilibrium Play Alistair Isaac and Tomohiro Hoshi Update Semantics for Imperatives with Priorities Fengkui Ju and Fenrong Liu A Measure of Logical Inference and Its Game Theoretical Applications Mamoru Kaneko and Nobu-Yuki Suzuki Partial Semantics of Argumentation Beishui Liao and Huaxin Huang A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling Emiliano Lorini DEL Planning and Some Tractable Cases Benedikt Löwe, Eric Pacuit, and Andreas Witzel

8 X Table of Contents Mathematics of Public Announcements Minghui Ma Logics of Belief over Weighted Structures Minghui Ma and Meiyun Guo Game Semantics for the Geiger-Paz-Pearl Axioms of Independence Pavel Naumov and Brittany Nicholls Algebraic Foundations for Inquisitive Semantics Floris Roelofsen A Dynamic Analysis of Interactive Rationality Eric Pacuit and Olivier Roy Seeing, Knowledge and Common Knowledge François Schwarzentruber Measurement-Theoretic Foundations of Probabilistic Model of JND-Based Vague Predicate Logic Satoru Suzuki An Epistemic Logic with Hypotheses Levan Uridia and Dirk Walther Minimal Revision and Classical Kripke Models: First Results Jonas De Vuyst On Axiomatizations of PAL Yanjing Wang Public Announcement Logic with Distributed Knowledge YìN.Wáng and Thomas Ågotnes An Alternative Logic for Knowability Xuefeng Wen, Hu Liu, and Fan Huang Conditional Ought, a Game Theoretical Perspective Xin Sun The Categorial Logic of Vacuous Components in Natural Language Chongli Zou, Kesheng Li, and Lu Zhang A Logic for Strategy Updates Can Başkent Efficient Action Extraction with Many-to-Many Relationship between Actions and Features Jianfeng Du, Yong Hu, Charles X. Ling, Ming Fan, and Mei Liu

9 Table of Contents XI Reflections on Vote Manipulation Jan van Eijck, Floor Sietsma, and Sunil Simon Playing Extensive Form Negotiation Games: A Tool-Based Analysis (Abstract) Sujata Ghosh, Sumit Sourabh, and Rineke Verbrugge The Dynamics of Peer Pressure Zhen Liang and Jeremy Seligman On Logic of Belief-Disagreement among Agents Tian-Qun Pan Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic Mehrnoosh Sadrzadeh, Alessandra Palmigiano, and Minghui Ma Bayesianism, Elimination Induction and Logical Reliability Renjie Yang and Min Tang A Logic of Questions for Rational Choice Zuojun Xiong and Jeremy Seligman Capturing Lewis s Elusive Knowledge Zhaoqing Xu Author Index

Lecture Notes in Artificial Intelligence 6517

Lecture Notes in Artificial Intelligence 6517 Edited by R. Goebel, J. Siekmann, and W. Wahlster Subseries of Lecture Notes in Computer Science FoLLI Publications on Logic, Language and Information Editors-in-Chief