Colloquium Faculty of Computer Science. Ulrich Furbach: From Theorem Proving to Cognitive Reasoning
Faculty of Computer Science, HSE
Speaker: Ulrich Furbach, University of Koblenz and wizAI GmbH
Title: “From Theorem Proving to Cognitive Reasoning”
Abstract: Starting from a depiction of the state of the art in predicate logic theorem proving, we address problems that occur if provers are applied in the wild. In particular, we discuss how automated reasoning systems can be used for natural language question answering. Our approach to tackle common-sense reasoning benchmarks within the Corg project is presented, and we demonstrate how word embeddings can help with the problem of axiom selection.
September 10, 16.40–18.00
Pokrovsky boulevard, 11, room R503