Temat: natural language semantics

Skocz do pozycji: 1.

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
Tematy:: Latin language
syntax
minimalist
natural language semantics
textual criticism
Cicero
Marcus Tullius; Pokaż więcej
Wydawca:: Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Powiązania:: https://bibliotekanauki.pl/articles/620689.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 2.

Tytuł:: Interfejs w języku naturalnym do sterowania wirtualnym środowiskiem
A natural language interface for manipulating virtual environments
Autorzy:: Ziarkowski, Maciej
Opis:: A virtual environment simulation system is presented, together with a naturallanguage interface for controlling a robot (virtual agent) which inhabits thesimulated world and is capable of modifying its surroundings. The projectis created using the Python programming language. The Panda3D gameengine framework is used to create the virtual environment, while the NaturalLanguage Toolkit library is used for creating the natural language interface.
Praca prezentuje wirtualne środowisko wzbogacone o interfejs w języku naturalnym, służący do sterowania robotem (wirtualnym agentem), który znajduje się w świecie symulacji i może wykonywać operacje na swoim otoczeniu. Projekt został stworzony przy użyciu języka programowania Python. Silnik Panda3D został wykorzystany do stworzenia wirtualnego środowiska, zaś biblioteka NLTK (Natural Language Toolkit) została użyta do stworzenia interfejsu w języku naturalnym.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Skocz do pozycji: 3.

Tytuł:: Implementing Natural Language Inference for comparatives
Autorzy:: Haruta, Izumi
Mineshima, Koji
Bekki, Daisuke
Tematy:: comparatives
compositional semantics
theorem proving
Combinatory Categorial Grammar
Natural Language Inference; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Powiązania:: https://bibliotekanauki.pl/articles/24201228.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 4.

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
Tematy:: Smart Cities
ontologies
semantics
Ontology Driven Architecture
Design Patterns
Controlled Natural Language; Pokaż więcej
Wydawca:: Politechnika Gdańska
Powiązania:: https://bibliotekanauki.pl/articles/1827566.pdf Link otwiera się w nowym oknie
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ń.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 5.

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.
Tematy:: lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference; Pokaż więcej
Wydawca:: Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Powiązania:: https://bibliotekanauki.pl/articles/103833.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 6.

Tytuł:: Visual probing : cognitive framework for explaining self-supervised image representations
Autorzy:: Oleszkiewicz, Witold
Trzciński, Tomasz
Zieliński, Bartosz
Sieradzki, Igor
Rychalska, Barbara
Basaj, Dominika
Lewandowska, Koryna
Górszczak, Michał
Opis:: Recently introduced self-supervised methods for image representation learning provide on par or superior results to their fully supervised competitors, yet the corresponding efforts to explain the self-supervised approaches lag behind. Motivated by this observation, we introduce a novel visual probing framework for explaining the self-supervised models by leveraging probing tasks employed previously in natural language processing. The probing tasks require knowledge about semantic relationships between image parts. Hence, we propose a systematic approach to obtain analogs of natural language in vision, such as visual words, context, and taxonomy. Our proposal is grounded in Marr’s computational theory of vision and concerns features like textures, shapes, and lines. We show the effectiveness and applicability of those analogs in the context of explaining self-supervised representations. Our key findings emphasize that relations between language and vision can serve as an effective yet intuitive tool for discovering how machine learning models work, independently of data modality. Our work opens a plethora of research pathways towards more explainable and transparent AI.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Artykuł

na półce

Skocz do pozycji: 7.

Tytuł:: Proof of equivalence of semantic methods for a selected domain-specific language
Autorzy:: Steingartner, William
Novitzka, Valerie
Schreiner, Wolfgang
Tematy:: denotational semantics
domain-specific language
language design
natural semantics
proof of equivalence
semantic function
structural induction
semantyka denotacyjna
język specyficzny dla domeny
projektowanie języka
semantyka naturalna
dowód równoważności
funkcja semantyczna
iniekcja strukturalna; Pokaż więcej
Wydawca:: Politechnika Częstochowska. Wydawnictwo Politechniki Częstochowskiej
Powiązania:: https://bibliotekanauki.pl/articles/58907599.pdf Link otwiera się w nowym oknie
Opis:: This paper focuses on the formal semantics of programming languages, with a specific focus on Domain-Specific Languages (DSLs). It introduces the Robot DSL, characterized by total semantic functions, an infinite network size, and an obstacle-free environment. The study explores denotational and natural semantics, aiming to define and prove their equivalence. This work contributes to the understanding of programming languages with unique features, laying the groundwork for future developments in language design and formal semantics.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 8.

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
Tematy:: meaning in the natural language
lexicology
semantics
historical semantic changes
znaczenie w języku naturalnym
leksykologia
semantyka
historyczne zmiany znaczeniowe; Pokaż więcej
Wydawca:: Wydawnictwo Uniwersytetu Śląskiego
Powiązania:: https://bibliotekanauki.pl/articles/468374.pdf Link otwiera się w nowym oknie
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.
Dostawca treści:: Biblioteka Nauki

Artykuł

na półce

Skocz do pozycji: 9.

Tytuł:: LingVaria
Współwytwórcy:: Czelakowska, Anna
Tutak, Kinga
Opis:: "LingVaria" są półrocznikiem wydawanym od 2006 r. przez Wydział Polonistyki Uniwersytetu Jagiellońskiego i publikującym artykuły z zakresu językoznawstwa, głównie polonistycznego, ale też z zakresu językoznawstwa ogólnego i slawistycznego. Odbiorcami są językoznawcy, a także doktoranci i studenci o zainteresowaniach lingwistycznych. Założycielem i pierwszym redaktorem naczelnym "LingVariów" jest prof. dr hab. Mirosław Skarżyński. Wersją podstawową (referencyjną) czasopisma jest wersja elektroniczna. Na łamach "LingVariów" są publikowane artykuły naukowe z dziedziny językoznawstwa, zwłaszcza slawistycznego. Szczególna uwaga jest poświęcana zagadnieniom językoznawstwa ogólnego, semantyki, leksykografii, etymologii, językoznawstwa synchronicznego i diachronicznego, dialektologii oraz socjolingwistyki, etnolingwistyki, onomastyki, pragmatyki, analizy dyskursu, a także historii językoznawstwa. Czasopismo przyjmuje oryginalne artykuły naukowe, polemiki oraz edycje źródeł pisane w języku polskim oraz tzw. językach kongresowych.
"LingVaria" is published since 2006 by the Faculty of the Polish Studies of the Jagiellonian University (2 issues per annum) and dedicated to linguists. The texts presented in this periodical concern mainly the studies on the modern Polish language, the history of the Polish language, its dialects, and from the sphere of social linguistics, teaching Polish as a foreign language, etymology and the history of linguistics. Additionally, the periodical presents essays on the subject of general and Slavic language studies. "LingVaria" publishes articles presenting a critical approach to a wide range of themes related to linguistics, especially Slavic. It focuses on general linguistics, semantics, lexicography, etymology, modern and historical Slavic linguistics, Slavic dialectology, sociolinguistics, ethnolinguistics, onomastics, pragmatics, discourse analysis and history of linguistics. The journal accepts original research-based articles, polemics and editions of selected sources written in different languages including Polish, English, German and Russian. The submission and publication in the journals are free of charge.
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Czasopismo

na półce

Informacja

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