English
Related papers

Related papers: Syntax-semantics interface: an algebraic model

200 papers

An algebraic method is used to study the semantics of exceptions in computer languages. The exceptions form a computational effect, in the sense that there is an apparent mismatch between the syntax of exceptions and their intended…

Logic in Computer Science · Computer Science 2012-10-30 Jean-Guillaume Dumas , Dominique Duval , Laurent Fousse , Jean-Claude Reynaud

The thesis presents an attempt at using the syntactic structure in natural language for improved language models for speech recognition. The structured language model merges techniques in automatic parsing and language modeling using an…

Computation and Language · Computer Science 2007-05-23 Ciprian Chelba

In recent years, the field of NLP has seen growing interest in modeling both semantic and pragmatic dimensions. Despite this progress, two key challenges persist: firstly, the complex task of mapping and analyzing the interactions between…

Computation and Language · Computer Science 2025-04-29 Eugene Yu Ji

We propose a generative model for a sentence that uses two latent variables, with one intended to represent the syntax of the sentence and the other to represent its semantics. We show we can achieve better disentanglement between semantic…

Computation and Language · Computer Science 2019-04-03 Mingda Chen , Qingming Tang , Sam Wiseman , Kevin Gimpel

Symbolic algebra relevant to the renormalization of gauge theories can be efficiently performed by machine using modern packages. We devise a scheme for representing and manipulating the objects involved in perturbative calculations of…

High Energy Physics - Theory · Physics 2008-11-26 M. Rossi , A. P. Flitney

Semantic communication initiates a new direction for future communication. In this paper, we aim to establish a systematic framework of semantic information theory (SIT). First, we propose a semantic communication model and define the…

Information Theory · Computer Science 2024-01-26 Kai Niu , Ping Zhang

This paper proposes to use dialgebras to specify the semantics of interactive systems in a natural way. Dialgebras are a conservative extension of coalgebras. In this categorical model, from the point of view that we provide, the notions of…

Programming Languages · Computer Science 2011-08-03 Vincenzo Ciancia

A constructive method for decomposing finite dimensional representations of semisimple real Lie algebras is developed. The method is illustrated by an example. We also discuss an implementation of the algorithm in the language of the…

Representation Theory · Mathematics 2020-06-19 Sajid Ali , Hassan Azad , Indranil Biswas , Willem A. de Graaf

The algebraic method of renormalization is applied to the standard model of electroweak interactions. We present the most important modifications compared to theories with simple groups.

High Energy Physics - Theory · Physics 2007-05-23 Elisabeth Kraus

While numerous attempts have been made to jointly parse syntax and semantics, high performance in one domain typically comes at the price of performance in the other. This trade-off contradicts the large body of research focusing on the…

Computation and Language · Computer Science 2021-04-13 Elias Stengel-Eskin , Kenton Murray , Sheng Zhang , Aaron Steven White , Benjamin Van Durme

Renormalization is a powerful technique in statistical physics to extract the large-scale behavior of interacting many-body models. These notes aim to give an introduction to perturbative methods that operate on the level of the stochastic…

Statistical Mechanics · Physics 2023-03-09 Nikos Papanikolaou , Thomas Speck

State-of-the-art methods for relation extraction consider the sentential context by modeling the entire sentence. However, syntactic indicators, certain phrases or words like prepositions that are more informative than other words and may…

Computation and Language · Computer Science 2019-12-05 Qiongxing Tao , Xiangfeng Luo , Hao Wang

Several tasks in artificial intelligence require to be able to find models about knowledge dynamics. They include belief revision, fusion and belief merging, and abduction. In this paper we exploit the algebraic framework of mathematical…

Artificial Intelligence · Computer Science 2018-02-15 Isabelle Bloch , Jérôme Lang , Ramón Pino Pérez , Carlos Uzcátegui

We present a computational model for the semantic interpretation of symmetry in naturalistic scenes. Key features include a human-centred representation, and a declarative, explainable interpretation model supporting deep semantic…

Computer Vision and Pattern Recognition · Computer Science 2018-09-17 Jakob Suchan , Mehul Bhatt , Srikrishna Vardarajan , Seyed Ali Amirshahi , Stella Yu

Stochastic (Markovian) process algebra extend classical process algebra with probabilistic exponentially distributed time durations denoted by rates (the parameter of the exponential distribution). Defining a semantics for such an algebra,…

Logic in Computer Science · Computer Science 2015-12-23 Mario Bravetti

The paper presents a language model that develops syntactic structure and uses it to extract meaningful information from the word history, thus enabling the use of long distance dependencies. The model assigns probability to every joint…

Computation and Language · Computer Science 2007-05-23 Ciprian Chelba , Frederick Jelinek

This paper presents a geometric approach to the problem of modelling the relationship between words and concepts, focusing in particular on analogical phenomena in language and cognition. Grounded in recent theories regarding geometric…

Computation and Language · Computer Science 2016-08-05 Stephen McGregor , Matthew Purver , Geraint Wiggins

Natural language syntax yields an unbounded array of hierarchically structured expressions. We claim that these are used in the service of active inference in accord with the free-energy principle (FEP). While conceptual advances alongside…

Computation and Language · Computer Science 2022-10-28 Elliot Murphy , Emma Holmes , Karl Friston

This paper introduces context algebras and demonstrates their application to combining logical and vector-based representations of meaning. Other approaches to this problem attempt to reproduce aspects of logical semantics within new…

Computation and Language · Computer Science 2011-11-08 Daoud Clarke

An approach for encoding abstract dialectical frameworks and their semantics into classical higher-order logic is presented. Important properties and semantic relationships are formally encoded and proven using the proof assistant…

Logic in Computer Science · Computer Science 2026-04-08 Antoine Martina , Alexander Steen
‹ Prev 1 3 4 5 6 7 10 Next ›