Machine Learning Blog

Monthly Archives: October 2016

Seminar by Prof Alan Bundy, CBE, FRS (26th Oct, 2016)

News, Seminar.

Research Centre for Machine Learning Seminar

Prof Alan Bundy, CBE, FRS, University of Edinburgh

Date & Time: Wed, 26 Oct 2016, 12:00noon

Venue: AG21 (College Building)

TITLE: Reformation: a generic algorithm for repairing faulty representations.

ABSTRACT: Autonomous agents require representations of their environment to interpret sensory data, make plans to achieve their goals and solve other problems. Good representations are key to effective problem solving. Historically, they have been manually constructed and tuned to suit a particular task and environment. As we aspire to build persistent, autonomous agents in changing environments interacting with changing populations of other agents and changing tasks, then these agents’ representations must also evolve automatically. Such evolution will not just be to change beliefs within a fixed language, but the language itself must also sometimes change, i.e., old concepts will be replaced with new. Faults in representations are often detected by failures of inference, e.g., inconsistency and incompleteness. The reformation algorithm generalises our previous work on domain-specific representational repair to provide a generic mechanism with a potentially wide application. I will describe reformation and illustrate it on a variety of examples.

Speaker Bio: Alan Bundy is Professor of Automated Reasoning in the School of Informatics at the University of Edinburgh.  His research interests include: the automation of mathematical reasoning, with applications to reasoning about the correctness of computer software and hardware; and the automatic construction, analysis and evolution of representations of knowledge. His research combines artificial intelligence with theoretical computer science and applies this to practical problems in the development and maintenance of computing systems.  He is the author of over 290 publications and has held over 60 research grants. He is a fellow of several academic societies, including the Royal Society, the Royal Society of Edinburgh, the Royal Academy of Engineers and the Association for Computing Machinery. His awards include the IJCAI Research Excellence Award (2007), the CADE Herbrand Award (2007) and a CBE (2012). He was: Edinburgh’s founding Head of Informatics (1998-2001); founding Convener of UKCRC (2000-05); and a Vice President and Trustee of the British Computer Society with special responsibility for the Academy of Computing (2010-12). He was also a member of: the Hewlett-Packard Research Board (1989-91); the ITEC Foresight Panel (1994-96); both the 2001 and 2008 Computer Science RAE panels (1999-2001, 2005-8); and the Scottish Science Advisory Council (2008-12).

Find us

City, University of London

Northampton Square

London EC1V 0HB

United Kingdom

Back to top

City, University of London is an independent member institution of the University of London. Established by Royal Charter in 1836, the University of London consists of 18 independent member institutions with outstanding global reputations and several prestigious central academic bodies and activities.