arXiv:cs.AI· Antal Jakov\'ac, Andr\'as Telcs·· 3 小时前
一个关于认知表征与问题解决的结构理论:上下文、不变性与知识空间
A Structural Theory of Cognitive Representation and Problem Solving,Contexts, Invariance, and the Knowledge Space
AI 导读
研究者提出一个最简结构框架,将上下文形成、不变性识别、代表性选择、抽象和过程复用等表征操作显式化,核心概念"上下文"被形式化为底层状态空间子集的一个划分。该框架实现为由概念图和过程图两个耦合图结构组成的知识空间,构成一套最简认知表征代数,无需假设复杂推理、学习、控制、感知或运动机制。通过简单示例与有限弱求解器演示,表明合适的表征组织能简化可容许规律的形式与范围,即使求解器固定且能力有限。
正文
Abstract:Learning and problem solving depend critically on the structure of internal representations. While many modern data-driven artificial systems achieve strong predictive performance, their learned representations often lack explicit structure for expressing abstraction, invariance, and task-relevant regularities. We propose a minimal structural framework in which representational operations relevant to problem solving, such as context formation, invariance recognition, representative selection, abstraction, and procedural reuse, are made explicit. The central notion is that of a \emph{context}, formalized as a partition of a subset of an underlying state space, which fixes the distinctions, granularity, and form in which a problem can be posed. Within this setting, invariance recognition and representative selection are treated as fundamental representational operations. The framework is realized as a Knowledge Space composed of two coupled graph structures: a Concept Graph that hosts constructed and refined concepts, and a Procedure Graph that encodes typed operations over representations. Together, these structures provide a minimal cognitive-representational algebra for operating on representations without assuming sophisticated inference, learning, control, perception, or motor mechanisms. Using simple illustrative examples and a finite weak-solver demonstration, we show that appropriate representational organization can simplify the form and scope of admissible regularities, even when problem solving is carried out by a fixed and limited solver. The contribution of the paper is structural rather than algorithmic: it identifies representational prerequisites for abstraction, invariance, and procedural reuse in problem solving, and states explicit success and failure conditions for the weak-solver setting.
| Comments: | 41 pages, 1 figure |
| Subjects: | Artificial Intelligence (cs.AI) |
| Cite as: | arXiv:2610.12306 [cs.AI] |
| (or arXiv:2610.12306v1 [cs.AI] for this version) | |
| https://doi.org/10.48550/arXiv.2610.12306 arXiv-issued DOI via DataCite (pending registration) |
Submission history
From: Andras Telcs [view email]
[v1]
Thu, 8 Oct 2026 16:54:16 UTC (28 KB)
来源:arXiv:cs.AI · arxiv.org