📊 Статистика дайджестов
Всего дайджестов: 34022 Добавлено сегодня: 0
Последнее обновление: сегодня
📄 Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
2025-09-05Авторы:
Daniel Raggi, Gem Stapleton, Mateja Jamnik, Aaron Stockdill, Grecia Garcia Garcia, Peter C-H. Cheng
## Контекст
Область исследования, связанная с преобразованием и представлением структур, широко распространена и играет ключевую роль в широких научных и практических областях. Одним из основных проблем, связанных с этий преобразованиями, является необходимость в гарантированной сохранности семантики и структуры при переходе от одного представления к другому, особенно в ситуациях, где несколько систем представления (RS) могут использоваться в зависимости от контекста или задачи. Это вопрос становится еще важнее, когда необходимо выполнять преобразования между различными типами представлений, такими как формальные языки, геометрические фигуры и диаграммы, или неформальные заметки. Мотивацией для разработки этой работы является необходимость в разработке инструментов, которые позволят выполнять преобразования представлений в различных системах представления, сохраняя при этом семантическую эквивалентность.
## Метод
Структурное преобразование (structure transfer) — это новая методология, которая позволяет преобразовывать представления между различными системами представления с помощью нормализованных правил, которые гарантируют сохранение связей между исходным и целевым представлениями. Основная идея заключается в использовании схем (schemas), которые хранят сведения о структуре и связях между различными системами представления. Эти схемы используются для вывода новых представлений, которые сохраняют нужную семантическую связь между исходной и целевой системами представления. Разработка этой методологии основывается на понятии конструкционного пространства (construction space), которое представляет собой абстрактное представление любой системы представления. Это позволяет сделать метод гибким и применимым к различным типам представлений, включая формальные языки, геометрические фигуры и даже неформальные заметки.
## Результаты
В рамках экспериментов, проведенных в работе, был продемонстрирован то, как структурное преобразование может быть применено к различным типам представлений, включая формальные языки, неформальные заметки и геометрические фигуры. Доказано, что структурное преобразование может гарантированно сохранять семантическую связь между исходным и целевым представлениями, независимо от того, какая система представления используется в каждом случае. Эксперименты проводились на различных типах данных, включая тексты, графические фигуры и диаграммы, показав возможность структурного преобразования для различных типов объектов. Результаты показали, что структурное преобразова
Annotation:
Representation choice is of fundamental importance to our ability to
communicate and reason effectively. A major unsolved problem, addressed in this
paper, is how to devise representational-system (RS) agnostic techniques that
drive representation transformation and choice. We present a novel calculus,
called structure transfer, that enables representation transformation across
diverse RSs. Specifically, given a source representation drawn from a source
RS, the rules of structure transfer allow ...