Limits of automated reasoning
- Wits University
Clint van Alten discusses the effectiveness of algorithms and computers in performing logical inference.
Professor Clint van Alten from the School of Computer Science in the Faculty of Science, delivered his inaugural lecture titled: Logic, Inference and Computation on Tuesday, 24 June 2014.
He discussed the effectiveness of algorithms and computers in performing logical inference, and what the limits of such automated reasoning methods are. He also addressed the role of logic in machine learning, and the challenges involved in making inferences in real world applications where information is uncertain or incomplete.
Listen to his lecture: