Reformation: a generic algorithm for repairing faulty representations.

Add to your list(s) Download to your calendar using vCal

• Prof. Alan Bundy, School of Informatics, University of Edinburgh
• Monday 09 January 2017, 11:00-12:00
• Computer Science, The Sloman Lounge (UG).

If you have a question about this talk, please contact Lars Kunze.

Departmental Seminar

Speaker: Prof. Alan Bundy, School of Informatics, University of Edinburgh

Speaker’s homepage: https://sweb.inf.ed.ac.uk/bundy/

Host: Prof. Aaron Sloman

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.

ABOUT THE SPEAKER

Alan Bundy is an internationally recognized research leader in automated reasoning. He is Professor of Automated Reasoning, University of Edinburgh. 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 the Royal Society, the Royal Academy of Engineering and the Association for Computing Machinery. He was awarded the IJCAI Research Excellence Award (2007), the CADE Herbrand Award (2007) and a CBE (2012). He was Edinburgh’s Head of Informatics (1998-2001) and a member of: the Hewlett-Packard Research Board (1989-91); both the 2001 and 2008 Computer Science RAE panels (1999-2001, 2005-2008). He was the founding Convener of UKCRC (2000-2005) and a Vice President of the BCS (2010-12).

This talk is part of the Artificial Intelligence and Natural Computation seminars series.

This talk is included in these lists:

• Artificial Intelligence and Natural Computation seminars
• Computer Science Departmental Series
• Computer Science Distinguished Seminars
• Computer Science, The Sloman Lounge (UG)
• computer sience

Note that ex-directory lists are not shown.