Oruga： representational systems theory 的一种化身
人工智能
2025-09-05 v1 计算机科学中的逻辑
摘要
人类会灵活地使用表征方式:我们绘制图示、更改表征方式并利用创造性类比跨越不同领域。我们希望借此种能力为机器赋能,使其更符合人类使用。此前我们发展了 representational systems theory (RST) 以研究表征的结构与转换。本文介绍 Oruga(西班牙语意为 caterpillar;象征变形),即 RST 各方面的实现。Oruga 包含一套对应于 RST 中概念的数据结构、用于与核心通信的语言,以及一种称为 structure transfer 的方法用于产生转换。本文提供 Oruga 核心与语言概述,并简要演示 structure transfer 能执行的转换类型。
引用
@article{arxiv.2509.04041,
title = {Oruga: An Avatar of Representational Systems Theory},
author = {Daniel Raggi and Gem Stapleton and Mateja Jamnik and Aaron Stockdill and Grecia Garcia Garcia and Peter C-H. Cheng},
journal= {arXiv preprint arXiv:2509.04041},
year = {2025}
}