PL
 |
EN
Ten serwis zostanie wyłączony 2025-02-11.
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl
Preferencje help
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Znaleziono wyników: 10

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
Wyszukiwano:
w słowach kluczowych:  compositionality
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Interacting Workflow Nets for Workflow Process Re-Engineering
100%
Lomazova I. A.
|
|
tom Vol. 101, nr 1/2
59-70
EN
In this work we consider modeling of workflow systems with Petri nets. To increase flexibility and give tools for workflow models re-engineering we extend the formalism of workflow nets by considering systems of interacting nets. Then we study soundness – the main correctness property of workflow processes – and show, that for a special class of structured workflow system soundness can be proved in compositional way.
2
Content available remote Behaviour Abstraction for Communicating Sequential Processes
100%
Koutny M. , Pappalardo G.
|
2001
|
tom Vol. 48, nr 1
21-54
EN
We investigate the notion that a system is an acceptable implementation of another base or target system, in the case that the two systems (or processes) have different interfaces. For instance, the base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while the implementations model their actual realisations, operating in an error-prone environment and possibly employing a variety of fault-tolerant techniques. Using the CSP model, we relate implementations and base systems in terms of their observable behaviours. We obtain two fundamental results, viz. realisability and compositionality. The former ensures that implementations may be put to good use, while the latter guarantees that a target composed of several connected subsystems may be implemented by connecting their respective implementations.
3
Content available A dependency-based approach to word contextualization using compositional distributional semantics
100%
Gamallo P.
|
|
tom Vol. 7, No. 1
99--138
EN
We propose a strategy to build the distributional meaning of sentences mainly based on two types of semantic objects: context vectors associated with content words and compositional operations driven by syntactic dependencies. The compositional operations of a syntactic dependency make use of two input vectors to build two new vectors representing the contextualized sense of the two related words. Given a sentence, the iterative application of dependencies results in as many contextualized vectors as content words the sentence contains. At the end of the contextualization process, we do not obtain a single compositional vector representing the semantic denotation of the whole sentence (or of the root word), but one contextualized vector for each constituent word of the sentence. Our method avoids the troublesome high-order tensor representations of approaches relying on category theory, by defining all words as first-order tensors (i.e. standard vectors). Some corpus-based experiments are performed to both evaluate the quality of the contextualized vectors built with our strategy, and to compare them to other approaches on distributional compositional semantics. The experiments show that our dependency-based method performs as (or even better than) the state-of-the-art.
4
Self-reference and the divorce between meaning and truth
88%
Tsohatzidis L. S.
|
|
tom 22
|
nr 4
445–452
EN
This paper argues that a certain type of self-referential sentence falsifies the widespread assumption that a declarative sentence’s meaning is identical to its truth condition. It then argues that this problem cannot be assimilated to certain other problems that the assumption in question is independently known to face.
5
Addendum to “Self-Reference and the Divorce Between Meaning and Truth”
88%
Tsohatzidis L. S.
|
2014
|
tom 23
|
nr 1
109–110
EN
This paper is an addendum to [Tsohatzidis, 2013]
6
Content available Review of Paweł Grabarczyk’s "Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content"
88%
Jamrozik A.
|
|
tom 35
|
nr 1
107-118
EN
This paper is a review of Paweł Grabarczyk’s latest book, Directival Theory of Meaning: From Syntax and Pragmatics to Narrow Linguistic Content. I focus mostly on two concepts constitutive for the directival theory of meaning-that of linguistic trial and that of meaning directive. These two concepts, while ingeniously developed by Grabarczyk, are not free of problems and somewhat controversial assumptions. I start with describing the basis of Grabarczyk’s proposal, as well as of the historical background from which it originated. Then, I move on to the analysis of the notion of linguistic trial. After that I focus on the concept of meaning directive, criticising certain assumptions that come with it. The conclusion is that while Grabarczyk’s version of the directival theory of meaning is an interesting proposal, most of its shortcomings stem from the fact that for a theory that is supposed to work well on natural languages, too many examples pertain to artificial languages. Until an analysis of a natural language in the style of the directival theory of meaning is conducted, it is not possible to properly judge the value of this theory.
7
Self-organising Logic of Structures as a Basis for a Dependency-based Dynamic Semantics Model
75%
Piasecki M.
|
|
nr 13
EN
Self-organising Logic of Structures as a Basis for a Dependency-based Dynamic Semantics ModelWe present Self-organising Logic of Structures (SLS), a semantic representation language of high expressive power, which was designed for a fully compositional representation of discourse anaphora following the Dynamic Semantics paradigm. The application of SLS to the description of possible meanings of Polish multiple quantifier sentences is discussed. Special attention is paid to the phenomena of: cardinality dependency/independency of Noun Phrase quantifiers and variety of quantification. Semantic representation based on several formal operators is proposed. They can be combined in many different ways, if one takes a purely theoretical perspective. However, in the paper we show that this huge number is practically reduced in the language use and is governed by several constraints motivated by the analysis of Polish language data. The Hypothesis of Local Range of Cardinality Dependency is formulated as an alternative to representations based on quantifier rising technique. SLS provides a multi-layered language description of inter-linked representation of sever antification, reference, presupposition and anaphora.
8
Content available Formulaic Language in the Magnifying Glass. Setting Parameters on the Analyzability of Linguistic Structure
63%
Mandziuk J. , Okuń-Jaśkowiak A. , Głaz A. , Kniaź-Hunek L. , Bendrat A. , Prażmo E. , Terejko P. , Szczypa P. , Czemiel G. , Antoszek E. , Galant J. , Komsta M. , Frelik E. , Waszkiewicz A. , Oleszczuk A. , Waszkiewicz A. , Okuń-Jaśkowiak A.
|
|
nr 3
EN
Adopting the model of Cognitive Grammar as proposed and developed by Ronald Langacker (1987, 1991, 2008), the article applies three basic cognitive parameters on the continuum of linguistic structure: analyzability, compositionality, and institutionalization, to an analysis of proverbs and especially to new proverbial modifications. The aim of the study is twofold: first, by proposing a two-dimensional coordinate system, we seek to establish a correlation between analyzability and compositionality. Second, by adding a third parameter on linguistic structure, namely institutionalization, we develop a three-dimensional system which, we believe, can offer a fuller account of the grammar-lexicon continuum. 
9
Content available remote Discourse interpretation based on dynamic constraints
63%
Piasecki M.
|
2005
|
tom Vol. 15, no. 3
403-414
EN
Our main objective will be to construct a fully compositional representation of nominal anaphora in discourse. The proposed representation is not dependent on the remote ascription (i.e. done outside the formal representation) of syntactic indexes, which identify anaphoric links. A formal language of variable free logic is introduced. It is based on dynamic semantics paradigm and is a variant of many-sorted type logic. We will also present the scope free treatment of quantification in multiple quantifier sentences. The interpretation of multiple quantifiers is defined by means of a construction of the polyadic Generalised Quantifier (GQ). The polyadic GQ is a constraint that should be satisfied by the denotation of a ?clausal? predicate.
10
Content available Some remarks on Roman Ingarden’s theory of meaning
38%
Maciaszek J. , Maciaszek J.
|
|
nr 4
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.