English
Related papers

Related papers: Categorification of Negative Information using Enr…

200 papers

This paper develops a systematic framework for integrating local categories that model logical connectives using higher category theory. By extending these local categories into a unified two-category enriched with natural isomorphisms, the…

General Mathematics · Mathematics 2025-05-19 Barreto Joaquim Reizi

Long before the invention of Feynman diagrams, engineers were using similar diagrams to reason about electrical circuits and more general networks containing mechanical, hydraulic, thermodynamic and chemical components. We can formalize…

Category Theory · Mathematics 2018-11-22 John C. Baez , Brandon Coya , Franciscus Rebro

Normalized nonnegative models assign probability distributions to users and random variables to items; see [Stark, 2015]. Rating an item is regarded as sampling the random variable assigned to the item with respect to the distribution…

Machine Learning · Computer Science 2015-11-23 Cyril Stark

Suppose, we are given a set of $n$ elements to be clustered into $k$ (unknown) clusters, and an oracle/expert labeler that can interactively answer pair-wise queries of the form, "do two elements $u$ and $v$ belong to the same cluster?".…

Machine Learning · Statistics 2017-06-26 Arya Mazumdar , Barna Saha

Given an unknown quantum state distributed over two systems, we determine how much quantum communication is needed to transfer the full state to one system. This communication measures the "partial information" one system needs conditioned…

Quantum Physics · Physics 2007-05-23 Michal Horodecki , Jonathan Oppenheim , Andreas Winter

Restriction categories provide a categorical framework for partiality. In this paper, we introduce three new categorical theories for partiality: local categories, partial categories, and inclusion categories. The objects of a local…

Category Theory · Mathematics 2025-12-04 Marcello Lanfranchi , Jean-Simon Pacaud Lemay

Epistemic uncertainty arises in lack of complete knowledge about the state of a system. There are multiple mathematical frameworks for measuring such uncertainty quantitatively, often referred to as imprecise probability theories. Inspired…

Category Theory · Mathematics 2026-03-05 Torgeir Aambø

The avalanche quantity of the information developed by mankind has led to concept of automation of knowledge extraction - Data Mining ([1]). This direction is connected with a wide spectrum of problems - from recognition of the fuzzy set to…

Machine Learning · Computer Science 2009-06-05 A. A. Shumeyko , S. L. Sotnik

"Bounds on information combining" are entropic inequalities that determine how the information (entropy) of a set of random variables can change when these are combined in certain prescribed ways. Such bounds play an important role in…

Quantum Physics · Physics 2019-08-27 Christoph Hirche , David Reeb

A method for extracting positive information from negative goals is proposed. It makes use of typed existence properties between arguments of a predicate to rewrite negative goals in a logic program. A typed existence property is a…

Programming Languages · Computer Science 2010-09-14 Lunjin Lu , John G. Cleary

In prediction tasks, there exist features that are related to the label in the same way across different settings for that task; these are semantic features or semantics. Features with varying relationships to the label are nuisances. For…

Machine Learning · Computer Science 2024-07-04 Aahlad Puli , Nitish Joshi , Yoav Wald , He He , Rajesh Ranganath

We consider decision-making under incomplete information about an unknown state of nature. We show that a decision problem yields a higher value of information than another, uniformly across information structures, if and only if it is…

Optimization and Control · Mathematics 2026-03-16 Michel de Lara

Very often features come with their own vectorial descriptions which provide detailed information about their properties. We refer to these vectorial descriptions as feature side-information. In the standard learning scenario, input is…

Machine Learning · Computer Science 2017-03-09 Amina Mollaysa , Pablo Strasser , Alexandros Kalousis

Information is a precise concept that can be defined mathematically, but its relationship to what we call "knowledge" is not always made clear. Furthermore, the concepts "entropy" and "information", while deeply related, are distinct and…

Adaptation and Self-Organizing Systems · Physics 2016-03-03 Christoph Adami

Two different approaches to dealing with probabilistic knowledge are examined -models and inductive inference. Examples of the first are: influence diagrams [1], Bayesian networks [2], log-linear models [3, 4]. Examples of the second are:…

Artificial Intelligence · Computer Science 2013-04-12 Norman C. Dalkey

Within Reinforcement Learning, there is a fledgling approach to conceptualizing the environment in terms of predictions. Central to this predictive approach is the assertion that it is possible to construct ontologies in terms of…

Artificial Intelligence · Computer Science 2019-04-22 Alex Kearney , Oliver Oxton

The Internet has dramatically changed the relationship among people and their relationships with others people and made the valuable information available for the users. Email is the service, which the Internet provides today for its own…

Information Retrieval · Computer Science 2013-10-24 Foruzan Kiamarzpour , Rouhollah Dianat , Mohammad bahrani , Mehdi Sadeghzadeh

We propose an information-theoretic framework to measure narratives, providing a formalism to understand pivotal moments, cliffhangers, and plot twists. This approach offers creatives and AI researchers tools to analyse and benchmark human-…

Multimedia · Computer Science 2024-11-21 Lion Schulz , Miguel Patrício , Daan Odijk

We study the separation of positive and negative data examples in terms of description logic concepts in the presence of an ontology. In contrast to previous work, we add a signature that specifies a subset of the symbols that can be used…

Logic in Computer Science · Computer Science 2021-07-13 Jean Christoph Jung , Carsten Lutz , Hadrien Pulcini , Frank Wolter

We model competition on a credence goods market governed by an imperfect label, signaling high quality, as a rank-order tournament between firms. In this market interaction, asymmetric firms jointly and competitively control the aggregate…

Theoretical Economics · Economics 2025-08-28 Daniel Rehsmann , Béatrice Roussillon , Paul Schweinzer