Can Computers Change their Minds?
- Speaker: Professor Alan Bundy (University of Edinburgh)
- Host: Ross King
- 15th October 2014 at 14:00 in Kilburn L.T. 1.4
Successful reasoning is dependent on appropriate representation of both knowledge and of successful methods of reasoning. Failures of reasoning can suggest changes of representation. Reasoning failures can, for instance, take the form of proofs of false conjectures, failures to prove true conjectures or inefficient inference. I will illustrate these interactions by drawing on work multi-agent planning and the evolution of theories of physics.