Skip to main content

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

Popular posts from this blog

The Art of Logic - Eugenia Cheng ***

This is an important book, though I'm not sure Eugenia Cheng would agree with my logic in saying so. 

Going on the marketing, what we have here is a counter to fake news and dodgy argumentation in the form of mathematical logic. The back cover tells us 'Newspaper headlines and social media use emotions to warp the facts. Politicians and companies master rhetoric to mislead us. What one book could help us make sense of it all?' Admittedly they don't answer their rhetorical question, but I assume the answer is intended to be The Art of Logic. (Did the company behind this book realise it was using rhetoric, though presumably not to mislead us?) 

What we actually have is a combination of a lucid and interesting explanation of the basics of logic with the mathematical equivalent of those books such as Algorithms to Live By that were so popular a couple of years ago. They used the logic of algorithms (differently worded, and, to me, easier to understand), the heart of computer…

Quantum Economics - David Orrell ****

David Orrell's earlier title Economyths is one of my favourite popular science books of all time. Or, perhaps, I should say popular non-science, as Orrell shows just how devastatingly traditional economics uses the tools of science without having a scientific basis. I was, therefore, really looking forward to reading Orrell's new book - until I saw the title. As anyone involved with physics can tell you, there's nothing more irritating than the business of sticking the word 'quantum' onto something to give a pseudo-scientific boost to waffle and woo. Was Orrell doing the same thing? Thankfully, his introduction put my fears aside.

Orrell, a mathematician with a physics background quickly makes it clear that the way he is using quantum theory is not just employing magic words, but involves making use of strong parallels between the nature of quantum objects and concepts like money (more on money in a moment). Yes, this is to some extent a metaphorical use of quantum …

The Ashtray - Errol Morris *****

Wow. When someone suggested I read a book called The Ashtray, written by a documentary film-maker, it didn't strike me that it would be a book that gave deep insights into the history and philosophy of science - while also being a remarkable reading experience. In fact, I almost didn't bother with it, but I'm glad that I did.

The titular ashtray was thrown at the author when he was a grad student - thrown by one of the two best known names in the philosophy of science, Thomas Kuhn, he of The Structure of Scientific Revolutions and the concept of paradigm shifts. Kuhn didn't like the young Errol Morris daring to challenge his ideas and reacted with what some would regard as a less than philosophical reply by hurling a heavy glass ashtray at him.

Part of the reason that reading The Ashtray is a remarkable experience is because it's a book that feels in some ways like watching a documentary. I have to confess I've never seen any of Morris's work, but he uses vis…