Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "natural language inference" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Implementing Natural Language Inference for comparatives
Autorzy:
Haruta, Izumi
Mineshima, Koji
Bekki, Daisuke
Powiązania:
https://bibliotekanauki.pl/articles/24201228.pdf
Data publikacji:
2022
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
comparatives
compositional semantics
theorem proving
Combinatory Categorial Grammar
Natural Language Inference
Opis:
This paper presents a computational framework for Natural Language Inference (NLI) using logic-based semantic representations and theorem-proving. We focus on logical inferences with comparatives and other related constructions in English, which are known for their structural complexity and difficulty in performing efficient reasoning. Using the so-called A-not-A analysis of comparatives, we implement a fully automated system to map various comparative constructions to semantic representations in typed first-order logic via Combinatory Categorial Grammar parsers and to prove entailment relations via a theorem prover. We evaluate the system on a variety of NLI benchmarks that contain challenging inferences, in comparison with other recent logic-based systems and neural NLI models.
Źródło:
Journal of Language Modelling; 2022, 10, 1; 139--191
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:
Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Powiązania:
https://bibliotekanauki.pl/articles/103833.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference
Opis:
In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.
Źródło:
Journal of Language Modelling; 2017, 5, 2; 229-272
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies