Комментарий к «О фундаментальных принципах»от serj_aleks в metamodeling

В общем и целом, мои ориентиры:

1) Надо всё время помнить, что главным программистом будет не гомосапиенс, а сам AI.
Отсюда основное требование к архитектуре и набору фич: лёгкость самомодификации системы на лету.
Ну примерно как в Prolog программа есть БД предикатов, и в развитых реализациях Пролога побочкой от прохода резолюции может быть в т.ч. модификация базы предикатов.
/* Исходя из этого в своё время и пророчили LISP'у главную роль в ИИ. */

2) То что Haskell сильно "зарулен", как раз облегчает самопрограммирование — проще сделать "безошибочный" автоген.
hsl-компиляторы могут делать нативный код сами, могут через IR/LLVM, можно и на JVM, CLR, BEAM/Ling, etc.

Лично мне кажется самым многообещающим вариант Ling@Xen как "химическая основа жизни", и экосистемы Erlang, Haskell, Clojure, Prolog/Datalog, Rebol и т.д. Ну и не забываем про SurepNUMA — вместо "фоннеймановской" прямоадресуемой регистровой памяти — отдельная экосистема транзакционной памяти с комплексной параметрической (дексрипторы/селекторы) адресацией
И, да: такую виртмашину придётся делать самим.

3) ПММ трансляция в машкод особого смысла не имеет: в идеале на процах с большим кешем весь код VM поместится в Instuction Cache, а байт-коды [НЯЗ] компактнее машинных на всех железных архитектурах.
Если правильно делать CPU-Affinity подлежащих сервисов типа DBMS/NetStack/IO/etc и вовсю юзать плюшки типа RDMA, то кеши будут использоваться наилучшим способом, и мы упрёмся скорее в DiskIO и собственно алгоритмическую сложность.

4) Самое-самое главное. О чём мы тут практически ни разу не упомянули.
Совершенно не факт, что то, что мы в итоге хотим/ожидаем получить, полностью алгоритмизуемо.
Т.е. надо сразу закладываться на включение в систему каких-нибудь источников спонтанности/"инаковости" — аппаратных генераторов случайных чисел, аналоговых вычислителей, квантовых вычислителей, киборг-модулей, ну и вообще всякого "такого". С соотв интерфейсами.

Посмотреть обсуждение, содержащее этот комментарий

Error

Anonymous comments are disabled in this journal

default userpic

Your reply will be screened

Your IP address will be recorded