Colloquium of HSE's FCS and the Workshop MMIT//Speaker: Ulrich Furbach (University of Koblenz and wizAI GmbH)
You are gladly invited for the next meeting of Colloquium of HSE's Faculty of Computer Science and the Workshop Mathematical Models of Information Technologies on Tuesday, September, the 10th.
Speaker: Ulrich Furbach, University of Koblenz and wizAI GmbH
Title: “From Theorem Proving to Cognitive Reasoning”
Venue: Pokrovsky boulevard, 11, room R503
Time: from 16:40 till 18:00
Abstract: Starting from a depiction of the state of the art in predicate logic theorem proving we address problems which 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 take common sense reasoning benchmarks within the Corg project (http://corg.hs-harz.de) is presented and we demonstrate how word embeddings can help with the problem of axiom selection.
Registration.