Temat: categorial grammar - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: A type-logical treebank for French
Autorzy:: Moot, R.
Powiązania:: https://bibliotekanauki.pl/articles/103845.pdf
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: type-logical grammar
categorial grammar
semi-automatic grammar extraction
Opis:: This paper describes the TLGbank, a treebank developed in the framework of (multimodal) type-logical grammar. Using the French Treebank as a starting point, a combination of automated and manual techniques are applied to obtain type-logical derivations (parses) corresponding to the phrases of the French Treebank. The TLGbank has been developped with applications to wide-coverage semantics in mind. This means that the TLGbank has richer structure than the original French Treebank, especially where it concerns semantically relevant information such as passives, coordination, extraction and gapping.
Źródło:: Journal of Language Modelling; 2015, 3, 1; 229-264
2299-856X
2299-8470
Pojawia się w:: Journal of Language Modelling
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Quantification in frame semantics with binders and nominals of hybrid logic
Autorzy:: Kallmeyer, L.
Osswald, R.
Pogodalla, S.
Powiązania:: https://bibliotekanauki.pl/articles/103893.pdf
Data publikacji:: 2017
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: frame semantics
quantification
hybrid logic
Abstract Categorial Grammar
Opis:: This paper aims to integrate logical operators into frame-based semantics. Frames are semantic graphs that allow lexical meaning to be captured in a fine-grained way but that do not come with a natural way to integrate logical operators such as quantifiers. The approach we propose stems from the observation that modal logic is a powerful tool for describing relational structures, including frames. We use its hybrid logic extension in order to incorporate quantification and thereby allow for inference and reasoning. We integrate our approach into a type theoretic compositional semantics, formulated within Abstract Categorial Grammars. We also show how the key ingredients of hybrid logic, nominals and binders, can be used to model semantic coercion, such as the one induced by the begin predicate. In order to illustrate the effectiveness of the proposed syntax-semantics interface, all the examples can be run and tested with the Abstract Categorial Grammar development toolkit.
Źródło:: Journal of Language Modelling; 2017, 5, 2; 357-383
2299-856X
2299-8470
Pojawia się w:: Journal of Language Modelling
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 3.

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ł

Zmień widok

na półce

Skocz do pozycji: 4.

Tytuł:: A logical approach to grammar description
Autorzy:: Clément, L.
Kirman, J.
Salvati, S.
Powiązania:: https://bibliotekanauki.pl/articles/103895.pdf
Data publikacji:: 2015
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:: grammar description
logic
Finite State Automata
logical transduction
lambda calculus
Abstract Categorial Grammars
Opis:: In the tradition of Model Theoretic Syntax, we propose a logical approach to the description of grammars. We combine in one formalism several tools that are used throughout computer science for their power of abstraction: logic and lambda calculus. We propose then a high-level formalism for describing mildly context sensitive grammars and their semantic interpretation. As we rely on the correspondence between logic and finite state automata, our method combines conciseness with effectivity. We illustrate our approach with a simple linguistic model of several interleaved linguistic phenomena involving extraction. The level of abstraction provided by logic and lambda calculus allows us not only to use this linguistic model for several languages, namely English, German, and Dutch, but also for semantic interpretation.
Źródło:: Journal of Language Modelling; 2015, 3, 1; 87-143
2299-856X
2299-8470
Pojawia się w:: Journal of Language Modelling
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "categorial grammar" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język