预印本：迈向人工通用智能的范畴论比较框架
Working Paper: Towards a Category-theoretic Comparative Framework for Artificial General Intelligence
AI总结：
本文旨在构建一个通用的范畴论框架，用于描述、比较和分析不同的人工通用智能架构，揭示其共同点与差异，并指导未来研究。
摘要：
AGI已成为AI领域的圣杯，全球科技公司投入大量资源追求其突破。然而，尚无统一的正式定义，仅存在部分经验性评估框架。本文旨在开发一个通用、代数和范畴论的框架，用于描述、比较和分析不同可能的AGI架构，如强化学习、通用人工智能、主动推理、因果强化学习、基于模式的学习等。该范畴论形式化将有助于明确揭示其共同点和差异，并暴露未来研究领域。从应用范畴论的角度出发，本文以《范畴中的机器》为灵感，提供对AGI架构的现代视角。本文首先在范畴论中对强化学习、因果强化学习和基于模式的学习架构进行初步探讨，并为更广泛的研究计划奠定基础，旨在为AGI系统提供统一的正式基础，整合架构结构、信息组织、代理实现、代理与环境交互、行为随时间发展以及属性的实证评估。该框架还旨在支持代理建筑属性、语法和信息属性以及语义属性的定义及其在特征明确的环境中的评估。本文主张范畴论与AGI将具有非常互惠的关系。
英文摘要：
AGI has become the Holly Grail of AI with the promise of level intelligence and the major Tech companies around the world are investing unprecedented amounts of resources in its pursuit. Yet, there does not exist a single formal definition and only some empirical AGI benchmarking frameworks currently exist. The main purpose of this paper is to develop a general, algebraic and category theoretic framework for describing, comparing and analysing different possible AGI architectures. Thus, this Category theoretic formalization would also allow to compare different possible candidate AGI architectures, such as, RL, Universal AI, Active Inference, CRL, Schema based Learning, etc. It will allow to unambiguously expose their commonalities and differences, and what is even more important, expose areas for future research. From the applied Category theoretic point of view, we take as inspiration Machines in a Category to provide a modern view of AGI Architectures in a Category. More specifically, this first position paper provides, on one hand, a first exercise on RL, Causal RL and SBL Architectures in a Category, and on the other hand, it is a first step on a broader research program that seeks to provide a unified formal foundation for AGI systems, integrating architectural structure, informational organization, agent realization, agent and environment interaction, behavioural development over time, and the empirical evaluation of properties. This framework is also intended to support the definition of architectural properties, both syntactic and informational, as well as semantic properties of agents and their assessment in environments with explicitly characterized features. We claim that Category Theory and AGI will have a very symbiotic relation.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
