Imperial College Computing Student Workshop
Total Page:16
File Type:pdf, Size:1020Kb
Andrew V. Jones (Ed.) Imperial College Computing Student Workshop Proceedings of ICCSW ‘11 September 29th–30th 2011, London UK Volume Editor Andrew V. Jones Verification of Autonomous Systems Group Department of Computing Imperial College London 180 Queen’s Gate, London, SW7 2AZ United Kingdom Email: [email protected] Published a technical report of the Department of Computing, Imperial College London. Technical Report Number: DTR11-9. Cite as: @proceedings{iccsw_2011, editor = {Andrew V. Jones}, title = {Imperial College Computing Student Workshop, 1st Student Workshop, ICCSW ‘11, London, UK, September 29-30, 2011. Proceedings}, booktitle = {ICCSW ‘11}, publisher = {Imperial College London}, series = {Department of Computing Technical Report}, volume = {DTR11-9}, year = {2011} } The copyright of the contents of this volume remains that of the original author(s). Preface This volume contains the proceedings of the inaugural Imperial College Student Workshop (ICCSW ‘11). The workshop took place on 29th–30th September 2011 in London UK. The event was hosted by Imperial College London. ICCSW ‘11 aimed to be a truly student-run workshop: all of the organisation was led by students and the majority of the submitting authors acted as reviewers for other papers. Both the quality and number of the submissions, as well as the high standard of reviews, exceeded the committee’s initial expectations. These proceedings contain 16 original contributions in various fields from across computer science, including both theoretical and applied papers. Both days of the workshop featured a keynote talk on a facet of computer science. The talks were titled: – Artificial Intelligence and Human Thinking, by Robert Kowalski (Imperial College London); and – Building and Operating Products at Google-scale, by Ollie Cook (Google Inc.) The workshop also featured two discussion panels. These panel sessions discussed various areas of computer science from a provocative angle, to allow for stimulating and spontaneous discourse on a given topic. The discussion panels focused on two areas: – The Future of Machine Learning, featuring Aldo Faisal (Imperial College London), Artur Garcez (City University London), Stephen Muggleton (Impe- rial College London), Daniel Roy (University of Cambridge) and Alessandra Russo (Imperial College London); and – Software Engineering in the Age of Multi-Scale Computing, featuring Ollie Cook (Google Inc.), Sam Dutton (Google Inc.), Andrew Eland (Google Inc.) and Juan Silveira (Google Inc.) ICCSW ‘11 proved to be an international event, attracting both submissions and attendees from the UK and the rest of Europe. The workshop was pleased to host over 80 participants from the following countries: Cyprus, France, Greece, Italy, the Netherlands, Romania and the United Kingdom. The organisation of ICCSW ‘11 would not have been possible without the resources and financial support provided by Imperial College London and Google Inc. The latter provided travel bursaries for students and committee members coming from institutions outside of London. Google Inc. also provided one of the keynote talks and members for one of the discussion panels. For this support we are truly grateful! September 2011 Andrew V. Jones London Conference Organisation Steering Committee Xiuyi Fan Department of Computing, Imperial College London Petr Hosek Department of Computing, Imperial College London Andrew V. Jones Department of Computing, Imperial College London Nicholas Ng Department of Computing, Imperial College London Sören Preibusch University of Cambridge Computer Laboratory Reuben Rowe Department of Computing, Imperial College London Malte Schwarzkopf University of Cambridge Computer Laboratory Pia-Ramona Wojtinnek Oxford University Computing Laboratory Advisory Committee Krysia Broda Department of Computing, Imperial College London Naranker Dulay Department of Computing, Imperial College London Sponsors Google Inc. Imperial College London Additional Reviewers Ekaterina Abramova Department of Computing, Imperial College London Konstantinos Barlas National Technical University of Athens Ping-Lin Chang Department of Computing, Imperial College London Leo De Penning TNO Behaviour and Societal Sciences Marco Diciolla University of Oxford Qinquan Gao Department of Computing, Imperial College London Marcel C. Guenther Department of Computing, Imperial College London Evgenios Hadjisoteriou University of Cyprus Bihan Jiang Department of Computing, Imperial College London Spyros Komninos National Technical University of Athens Katerina Ksystra National Technical University of Athens Bjoern Lellmann Department of Computing, Imperial College London Stefan Minica University of Amsterdam Alex Muscar Department of Computer Science, University of Craiova Filipa Peleja Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa v Alan Perotti Università degli Studi di Torino Luke Riley University of Liverpool Pedro Rodrigues Department of Computing, Imperial College London Mark Snaith University of Dundee Nikolaos Triantafyllou National Technical University of Athens Iryna Tsimashenka Department of Computing, Imperial College London Philip Weber University of Birmingham Table of Contents Keynote Talks Building and Operating Products at Google-scale ..................... 1 Ollie Cook Artificial Intelligence and Human Thinking ........................... 2 Robert Kowalski Accepted Papers Combining Markov Decision Processes with Linear Optimal Controllers .. 3 Ekaterina Abramova, Aldo Faisal and Daniel Kuhn Neural-Symbolic Cognitive Agents: Architecture and Theory ........... 10 Leo De Penning, Artur Garcez, Luis Lamb and John-Jules Meyer Time-Bounded Verification of CTMCs against MTL specifications ....... 17 Marco Diciolla MASSPA-Modeller: A Spatial Stochastic Process Algebra modelling tool . 24 Marcel C. Guenther and Jeremy T. Bradley Argumentation and Temporal Persistence ............................ 31 Evgenios Hadjisoteriou and Antonis Kakas Facial Action Recognition using sparse appearance descriptors and their pyramid representations ........................................... 39 Bihan Jiang, Michel Valstar and Maja Pantic A note on a dichotomy for the classes W[P](C) ....................... 46 Björn Lellmann Agent Oriented Programming: from Revolution to Evolution ........... 52 Alex Muscar Conditional Labelling for Abstract Argumentation .................... 59 Alan Perotti, Guido Boella, Dov Gabbay, Leon Van Der Torre and Serena Villata A Persuasive Dialogue Game for Coalition Formation .................. 66 Luke Riley Model-based Self-Adaptive Components: A preliminary approach ....... 73 Pedro Rodrigues and Emil Lupu vii Safe, Flexible Recursive Types for Featherweight Java ................. 80 Reuben Rowe Measuring minimal change in argument premise revision ............... 87 Mark Snaith and Chris Reed Applying Algebraic Specifications on Digital Right Management Systems 94 Nikolaos Triantafyllou, Katerina Ksystra, Petros Stefaneas and Panayi- otis Frangos Reduction of variability in split-merge systems ........................ 101 Iryna Tsimashenka and William Knottenbelt Real-Time Detection of Process Change using Process Mining .......... 108 Philip Weber, Behzad Bordbar and Peter Tino Author Index ................................................... 115 Building and Operating Products at Google-scale Ollie Cook Google Inc. Abstract. Building products for Google-scale presents some unique chal- lenges in the software development and operational spheres. Through exploring techniques relating to design, development, configuration, de- ployment and monitoring the talk will describe how Google delivers high availability products with low latency to millions of customers worldwide. Profile. Ollie Cook is a site reliability manager at Google, managing the oper- ational teams supporting Google Calendar and real-time communications. His teams focus on product and system availability, monitoring, capacity planning and deployment. Prior to joining Google in 2011, Ollie was the technology ser- vices manager at Betfair, an online gambling provider, specialising in low-latency trading systems, and deployment and configuration management of their global computing footprint. Andrew V. Jones (Ed.): Proceedings of the 1st Imperial College Student Workshop (ICCSW ‘11), pp. 1–1. September 29th–30th 2011, London UK. Artificial Intelligence and Human Thinking Robert Kowalski Imperial College London, Department of Computing, Exhibition Road, London SW7 2AZ, UK Abstract. Research in AI has built upon the tools and techniques of many different disciplines, including formal logic, probability theory, de- cision theory, management science, linguistics and philosophy. However, the application of these disciplines in AI has necessitated the development of many enhancements and extensions. Among the most powerful of these are the methods of computational logic. I will argue that computational logic, embedded in an agent cycle, com- bines and improves upon both traditional logic and classical decision theory. I will also argue that many of its methods can be used, not only in AI, but also in ordinary life, to help people improve their own human intelligence without the assistance of computers. Profile. Professor Robert Anthony Kowalski is a Senior Research Investigator and Emeritus Professor of Computational Logic at the Department of Computing of the Imperial College London. Professor Kowalski is recognised for his contributions to logic for knowledge representation and problem solving,