GotAI.NET

Форум: Проблемы искусственного интеллекта

 

Регистрация | Вход

 Все темы | Новая тема Стр.69 (71)<< < Пред. | След. > >>   Поиск:  
 Автор Тема: На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
NO.
Сообщений: 8105
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:18
Цитата:
Автор: ignat99
OCALM

ocaml
[Ответ][Цитата]
ignat99
Сообщений: 4014
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:32
Изменено: 04 мар 17 12:03
.
[Ответ][Цитата]
NO.
Сообщений: 8105
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 11:50
ML интересный язык для ИИ.
Матобученцы не понимают что общего между моделированием и выводом типов.
[Ответ][Цитата]
ignat99
Сообщений: 4014
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 18:51
Изменено: 04 мар 17 12:04
.
[Ответ][Цитата]
NO.
Сообщений: 8105
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 21:25
Да, это самое простое, под миллионы действий в секунду. Но и задачи в основном это просто формализовать данные и применить знания.
[Ответ][Цитата]
NO.
Сообщений: 8105
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 05 дек 16 23:17
The Circuit Realization at Faster Timescales (CRAFT) program seeks to shorten the design cycle for custom integrated circuits to months rather than years;
http://www.darpa.mil/program/circuit-realization-at-faster-timescales

где-то видел цифру, что при проектировании микросхем приходится решать SAT с миллионом переменных
[Ответ][Цитата]
ignat99
Сообщений: 4014
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 5:52
Изменено: 04 мар 17 12:05
.
[Ответ][Цитата]
kondrat
Сообщений: 2120
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 7:20
Цитата:
Автор: ignat99

Не кто не будет миллиарды переменных загонять тупо в матрицу 1 мил * 1 мил переменных ...

А я сейчас уперся в эту проблему из-за тяги к упрощению перебора и роста рефлексирующей структуры. Полнографие (гы-гы) в этом случае растет уж очень быстро.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2802
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 8:04
Цитата:
Автор: ignat99
Вход при вызове идет в одном регистре указателя, а выход в другом.

Ну, стек-то при этом всё равно будет эмулироваться, пусть и в общей памяти.
Ведь не все аргументы функции могут быть переданы в регистрах, и/или может не хватить регистров для хранения локальных (внутренних) переменных функции. Т.е. функция при её вызове может работать с неким участком памяти, куда всё будет складываться.
А если эта функция будет рекурсивной, или из обработчика прерывания (Вы же на чём-то ОСоподобном акцент делаете) можно будет вызвать функцию заново (с другими аргументами и адресом возврата) - то стек в общей памяти и сэмулируется, организацией нужного функции блока памяти под каждый вызов функции.
Т.е. однократный и нерекуррентный/нереентерабельный вызов - ещё ладно, поизвращаться с разными способами вызова можно. А в общем случае - для незаточенных на это архитектур будет лишний геморрой.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2802
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 06 дек 16 8:09
Цитата:
Автор: kondrat
А я сейчас уперся в эту проблему из-за тяги к упрощению перебора и роста рефлексирующей структуры. Полнографие (гы-гы) в этом случае растет уж очень быстро.

Задачку нормально опишите.
Ибо над задачами комбинаторной оптимизации (читай: перебор) большой размерности научный народ работает. Т.е. вполне могут существовать готовые рецепты.
Плюс - многоядерные процессоры, возможность распараллеливания вычислений.
[Ответ][Цитата]
ignat99
Сообщений: 4014
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 5:44
Изменено: 04 мар 17 12:06
.
[Ответ][Цитата]
kondrat
Сообщений: 2120
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 6:39
Изменено: 09 дек 16 7:05
Цитата:
Автор: Victor G. Tsaregorodtsev
Задачку нормально опишите.
Ибо над задачами комбинаторной оптимизации (читай: перебор) большой размерности научный народ работает. Т.е. вполне могут существовать готовые рецепты.
Плюс - многоядерные процессоры, возможность распараллеливания вычислений.

Похоже, я пока не могу объяснить это по-русски (((.
Ну, в общем, в основании должна быть матрица (n+1) x (m+1) (индексация 0...n, 0...m) над ней с целью выращивания более сложных причинно следственных связей строится измерение размером n умножить на m. Над ним н квадрат умножить на м квадрат и т.п. в начале перебора использоваться будут не все элементы, но отводить под них память динамически не охота. А вот перебирать это хозяйство волшебно просто.
ЗЫ
Точнее, две таких матрицы
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2802
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 7:29
Цитата:
Автор: ignat99
на дешевых ПЛМ другие ядра и не поместяться

Ладно, не буду спорить, тем более, что и не интересуюсь архитектурами (и системами команд у них), отличными от x86-32 и i64 (т.е. интеловские для персоналок, серверов и спецвычислителей типа MIC, Xeon Phi и его потомки).
Но вспоминается (ЕМНИП), что у первого Атома площадь кристалла была 1.5мм квадратных. Потому, что не было кэша третьего уровня размером в мегабайт и более, не было переупорядочивания команд в конвейере, ещё ряд упрощений был (Атом тогда ещё не был system on a chip - аппаратные интерфейсы реализовывались в одной или двух других микросхемах чипсета).
Т.е. старая архитектура позволяет путём её урезаний получать процессор на кончике иглы. Правда, тормозным этот процессор будет - но совсем не по причине поддержки каких-то стековых вещей помимо сегментной/страничной организации памяти.
[Ответ][Цитата]
Victor G. Tsaregorodtsev
Сообщений: 2802
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 7:45
Цитата:
Автор: kondrat
Ну, в общем, в основании должна быть матрица (n+1) x (m+1) (индексация 0...n, 0...m) над ней с целью выращивания более сложных причинно следственных связей строится измерение размером n умножить на m. Над ним н квадрат умножить на м квадрат и т.п. в начале перебора использоваться будут не все элементы, но отводить под них память динамически не охота. А вот перебирать это хозяйство волшебно просто.

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

Ну и Вы не сказали ничего о том, зачем/что перебирается. Может, там пригоден хороший алгоритм (типа того же Флойда-Уоршелла, который ищет кратчайшие пути в графе между любыми двумя вершинами), который, кроме этого, выражается через быстрые матем.функции (того же Флойд-Уоршелла можно выразить через операции произведения матриц - а быстрые версии библиотеки BLAS ("стандарта" для высокопроизводительной работы с векторами и матрицами) сейчас есть для всех распространённых процессоров).
Т.е. непонятна собственно "алгоритмическая нагрузка" на Ваши данные - например, её пропорция между общим числом обращений к памяти (чтений и/или записей) и общим числом вычислительных операций. При существовании готовых оптимизированных решений для кучи типовых (под)задач, которые могут быть применены и будут существенно быстрее самописного кода.
[Ответ][Цитата]
ignat99
Сообщений: 4014
На: Схема Александера,Кибернетика 2 или информационный аутопойезиз
Добавлено: 09 дек 16 9:17
Изменено: 04 мар 17 12:07
.


[Ответ][Цитата]
 Стр.69 (71)1  ...  65  66  67  68  [69]  70  71<< < Пред. | След. > >>