Till startsida
University of Gothenburg
To content Read more about how we use cookies on gu.se

Lasha Abzianidze "Natural theorem proving for natural language: theory and application"

Research profile seminar

Lasha Abzianidze "Natural theorem proving for natural language: theory and application"

If we assume Montague's belief that there is ¿no important theoretical difference between natural languages and the artificial languages of logicians¿, then there should exist a proof system for natural languages too, like it is for various logics. But is such a natural proof system sensible? In my talk, I will present a version of a natural proof system that is specially designed to account for natural language inference (NLI) in a systematic way. The proof system, called the Natural Tableau, is based on a semantic tableau method and operates on terms of higher-order logic, which represent a more natural way of modelling linguistic semantics. A Natural Tableau-based theorem prover is able to model both shallow and logical reasoning, demonstrated on standard NLI benchmarks. The prover can also tackle the problem of knowledge sparsity with supervised knowledge induction.

Lecturer: Lasha Abzianidze

Date: 2/12/2020

Time: 1:15 PM - 3:00 PM

Categories: Linguistics

Organizer: CLASP

Location: Department of Philosophy, Linguistics and Theory of Science
C562, Renströmsgatan 6

Contact person: Stergios Chatzikyriakidis


To the calendar

Page Manager: Stergios Chatzikyriakidis|Last update: 5/23/2016

The University of Gothenburg uses cookies to provide you with the best possible user experience. By continuing on this website, you approve of our use of cookies.  What are cookies?