English
Related papers

Related papers: The partition semantics of questions, syntacticall…

200 papers

Recently it has been argued that autocatalytic theory could be applied to the origin of culture. Here possible application to a theory of meaning in the philosophy of language, called radical interpretation, is commented upon and compared…

Computation and Language · Computer Science 2007-05-23 Mark D. Roberts

We investigate two problems for a class C of regular word languages. The C-membership problem asks for an algorithm to decide whether an input language belongs to C. The C-separation problem asks for an algorithm that, given as input two…

Formal Languages and Automata Theory · Computer Science 2015-01-06 Thomas Place , Marc Zeitoun

This paper articulates metacognition using the language of statistical physics and Bayesian mechanics. Metacognitive beliefs, defined as beliefs about beliefs, find a natural description within this formalism, which allows us to define the…

Neurons and Cognition · Quantitative Biology 2024-06-17 Lars Sandved-Smith , Lancelot Da Costa

We deal with various splitting methods in algebraic logic. The word `splitting' refers to splitting some of the atoms in a given relation or cylindric algebra each into one or more subatoms obtaining a bigger algebra, where the number of…

Logic · Mathematics 2015-03-10 Tarek Sayed Ahmed

The non-conservation of entanglement, when two or more particles interact, sets it apart from other dynamical quantities like energy and momentum. It does not allow the interpretation of the subtle dynamics of entanglement as a flow of this…

What could metacognition look like in simple physical terms? We define metacognition as having beliefs about beliefs, which can be articulated very simply using the language of statistical physics and Bayesian mechanics. We introduce a…

Adaptation and Self-Organizing Systems · Physics 2024-03-13 Lancelot Da Costa , Lars Sandved-Smith

Lexical semantics theories differ in advocating that the meaning of words is represented as an inference graph, a feature mapping or a vector space, thus raising the question: is it the case that one of these approaches is superior to the…

Computation and Language · Computer Science 2020-11-17 António Branco , João Rodrigues , Małgorzata Salawa , Ruben Branco , Chakaveh Saedi

We consider entailment problems involving powerful constraint languages such as frontier-guarded existential rules in which we impose additional semantic restrictions on a set of distinguished relations. We consider restricting a relation…

Logic in Computer Science · Computer Science 2022-02-18 Antoine Amarilli , Michael Benedikt , Pierre Bourhis , Michael Vanden Boom

Paraphrasing methods recognize, generate, or extract phrases, sentences, or longer natural language expressions that convey almost the same information. Textual entailment methods, on the other hand, recognize, generate, or extract pairs of…

Computation and Language · Computer Science 2010-06-01 Ion Androutsopoulos , Prodromos Malakasiotis

For fragments L of first-order logic (FO) with counting quantifiers, we consider the definability problem, which asks whether a given L-formula can be equivalently expressed by a formula in some fragment of L without counting, and the more…

Logic in Computer Science · Computer Science 2025-08-18 Louwe Kuijer , Tony Tan , Frank Wolter , Michael Zakharyaschev

For every fixed class of regular languages, there is a natural hierarchy of increasingly more general problems: Firstly, the membership problem asks whether a given language belongs to the fixed class of languages. Secondly, the separation…

Formal Languages and Automata Theory · Computer Science 2021-10-01 Viktor Henriksson , Manfred Kufleitner

Situated question answering is the problem of answering questions about an environment such as an image or diagram. This problem requires jointly interpreting a question and an environment using background knowledge to select the correct…

Computation and Language · Computer Science 2016-09-27 Jayant Krishnamurthy , Oyvind Tafjord , Aniruddha Kembhavi

These are extended notes for my talk at the ICMP 2003 in Lisbon. Our goal here is to demonstrate how natural and fundamental random partitions are from many different points of view. We discuss various natural measures on partitions, their…

Mathematical Physics · Physics 2007-05-23 Andrei Okounkov

We examine the relationship between the Bayesian and information-theoretic formulations of source separation algorithms. This work makes use of the relationship between the work of Claude E. Shannon and the "Recent Contributions" by Warren…

Data Analysis, Statistics and Probability · Physics 2007-05-23 Kevin H. Knuth

Wave-particle duality, wave function collapse, objective probability and nonlocality constitute four prominent puzzles in modern physics. Although these four topics may appear unrelated, a closer examination reveals that they do share some…

History and Philosophy of Physics · Physics 2021-11-10 Paul A. Klevgard

The language of probability is used to define several different types of conditional statements. There are four principal types: subjunctive, material, existential, and feasibility. Two further types of conditionals are defined using the…

Logic · Mathematics 2014-09-29 Joseph W. Norman

Stanis{\l}aw Le\'sniewski's mereology was formulated in a specific way, deviating from standard formalizations. Nowadays, Le\'sniewski's theory is presented in the form of an elementary theory or translated into the language of the theory…

Logic · Mathematics 2024-12-16 Andrzej Pietruszczak

Machine learning tools often rely on embedding text as vectors of real numbers. In this paper, we study how the semantic structure of language is encoded in the algebraic structure of such embeddings. Specifically, we look at a notion of…

Machine Learning · Computer Science 2023-10-27 Yibo Jiang , Bryon Aragam , Victor Veitch

Topics play an important role in the global organisation of a conversation as what is currently discussed constrains the possible contributions of the participant. Understanding the way topics are organised in interaction would provide…

Computation and Language · Computer Science 2024-02-06 Amandine Decker , Maxime Amblard

Since the quantum field theory treats a system of particles, there must be a distribution which is associated with the system of particles. It means that a meaningful quantity is adjoined in the system of particles. It seems that these…

General Physics · Physics 2008-10-25 Yeong-Shyeong Tsai