We Need Algorithms That Can Make Explicit What Is Implicit
In this dialogue, Bernardo Cuenca Grau, a computer scientist at the Department of Computer Science, University of Oxford, begins by explaining his research in technology based on ontologies and knowledge representation, somewhere between mathematics, philosophy, and computer science. He goes on to argue why we need to represent knowledge in a way that it can be processed by a computer and therefore enable automated reasoning of this knowledge using artificial intelligence. Later he explains how his investigation probes the limits of mathematics to find the most appropriate languages for developing practical applications. For example, the large-scale processing of structured information linked to comprehensive health systems. Bernardo is supportive of collective tools such as Wikipedia. He also discusses why in his opinion the success of a scientific or technological idea depends very much on luck, and why the semantic web has not been defined. Furthermore, he argues why bureaucracy confuses process with progress.