AISB Seminar/Webinar
Alan Bundy
The History of the DReaM Group
8 March 2021
5pm
In this first installation of the new AISB Seminar series, we welcome Prof Alan Bundy, AISB Fellow and recent awardee of the EurAI Distinguished Service Award.
Abstract: I describe the history of the DReaM Group (Discovery and Reasoning in Mathematics), which I created after my arrival at the University of Edinburgh in 1971. The group has been characterised by its diversity of approaches to the representation of and reasoning with knowledge, including: deduction; meta-level reasoning; learning, especially of new reasoning methods; representation creation and change; as well as applications to problems as diverse as formal verification, analogical blending and computational creativity.
View the recording at https://aisb.org.uk/aisb-events/.