Imagen de Portada

A Unified Formal Theory on the Logical Limits of Symbol Grounding

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Liu, Zhangchi
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence 03B65, 03F40 I.2.7; F.4.1
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

An Algorithmic Information-Theoretic Perspective on the Symbol Grounding Problem
por: Liu, Zhangchi
Publicado: (2025)

Approximate Axiomatization for Differentially-Defined Functions
por: Platzer, André, et al.
Publicado: (2025)

Which are the True Defeasible Logics?
por: Maher, Michael J.
Publicado: (2024)

On the Complexity and Properties of Preferential Propositional Dependence Logic
por: Sauerwald, Kai, et al.
Publicado: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
por: Kontinen, Juha, et al.
Publicado: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
por: Sauerwald, Kai, et al.
Publicado: (2026)

The Hamiltonian Syllogistic
por: Pratt-Hartmann, Ian
Publicado: (2010)

First-Order Coalition Logic
por: Catta, Davide, et al.
Publicado: (2025)

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2020)

Agent Interpolation for Knowledge
por: Bílková, Marta, et al.
Publicado: (2025)

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

Non-Compact Proofs
por: Artemov, Sergei
Publicado: (2025)

Consistency formula is strictly stronger in PA than PA-consistency
por: Artemov, Sergei
Publicado: (2025)

Why this and not that? A Logic-based Framework for Contrastive Explanations
por: Geibinger, Tobias, et al.
Publicado: (2025)

Internal Effectful Forcing in System T
por: Escardo, Martin H., et al.
Publicado: (2025)

Univalent Material Set Theory
por: Gylterud, Håkon Robbestad, et al.
Publicado: (2023)

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

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

A Primer for Preferential Non-Monotonic Propositional Team Logics
por: Sauerwald, Kai, et al.
Publicado: (2024)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
por: Kilictas, Bugra, et al.
Publicado: (2025)

T-CPDL: A Temporal Causal Probabilistic Description Logic for Developing Logic-RAG Agent
por: Yu, Hong Qing
Publicado: (2025)

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

A Proof-Theoretic Approach to the Semantics of Classical Linear Logic
por: Barroso-Nascimento, Victor, et al.
Publicado: (2025)

Encoding Argumentation Frameworks to Propositional Logic Systems
por: Tang, Shuai, et al.
Publicado: (2025)

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

Structural focalization
por: Simmons, Robert J.
Publicado: (2011)

Proof Compression via Subatomic Logic and Guarded Substitutions
por: Barrett, Victoria, et al.
Publicado: (2025)

Y is a least fixed point combinator
por: Helfer, Joseph
Publicado: (2025)

Evaluating Autoformalization Robustness via Semantically Similar Paraphrasing
por: Moore, Hayden, et al.
Publicado: (2025)

Finitary Simulation of Infinitary $β$-Reduction via Taylor Expansion, and Applications
por: Cerda, Rémy, et al.
Publicado: (2022)

A Guide to Krivine Realizability for Set Theory
por: Matthews, Richard
Publicado: (2023)

Unravelling Abstract Cyclic Proofs into Proofs by Induction
por: Grotenhuis, Lide, et al.
Publicado: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
por: Martina, Antoine, et al.
Publicado: (2023)

A novel framework for systematic propositional formula simplification based on existential graphs
por: de Mas, Jordina Francès, et al.
Publicado: (2024)

Formal P-Category Theory and Normalization by Evaluation in Rocq
por: Berry, David G., et al.
Publicado: (2025)

Simply-typed constant-domain modal lambda calculus I: distanced beta reduction and combinatory logic
por: Walsh, Sean
Publicado: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
por: Férée, Hugo, et al.
Publicado: (2024)

How to play the Accordion: Uniformity and the (non-)conservativity of the linear approximation of the λ-calculus (extended version)
por: Cerda, Rémy, et al.
Publicado: (2023)

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
por: Schellhorn, Daniel Romero, et al.
Publicado: (2026)

Plausible Reasoning and First-Order Plausible Logic
por: Billington, David
Publicado: (2026)