中文
相关论文

相关论文: Mathematics and Logic as Information Compression b…

200 篇论文

We live in the Information Age, and information has become a critically important component of our life. The success of the Internet made huge amounts of it easily available and accessible to everyone. To keep the flow of this information…

人工智能 · 计算机科学 2007-08-08 Emanuel Diamant

This study explores a new mathematical operator, symbolized as $\cupplus$, for information aggregation, aimed at enhancing traditional methods by directly amalgamating probability distributions. This operator facilitates the combination of…

信息论 · 计算机科学 2024-07-26 Heyang Gong

An outstanding challenge with the Integrated Information Theory of Consciousness (IIT) is to find a way of rapidly and accurately calculating integrated information from neural data. A number of measures of integrated information based on…

神经元与认知 · 定量生物学 2016-05-05 Daniel Toker , Friedrich Sommer

The ability to integrate information in the brain is considered to be an essential property for cognition and consciousness. Integrated Information Theory (IIT) hypothesizes that the amount of integrated information ($\Phi$) in the brain is…

神经元与认知 · 定量生物学 2018-04-04 Jun Kitazono , Ryota Kanai , Masafumi Oizumi

Information theory is a powerful framework for quantifying complexity, uncertainty, and dynamical structure in time-series data, with widespread applicability across disciplines such as physics, finance, and neuroscience. However, the…

信息论 · 计算机科学 2026-01-26 Annie G. Bryant , Oliver M. Cliff , James M. Shine , Ben D. Fulcher , Joseph T. Lizier

The ability to summarize and organize knowledge into abstract concepts is key to learning and reasoning. Many industrial applications rely on the consistent and systematic use of concepts, especially when dealing with decision-critical…

计算与语言 · 计算机科学 2024-05-31 Rosario Uceda-Sosa , Karthikeyan Natesan Ramamurthy , Maria Chang , Moninder Singh

In order to work with mathematical content in computer systems, it is necessary to represent it in formal languages. Ideally, these are supported by tools that verify the correctness of the content, allow computing with it, and produce…

计算机科学中的逻辑 · 计算机科学 2020-05-27 Cezary Kaliszyk , Florian Rabe

Interpolation is an important property of classical and many non-classical logics that has been shown to have interesting applications in computer science and AI. Here we study the Interpolation Property for the the non-monotonic system of…

计算机科学中的逻辑 · 计算机科学 2014-01-17 Dov Gabbay , David Pearce , Agustín Valverde

In this paper, we suppose that the universe has an information processing layer, which coveys the informational contents accompanying the physical events. In this manner, universe is considered to be composed of several associative layers…

综合物理 · 物理学 2010-11-11 Baris Baykant Alagoz

Large Language Models (LLMs) are increasingly being used in education, yet their correctness alone does not capture the quality, reliability, or pedagogical validity of their problem-solving behavior, especially in mathematics, where…

计算机与社会 · 计算机科学 2025-10-22 Sagnik Dakshit , Sushmita Sinha Roy

In this chapter, I review the main methods and techniques of complex systems science. As a first step, I distinguish among the broad patterns which recur across complex systems, the topics complex systems science commonly studies, the tools…

适应与自组织系统 · 物理学 2007-05-23 Cosma Rohilla Shalizi

Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery…

计算与语言 · 计算机科学 2024-04-09 Jordan Meadows , Andre Freitas

Learning and compression are driven by the common aim of identifying and exploiting statistical regularities in data, which opens the door for fertile collaboration between these areas. A promising group of compression techniques for…

机器学习 · 计算机科学 2021-02-02 Fernando E. Rosas , Pedro A. M. Mediano , Michael Gastpar

We consider a generalization of an important class of high-dimensional inference problems, namely spiked symmetric matrix models, often used as probabilistic models for principal component analysis. Such paradigmatic models have recently…

信息论 · 计算机科学 2020-05-19 Jean Barbier , Galen Reeves

The ever-increasing parameter counts of deep learning models necessitate effective compression techniques for deployment on resource-constrained devices. This paper explores the application of information geometry, the study of…

机器学习 · 计算机科学 2025-07-15 Zakhar Shumaylov , Vasileios Tsiaras , Yannis Stylianou

Neural Multi-Space (NeMuS) is a weighted multi-space representation for a portion of first-order logic designed for use with machine learning and neural network methods. It was demonstrated that it can be used to perform reasoning based on…

人工智能 · 计算机科学 2019-06-18 Leonardo Barreto , Edjard Mota

Philosophy of science attempts to describe all parts of the scientific process in a general way in order to facilitate the description, execution and improvements of this process. So far, all proposed philosophies have only covered existing…

计算机科学中的逻辑 · 计算机科学 2023-02-07 Michał J. Gajda

Document subject classification is essential for structuring (digital) libraries and allowing readers to search within a specific field. Currently, the classification is typically made by human domain experts. Semi-supervised Machine…

信息检索 · 计算机科学 2021-09-03 Philipp Scharpf , Moritz Schubotz , Bela Gipp

Despite the increasing prevalence of large language models (LLMs), we still have a limited understanding of how their representational spaces are structured. This limits our ability to interpret how and what they learn or relate them to…

This paper investigates the capabilities of large language models (LLMs) in formulating and solving decision-making problems using mathematical programming. We first conduct a systematic review and meta-analysis of recent literature to…