Four Way Interview - Hector Levesque

Hector Levesque is Professor Emeritus in the Department of Computer Science at the University of Toronto. He worked in the area of knowledge representation and reasoning in artificial intelligence. He is the co-author of a graduate textbook and co-founder of a conference in this area. He received the Computers and Thought Award in 1985 near the start of his career, and the Research Excellence Award in 2013 near the end, both from IJCAI (the International Joint Conferences on Artificial Intelligence). His latest title is Common Sense, The Turing Test, and the Quest for Real AI.

Why computer science?

Computer science is not really the science of computers, but the science of computation, a certain kind of information processing, with only a marginal connection to electronics. (I prefer the term used in French and other languages, informatics, but it never really caught on in North America.) Information is somewhat like gravity: once you are made aware of it, you realize that it is everywhere. You certainly cannot have a Theory of Everything without a clear understanding of the role of information.

Why this book?

AI is the part of computer science concerned with the use of information in the sort of intelligent behaviour exhibited by people. While there is an incredible amount of buzz (and money) surrounding AI technology these days, it is mostly concerned with what can be learned by training on massive amounts of data. My book makes the case that this is an overly narrow view of intelligence, that what people are able to do, and what early AI researchers first proposed to study, goes well beyond this.

What's next?

I have a technical monograph with Gerhard Lakemeyer published in 2000 by MIT Press on the logic of knowledge bases, that is, on the relationship between large-scale symbolic representations and abstract states of knowledge. We are working on a new edition that would incorporate some of what we have learned about knowledge and knowledge bases since then.

What's exciting you at the moment?

For me, the most exciting work in AI these days, at least in the theoretical part of AI, concerns the general mathematical and computational integration of logical and probabilistic reasoning seen, for example, in the work of Vaishak Belle. It's pretty clear to all but diehards that both types of knowledge will be needed, but previous solutions have been somewhat ad hoc and required giving up something out of one or the other.

Comments

Rakhat-Bi Abdyssagin Five Way Interview

Rakhat-Bi Abdyssagin (born in 1999) is a distinguished composer, concert pianist, music theorist and researcher. Three of his piano CDs have been released in Germany. He started his undergraduate degree at the age of 13 in Kazakhstan, and having completed three musical doctorates in prominent Italian music institutions at the age of 20, he has mastered advanced composition techniques. In 2024 he completed a PhD in music at the University of St Andrews / Royal Conservatoire of Scotland (researching timbre-texture co-ordinate in avant- garde music), and was awarded The Silver Medal of The Worshipful Company of Musicians, London. He has held visiting affiliations at the Universities of Oxford, Cambridge and UCL, and has been lecturing and giving talks internationally since the age of 13. His latest book is Quantum Mechanics and Avant Garde Music . What links quantum physics and avant-garde music? The entire book is devoted to this question. To put it briefly, there are many different link...

Should we question science?

I was surprised recently by something Simon Singh put on X about Sabine Hossenfelder. I have huge admiration for Simon, but I also have a lot of respect for Sabine. She has written two excellent books and has been helpful to me with a number of physics queries - she also had a really interesting blog, and has now become particularly successful with her science videos. This is where I'm afraid she lost me as audience, as I find video a very unsatisfactory medium to take in information - but I know it has mass appeal. This meant I was concerned by Simon's tweet (or whatever we are supposed to call posts on X) saying 'The Problem With Sabine Hossenfelder: if you are a fan of SH... then this is worth watching.' He was referencing a video from 'Professor Dave Explains' - I'm not familiar with Professor Dave (aka Dave Farina, who apparently isn't a professor, which is perhaps a bit unfortunate for someone calling out fakes), but his videos are popular and he...

Everything is Predictable - Tom Chivers *****

There's a stereotype of computer users: Mac users are creative and cool, while PC users are businesslike and unimaginative. Less well-known is that the world of statistics has an equivalent division. Bayesians are the Mac users of the stats world, where frequentists are the PC people. This book sets out to show why Bayesians are not just cool, but also mostly right. Tom Chivers does an excellent job of giving us some historical background, then dives into two key aspects of the use of statistics. These are in science, where the standard approach is frequentist and Bayes only creeps into a few specific applications, such as the accuracy of medical tests, and in decision theory where Bayes is dominant. If this all sounds very dry and unexciting, it's quite the reverse. I admit, I love probability and statistics, and I am something of a closet Bayesian*), but Chivers' light and entertaining style means that what could have been the mathematical equivalent of debating angels on...

Search This Blog