Ищу возможных партнёров

[PavelZX]

Если гаджет программный, то согласен.
Если гаджет аппаратный, специализированный, заточенный под решение конкретной задачи, то ПК останется позади. Преимущество ПК в открытости и гибкости, а вот со всем остальным как-то не очень...


А что с чем сравнивали и как измеряли?


А почему будет выйгрыш в скорости или ускорение ИИ? Ведь предлагаемое решение сводится к созданию слоя абстрагирования при сохранении двоичной логики на фундаментальном уровне. Фактически это та же библиотека или IP-ядро для FPGA.

Знаю, что у них программные гаджеты, на основе миникомпьютеров вроде Банана/Орандж ПК. Хочу сделать как раз специализированную плату, а ПК использовать как хранилище данных и устройство ввода/вывода.

Никакой абстракции, как раз наинижайший уровень. Микроядра работающие по принципу квадрологики. Думаю о эмуляторе, для проверки идей, но сделать хорошую программу эмулятор -- тоже надо время и знания.

Эмпирически считаю, что разрабатываемое устройство, на порядок будет эффективнее, чем приведённый пример.

[PavelZX]

Я не представляю как на обычной FPGA можно эффективно реализовать коэффициенты нечёткой логики. Мне кажется что нечеткую часть можно заменить дискретной квази-нечеткой. Фактически у вас присутствует это деление "очень осторожно- среднеосторожно - неосторожно".
Как был составлен логический базис? или это произвольные функции для примера?

У меня лишь некоторая аналогия, с нечёткой логикой. Коэффициенты -- это целые числа, а работа с ними это, в основном, сложение и сравнение этих чисел.

Давайте, подключайтесь к обсуждению здесь
http://www.cyberforum.ru/ai/thread1552028.html
там я выложил чуть больше информации и ссылку дал на репозиторий.

[raxp]

Не, неинтересно. Алгоритма таки нет. SmittWesson хоть и прикладывается, но дело говорит.

P.S.: рекомендовал бы ознакомиться с конкретными работами в этой области применительно к ПЛИС.

[PavelZX]

Не, неинтересно. Алгоритма таки нет. SmittWesson хоть и прикладывается, но дело говорит.

P.S.: рекомендовал бы ознакомиться с конкретными работами в этой области применительно к ПЛИС.

SmittWesson Прикалывается, не потому, что ему "не интересно" или он отрицательно относится к моей идее/разработке, а потому, что ему и так есть чем заниматься, вместо того чтоб вникать в тонкости идеи.

Вашу ссылку, на рекламный проспект от Ксайлинкса смотрел уже, не пойму, что вы там хотели мне показать, помимо предпроцессинга распознавания образов для машинного зрения.

Программисты, как алхимики древности верили в философский камень, верят в некий универсальный алгоритм для ИИ. Я вас разочарую, такого супер алгоритма не существует.

Моя разработка идёт в немного другой плоскости, нежели имитация нейронной сети или семантическая экспертная система, хотя некие параллели можно найти. Главная особенность проекта, некая структура данных, в организации которой уже вшиты элементы алгоритмов СИМ. Сожалею, что очень мало у нас специалистов в проектировании на hdl, которые бы имели свободное время и возможности поучаствовать в проекте. Хотя и не отрицаю возможность проверить работу СИМ на эмуляторе, но считаю создание эмулятора квадрологики не эффективным по затратам труда решением. Так как архитектура СИМ разрабатывается с расчётом максимально возможного параллелизма и на последовательной архитектуре в программном эмуляторе может всё просто не взлететь.

[raxp]

Программисты, как алхимики древности верили в философский камень, верят в некий универсальный алгоритм для ИИ. Я вас разочарую, такого супер алгоритма не существует.

фу-фу-фу, мне совершенно неинтересно то в чем вы кого то пытаетесь уверить или разачаровать. ИИ - не алгоритм, а интереса мало потому, что вы все воду льете в темах, одно и то же постоянно. Вам и тут намекали спуститься с небес на землю и реализовать хотя-бы нечеткую логику. В издании, кстати, про нее намекал.

SmittWesson Прикалывается, не потому, что ему "не интересно" или он отрицательно относится к моей идее/разработке, а потому, что ему и так есть чем заниматься, вместо того чтоб

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

вникать в тонкости идеи.

да нет никакой идеи.

[omercury]

Женскую логику конструячите?
...так она уже давно есть...

[Parallax123]

Павел, добрый вечер.
Вы говорите про использование частного случая k-ичной логики. При этом остается отрытым вопрос полноты базиса.
Для двоичного случая (то есть 2-ичной логики) полнота базиса является доказанной.
Далее, предлагается реализовать возможно неполный k-ичный логический базис посредством линейных комбинаций функций 2-ичного базиса.
В этом случае не всякую задачу получится решить в данном подходе, но всякую решаемую можно решить и в стандартной двоичной логике.

К чему говорю, изготовление "железа" на базе ПЛИС не привнесет неких новых свойств, лишь увеличит скорость проведения цепочки логических операций. То есть можно выстроить программную модель вашего логического элемента, построить из них структуру и провести эксперименты in silico. Понятно, скорость рассчета будет велика, но зато если принцип даст хороший результат, можно будет осознанно переходит к созданию спецвычислителя, понимая при этом требования к этому железу и имея оценки прироста производительности.
И принципиально другое движение - реализация k-ичной логики на элементе, физически обладающим несколькими состояниями. Такие работы были - на основе магнитных доменов, на основе спиновых ансамблей и т.п. Они не завершились ввиду утраты финансирования и в виду локальных успехов конкурирующих 2-ичных машин на Si.

Поэтому железку можно не делать - сначала достаточно поставить эксперименты на ПК, на сети ПК.

[PavelZX]

Павел, добрый вечер.
Вы говорите про использование частного случая k-ичной логики. При этом остается отрытым вопрос полноты базиса.
Для двоичного случая (то есть 2-ичной логики) полнота базиса является доказанной.
Далее, предлагается реализовать возможно неполный k-ичный логический базис посредством линейных комбинаций функций 2-ичного базиса.
В этом случае не всякую задачу получится решить в данном подходе, но всякую решаемую можно решить и в стандартной двоичной логике.

К чему говорю, изготовление "железа" на базе ПЛИС не привнесет неких новых свойств, лишь увеличит скорость проведения цепочки логических операций. То есть можно выстроить программную модель вашего логического элемента, построить из них структуру и провести эксперименты in silico. Понятно, скорость рассчета будет велика, но зато если принцип даст хороший результат, можно будет осознанно переходит к созданию спецвычислителя, понимая при этом требования к этому железу и имея оценки прироста производительности.
И принципиально другое движение - реализация k-ичной логики на элементе, физически обладающим несколькими состояниями. Такие работы были - на основе магнитных доменов, на основе спиновых ансамблей и т.п. Они не завершились ввиду утраты финансирования и в виду локальных успехов конкурирующих 2-ичных машин на Si.

Поэтому железку можно не делать - сначала достаточно поставить эксперименты на ПК, на сети ПК.

Об эмуляции думал и не раз, тем более пока считал, что работа с программируемой логикой для меня неподъёмна, учитывая что стоимость топовых чипов FPGA исчислялась даже не сотнями, а тысячами $. Сейчас, по изучав (немного) языки аппаратуры и, изучив ситуацию на рынке, вижу, что возможность реализации в железе ускорителя имеется.

Есть возможность получить эмулятор на Эрланге, специалист знающий этот язык, планирует этим заняться. Для меня же, как электронщика, прежде всего, железяки ближе. С другой стороны буду рад любой помощи и даже просто советы анализирую, на всякий случай.

Даже подобрал пяток старых компов, чтоб объединить их в кластер, если появится эмулятор. Сам я пока думал сделать эмулятор в виде макросов Common Lisp, но ещё не доделана до конца спецификация по образам, вернее её самая интересная часть -- действия.

[PavelZX]

Апну, тему.

Ищу специалистов, относительно свободных во времени и интересующихся вопросами реализации ИИ.

[vla-serenkov]

Решать эту глобальную задачу нужно одновременно с синтезом элементарной ячейки, реализующей требуемые логические функции с анализом возможностей всех известных вариантов.