Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Ты, Velkin, тоже агитируешь за обмен знаниями. Прокомментируй, пожалуйста, сложившуюся ситуацию.

Посмотрел документ gost_r_59791-2021.pdf. На мой взгляд это не взлетит. Были уже всякие лиспы, прологи и прочее. А ещё некоторые пытались сделать метасистемы. Но дело не в том, что идея плохая, просто это слишком сложно.

1. Нужна программная реализация, причём не только в виде текста, желательно графическое представление и редактирование. В противном случае обычные пользователи это не осилят.
2. Нужны уже набранные данные с возможностью перевода под конкретного человека. А перевода сейчас нет даже на обычных языках, а в лучшем случае там английский или вовсе вспомогательные символы.

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

Для начала я хотел.
1. Запоминать и извлекать знания без внешних носителей.
2. Переводить внешние носители на лету под конкретных людей.
Например, в документе написано импликация, коньюнкция, дизьюнкция и прочее, что может быть существенно упрощено при переводе на русский язык для тех кто им пользуется, или на китайский для китайцев и так далее.
3. Создать синтаксические правила для конструирования, причём желательно в графическом виде.

Логические языки стоят где-то после этого, то есть я на такое не думал замахиваться, так как не достиг даже первоочерёдных целей.

Хотя то же запоминание по сути основано на.
1. Списках. Графах.
2. Переводах. Таблицах.

Конкретно про эту тему я думаю нужно поместить её в закладки до лучших времён, если мне придёт в голову исследовать логику. Пока в сфере моих интересов в основном производное от императивного программирования, декларативным не занимался.

Более того единственные опыты, которые хоть как-то на это похожи у меня были с языком пролог. Что я могу сказать про пролог и в частности про swi-prolog. Логика работает, но это неудобно использовать. И в принципе надо качать сознание чтобы на этом писать. В итоге я возвращаюсь к старым идеям перечисленным выше где все языки это просто символы и звуки.

Лично я сейчас завис на двух идеях.
1. Личная база знаний. Пытаюсь адаптировать под неё Wordpress, пока нет своего решения (coder).
2. Карточки повторений. Здесь надо переделывать мою программу (teacher), она сейчас слишком наивна, но чужие вообще непригодны к использованию.