Informacja

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

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

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

  Lista filtrów
Wyrównaj
    Wyświetlanie 1-5 z 5
    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ł
    Tytuł:
    Ontologia języka wzorców projektowych dla systemów Smart Cities
    Ontology of the design pattern language for Smart Cities systems
    Autorzy:
    Orłowski, Cezary
    Sitek, Tomasz
    Ziółkowski, Artur
    Kapłański, Paweł
    Orłowski, Aleksander
    Pokrzywnicki, Witold
    Powiązania:
    https://bibliotekanauki.pl/articles/1827566.pdf
    Data publikacji:
    2015
    Wydawca:
    Politechnika Gdańska
    Tematy:
    Smart Cities
    ontologies
    semantics
    Ontology Driven Architecture
    Design Patterns
    Controlled Natural Language
    Opis:
    The paper presents the definition of the design pattern language of Smart Cities in the form of an ontology. Since the implementation of a Smart City system is difficult, expensive and closely linked with the problems concerning a given city, the knowledge acquired during a single implementation is extremely valuable. The language we defined supports the management of such knowledge as it allows for the expression of a solution which, based on best practices recorded in the form of design patterns, is also tailored to the requirements of the city seeking to implement the Smart City solution. The formal/ontological structure of the language in turn allows the automatic management of the properties of a solution recorded in this way. This final feature of the introduced language is extremely important in the decision-making process regarding the choice of a particular solution by the relevant authorities. The work is divided into five main parts. In the first part we discuss the implementation issue of the integration bus using the example of the IOC. In the next part we talk about the validity of using semantic technologies in order to expand the spectrum of potential implementations. Then we discuss the ontological implementation of the Smart City pattern language which we created, a language which allows for both the saving of requirements and the validation of solutions specified in it. We also present an example of usage, which at the same time serves as a validation of the language in real-life conditions. In the last part we discuss certain aspects of the pattern language and the possible ways to develop research related to it..
    W artykule przedstawiono definicję języka wzorów projektowych Smart Cities w postaci ontologii. Jako, że wdrażanie rozwiązania Smart City jest trudne, drogie i ściśle związane z problematyką dotyczącą danego miasta, wiedza nabywana podczas pojedynczego wdrożenia jest wiedzą niezwykle cenną. Zdefiniowany przez nas język wspiera zarządzanie ww. wiedzą, jako że pozwala na ekspresję rozwiązania, które bazując na najlepszych praktykach zapisanych w postaci wzorców projektowych, jest jednocześnie dostosowane do wymagań miasta dążącego do wdrożenia rozwiązania Smart City. Formalna/ontologiczna struktura tego języka pozwala z kolei na automatyczne dowodzenie właściwości zapisanego tak rozwiązania. Ta ostatnia właściwość wprowadzonego języka jest niezwykle istotna w procesie podejmowania decyzji o wyborze danego rozwiązania przez odpowiednie władze. Praca została podzielona na pięć głównych części. W części pierwszej omawiamy problematykę wdrażania szyny integracyjnej na przykładzie IOC. W kolejnej części mówimy o zasadności zastosowania technologii semantycznych w celu rozszerzenia spektrum potencjalnych wdrożeń. Dalej mówimy o stworzonej przez nas, ontologicznej implementacji języka wzorców Smart-City – języka, który pozwala zapisywać zarówno wymagania, jak i walidować rozwiązania w nim specyfikowane. Przedstawiamy również przykładowe użycie, które służy nam jednocześnie jako walidacja języka w warunkach rzeczywistych. W ostatniej części dyskutujemy pewne aspekty języka wzorców i możliwe drogi rozwoju związanych z nim badań.
    Źródło:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka; 2015, 2-3, 13; 83-110
    2084-6495
    Pojawia się w:
    Przedsiębiorstwo we współczesnej gospodarce - teoria i praktyka
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    On the Symbiotic and Orwellian Changes of Meaning Remarks on the Theory of Research on Historical Semantic Changes
    O tzw. symbiotycznych i orwellowskich zmianach znaczeniowych (Z teorii badań nad historyczną zmiennością wyrazów)
    Autorzy:
    Sławkowa, Ewa
    Powiązania:
    https://bibliotekanauki.pl/articles/468374.pdf
    Data publikacji:
    2014
    Wydawca:
    Wydawnictwo Uniwersytetu Śląskiego
    Tematy:
    meaning in the natural language
    lexicology
    semantics
    historical semantic changes
    znaczenie w języku naturalnym
    leksykologia
    semantyka
    historyczne zmiany znaczeniowe
    Opis:
    Autorka rozważa zagadnienie zmian znaczeniowych wyrazów – klasyczny problem historycznej semantyki leksykalnej – z punku widzenia językoznawstwa postrukturalistycznego. W tym celu przedstawia zarys koncepcji Geoffreya Hughesa, w świetle której powstawanie i modyfikacja znaczeń wyrazów następuje w wyniku działania czynników zewnętrznych, w tym zwłaszcza czynnika społecznego: wielkich procesów cywilizacyjnych (wynalazek druku, rozwój kapitalizmu) i kulturowych (reformacja i kontrreformacja, rewolucja francuska i rosyjska, rozwój ideologii komunistycznej, narodziny faszyzmu). Artykuł omawia także typologię zmian semantycznych Hughesa: 1) zmiany „symbiotyczne”; 2) zmiany „zapośredniczone”, 3) zmiany orwellowskie – ilustrując poszczególne typy zmian przykładami z języka polskiego.
    Źródło:
    Forum Lingwistyczne; 2014, 1; 91-98
    2449-9587
    2450-2758
    Pojawia się w:
    Forum Lingwistyczne
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
    Tytuł:
    The Unbearable Lightness of Being a Copula in Latin: on a Textual Problem in Ciceros Oration<i>in Defence of Publius Sestius</i>
    Autorzy:
    Jakielaszek, Jarosław
    Powiązania:
    https://bibliotekanauki.pl/articles/620689.pdf
    Data publikacji:
    2007-01-01
    Wydawca:
    Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
    Tematy:
    Latin language
    syntax
    minimalist
    natural language semantics
    textual criticism
    Cicero
    Marcus Tullius
    Opis:
    A textual problem from Cicero's oration In defence of Publius Sestius is discussed in order to determine syntactic and semantic consequences of editorial choices. The discussion involves semantic and syntactic properties of Latin past participles within a minimalist setting. A detailed investigation of the passage indicates that a textual variant not accepted by most editors is to be preferred.
    Źródło:
    Research in Language; 2007, 5; 81-107
    1731-7533
    Pojawia się w:
    Research in Language
    Dostawca treści:
    Biblioteka Nauki
    Artykuł
      Wyświetlanie 1-5 z 5

      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