Cover Image

An Algorithmic Information-Theoretic Perspective on the Symbol Grounding Problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Liu, Zhangchi
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Information Theory 68Q30, 03D80 F.4.1; I.2.7; F.1.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Unified Formal Theory on the Logical Limits of Symbol Grounding
by: Liu, Zhangchi
Published: (2025)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

Computability of Initial Value Problems
by: Brattka, Vasco, et al.
Published: (2024)

Relative Constructibility via Generalised Sequential Algorithms
by: Lau, Desmond
Published: (2024)

Decision Problems on Copying and Shuffling
by: Halava, Vesa, et al.
Published: (2023)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)

On the relative asymptotic expressivity of inference frameworks
by: Koponen, Vera, et al.
Published: (2022)

A proof complexity conjecture and the Incompleteness theorem
by: Krajicek, Jan
Published: (2023)

E-variables and tests of randomness for distribution classes
by: Potapov, Georgii, et al.
Published: (2026)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)

Determination of the fifth Busy Beaver value
by: The bbchallenge Collaboration, et al.
Published: (2025)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
by: Huseynzade, Rafig
Published: (2025)

Random expansions of finite structures with bounded degree
by: Koponen, Vera
Published: (2024)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

A convergence law for continuous logic and continuous structures with finite domains
by: Koponen, Vera
Published: (2025)

Binarized Neural Networks Converge Toward Algorithmic Simplicity: Empirical Support for the Learning-as-Compression Hypothesis
by: Sakabe, Eduardo Y., et al.
Published: (2025)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
by: Camlin, Jeffrey
Published: (2025)

The Optimizer Quotient and the Certification Trilemma
by: Simas, Tristan
Published: (2026)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

The Seifert-van Kampen Theorem via Computational Paths: A Formalized Approach to Computing Fundamental Groups
by: Ramos, Arthur F., et al.
Published: (2025)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

Labelled Well Quasi Ordered Classes of Bounded Linear Clique-Width
by: Lopez, Aliaume
Published: (2024)

On the Descriptive Complexity of Groups without Abelian Normal Subgroups
by: Grochow, Joshua A., et al.
Published: (2022)

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

The reverse mathematics of the pigeonhole hierarchy
by: Houérou, Quentin Le, et al.
Published: (2024)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
by: Koomullil, George
Published: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Skolem, Gödel, and Hilbert fibrations
by: Trotta, Davide, et al.
Published: (2024)

Transordinal Fixed-Point Operators and Self-Referential Games: A Categorical Framework for Reflective Semantic Convergence
by: Alpay, Faruk, et al.
Published: (2025)

Adversarial Barrier in Uniform Class Separation
by: Rosko, Milan
Published: (2025)

Fixed-Point Theorems and the Ethics of Radical Transparency: A Logic-First Treatment
by: Alpay, Faruk, et al.
Published: (2025)

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
by: Kilictas, Bugra, et al.
Published: (2025)

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
by: Kilictas, Bugra, et al.
Published: (2025)

Alpay Algebra III: Observer-Coupled Collapse and the Temporal Drift of Identity
by: Alpay, Faruk
Published: (2025)

Learning Program Behavioral Models from Synthesized Input-Output Pairs
by: Mammadov, Tural, et al.
Published: (2024)

Serial Properties, Selector Proofs, and the Provability of Consistency
by: Artemov, Sergei
Published: (2024)