TU Wien Informatics

Knowledge Processing, Logic, and the Future of AI

  • By Claudia Vitt (edt.)
  • 2021-01-14
  • News
  • Logic and Algorithms
  • VCLA

Georg Gottlob will give the first Vienna Logic Day Lecture on the occasion of the World Logic Day 2021.

Knowledge Processing, Logic, and the Future of AI
Picture: Nadja Meister / VCLA

  • This event takes place online.
    See description for details.

In the city of Kurt Gödel, Ludwig Wittgenstein, and the Vienna Circle, mathematical logic and its application to the sciences has a long and rich tradition. 

The Vienna Center for Logic and Algorithms is hosted by our six research units Algorithms and Complexity, Databases and Artificial Intelligence, Knowledge-Based Systems, Formal Methods in Systems Engineering, Theory and Logic, and Security and Privacy.

It will be celebrating the World Logic Day 2021 on a digital hub featuring the first Vienna Logic Day Lecture with Georg Gottlob from our research unit Databases and Artificial Intelligence on the future of logic in connection with Artificial intelligence: 

Knowledge Processing, Logic, and the Future of AI

Georg Gottlob (TU Wien Informatics, University of Oxford) 


Nowadays, when people speak about AI, they usually mean machine learning. Machine learning, in particular, deep learning, is a powerful method for generating a type of knowledge that could be classified as self-learned knowledge. We humans, on the other hand, make heavy use of two types of knowledge: (i) self-learned knowledge and (ii) transferable knowledge learned or generated by others.

If you read this and/or attend the talk, this is mainly because of this second type of knowledge. In this talk, Georg Gottlob will argue that the combination of both types of knowledge is needed for more powerful and fair automated decision making or decision support, and thus for the next level of AI. He will discuss various requirements for reasoning formalisms towards this purpose. 

After discussing logical languages for knowledge representation and reasoning, he will briefly introduce the VADALOG system developed at Oxford and give an outlook on his recent project RAISON DATA funded by the Royal Society. 


A link to the lecture on Zoom will be provided here. You can watch the talk on the VCLA YouTube channel.