И в этом смысле при внимательном изучении статей такие возможности ищутся, хотя и не скажу что просто (потому что мой вариант обобщения я нашёл через год, столкнувшись с его необходимостью на практике).

Идея для магистерской. )
Сделать интерпретатор интерпретаторов.
Нечто вроде НАМ=нормальные алгоритмы Маркова.
Некую помесь Форта, Лиспа, ML...

Если бы смогли сделать удобный инструмент (язык) для удобного конструирования моделей (конструкций) описания и исполнения задач произвольных областей. Некое удобное "модельное" исчисление, исчисление конструкций, которое бы позволяло удобно абстрагироваться и легко описывать задачи в конструктивных терминах и легко понимаемых человеком.
Это бы позволило малыми силами делать какие-то отдельные подсистемы AGI или даже какой-то довольно примитивный AGI со всеми подсистемами.
Ну и в целом такой язык был бы полезен.
Нечто такое задевает в целом трансформацию программ, частичные вычисления,  суперкомпиляцию, генеративное программирование и т.п.

Такое уже есть, называется language workbench и по сложности это гораздо выше магистрской работы

Насчёт AGI, Вы знакомы с OpenNARS и OpenCog?

По уровню магистерской. Надо с урезанной версии начинать, а насколько разовьется, в зависимости от того, сколько времени хватит.

Немного в курсе. Я в этом https://t.me/agirussia сообществе тусуюсь. )

Класс. Так вот, проблемы там совсем не в языке программирования.

Там проблем много. И я вижу проблемы и в языке программирования тоже. Языки плохо приспособлены к порождению абстракций и работе с ними. Доказательством тому служит множество имеющихся языков. Имхо, конечно. Я так вижу. )

Не надо только путать мета-язык и объектный язык.
AGI строит абстракции в своём объектном языке. На каком мета-языке он запрограммирован и что там с абстракциями влияет только на количество геммороя у разработчиков. Который по факту находится на приемлемом уровне.

Не путаю. Нужен метаязык метаязыков.
По моим воззрениям сознание/AGI это метаалгоритм генерации алгоритмов (моделей, исчисление моделей). В качестве такого универсального инструмента можно и надо выбирать язык моделей в расширенном виде как обобщение моделей в инженерном виде, так и до моделей метаматематики.
А вот каков этот универсальный метаязык моделирования и метамоделирования не совсем ясно. В том виде как это испоьзуется в метаматематике (теория моделей), практически использовать трудно. Хотя попытки есть. Системы доказательства теорем, например.

метаязык для создания языков + GNU Dynamic Language Runtime over LLVM, хотя для этого вроде Haskell #1

Jetbrains Nitra

agi это artificial general intelligence?

разве что с упором на реактивное программирование, и распределённые системы смотреть, на базе Erlang...

Да.

ок

На эту тему можно пофантазировать в https://t.me/typeslife — Вам там энтузиасты ответят.

Спасибо, посмотрю. )

Я просто подкинул человеку новизну для магистерской. )

Вы не правильно понимаете понятие научной новизны. Это не только открытия. Для начала надо определить, что такое научное знание (можно погуглить, все уже сделано). После этого можно определить научную новизну как создание нового научного знания. И еще надо учесть, что научная новизна - не единственное требование. Не все научное знание одинаково полезно.