Мне нужна программа для работы с текстом. И алгоритм. И аппарат. И механизм (электровычислитель). Точнее программа по алгоритму для аппарата на механизме.

Пользователь
    │  хочет пользоваться
    ▼
Программа (GUI на Rust + Haskell)
    │  предоставляет возможность пользоваться
    │  ├── аппаратом (онтологией)
    │  └── алгоритмами
    │
    ▼ Си-ABI
    │
Модуль на Тривиле
    │  является набором алгоритмов
    │
    ▼
Аппарат (онтология, НОРМИН)
    │
    ▼
Электрознакообработчик (механизм)

Пример:

общество
цифровизация общества
тенденция
развитие
развитие <чего-либо>
тенденции развития
тенденции развития <чего-либо>
тенденции развития цифровизации общества
актуальное
современное
современные тенденции развития цифровизации общества

Современные тенденции развития цифровизации общества - это группа существительного (далее „группа”). Группа состоит из слов (представленных словоформами) и из групп существительных. В данном конкретном случае, главное слово “тенденция” (во множественном числе). То есть, нужен аппарат №1, для того, чтобы хранить слова, описывать словоизменительные парадигмы, позволять образовывать словоформы по их описанию, разбирать такие описания. Наиболее близок к такому вроде бы был проект aot.ru, но проблема в том, что мы не можем изучить его текст (не хватает мыслительной мощности и финансирования). Для того, чтобы описать алгоритмы (образования словоформ, разбора описания словоизменительных парадигм) будем использовать язык программирования Тривиль. Кроме этого нужен аппарат №2 для того, чтобы хранить группы существительных, описывать вопросы-связи между словами в группе. И аппарат №3 описывающий параметризацию (валентности) таких слов и групп. Аппаратам вместо номеров хорошо бы подобрать имена.

рефал-выражение сделать частью языка типа Тривиль

  • Вежливый_ЛисOPM
    link
    fedilink
    Русский
    arrow-up
    1
    ·
    edit-2
    4 days ago

    DeepSeek:

    Эссе: Аппарат для работы с текстом

    Перед нами задача, которая на первый взгляд кажется простой, но при ближайшем рассмотрении распадается на несколько взаимосвязанных слоёв. Нужен «аппарат для работы с текстом» — не просто редактор, не просто словарь, а некая система, способная хранить слова, описывать их словоизменительные парадигмы, образовывать словоформы по описанию и разбирать такие описания. Иначе говоря, речь идёт о формальной модели морфологии, которая позволяла бы не только фиксировать готовые формы, но и порождать их, а также анализировать.

    Пример, приведённый в постановке задачи, показывает, как из отдельных слов вырастают группы существительных: «общество», «цифровизация общества», «тенденция», «развитие», «развитие <чего-либо>», «тенденции развития», «тенденции развития цифровизации общества». Здесь видно, что главное слово обрастает зависимыми, а те, в свою очередь, могут сами становиться главными для следующих. Это не просто цепочка слов — это иерархия, в которой каждое звено связано с другим определённым вопросом-связью. Такая конструкция называется «группой существительного» и состоит из слов (представленных словоформами) и из других групп. Отсюда вытекает потребность в нескольких взаимосвязанных аппаратах.

    Аппарат словоизменения хранит слова, описывает парадигмы, образует словоформы по описанию и разбирает эти описания. Здесь важно, что единицей оперирования является словоформа, а сам концепт — это именно процесс, а не результат. Наиболее близок по духу проект aot.ru, но изучить его текст не представляется возможным из-за нехватки мыслительных возможностей и финансирования.

    Аппарат согласования форм слов отвечает за то, чтобы словоформы в группе соответствовали друг другу — по числу, роду, падежу и другим признакам. Без него группа существительного распалась бы на несогласованные элементы, и связь между главным словом и зависимыми оказалась бы чисто внешней, лишённой внутренней грамматической логики.

    Аппарат сочетаемости слова с чем-либо описывает, с какими именно словами и группами может соединяться данное слово и какие вопросы-связи при этом возникают. Он не дублирует синтагмообразование, а работает на уровне отдельного слова, определяя его сочетаемостный потенциал. Именно этот аппарат позволяет отличить «развитие чего-либо» от «развитие в чём-либо» и понять, почему «тенденции развития» образуют допустимую группу, а «тенденции обществом» — нет.

    Аппарат сочетаемости групп слов, в свою очередь, описывает, как группы существительных соединяются между собой, образуя более сложные конструкции. Здесь главное слово одной группы может управлять зависимой группой, и вопрос-связь устанавливается уже не между отдельными словами, а между целыми группами. Так «тенденции развития цифровизации общества» собирается в единое целое, где каждая группа занимает своё место в иерархии.

    Перебираются варианты имён для этих аппаратов: «заполнение позиций», «сочетаемость слов», «сочетаемость групп слов», «сочетаемость слова с чем-либо». Требования к имени таковы: оно должно указывать на слова или их связь, а не на абстрактные позиции; не дублировать синтагмообразование; обозначать действие, а не свойство; не содержать химической метафоры валентности; и отличаться от других аппаратов по сути, а не по названию. В конечном счёте предпочтение склоняется к тому, что аппарат сочетаемости слова с чем-либо и аппарат сочетаемости групп слов — это разные сущности, и возникает вопрос: нужен ли отдельно аппарат согласования форм слов, или он включается в аппарат сочетаемости групп?

    Для описания алгоритмов — образования словоформ и разбора описания словоизменительных парадигм — предлагается использовать язык программирования Тривиль.

    Таким образом, перед нами не просто техническое задание, а попытка выстроить онтологию языка — от словоформы через группу существительного к связям между словами и группами. Имена аппаратов ищутся такие, которые были бы точны, не метафоричны и не дублировали друг друга. Нумерация отвергается в пользу содержательных названий: словоизменение, синтагмообразование, сочетаемость. Это стремление к ясности и системности делает задачу не только инженерной, но и философской. Ведь назвать аппарат — значит понять его суть, отграничить его от других и встроить в общую картину работы с текстом.