@PavelZX

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

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

1

@PavelZX

Если применительно к вашему примеру, то в реальных устройствах существует область допустимых значений, для get_sensor_a или get_sensor_b, также результат c=f(a,b) должен иметь свои ограничения, иначе система либо останавливается, с генерацией сообщения об ошибке, либо работает по аварийной программе, подставляя некоторое усреднённое значение вместо ошибочного с неверно показывающего датчика. В простой системе все эти варианты реакции на события можно спрогнозировать и заранее запрограммировать, впрочем всё равно результирующее устройство может работать с ошибками и требует наладки.

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

0

@xeonz

И какой у вас из этого вывод?

0

@PavelZX

Простые системы управления пусть как и раньше разрабатываются проверенными инструментами. А для сложных я предлагаю свою разработку, Язык Образов, в качестве платформы для программирования, на основе адаптационных алгоритмов, способных решать задачи на при неполноте информации. Система получает на входе описание технологического процесса, параметры оборудования и, в результате общения с авторами и технологами, формирует управляющие последовательности для исполнительных устройств.

0

@xeonz

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

0

@PavelZX

СИМ предназначен для других задач, но Язык Образов рассчитан на перспективу.

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

0

@PavelZX

Так или иначе, Язык Образов будет жить. Последняя статья на сайте завершает описание теоретической базы. http://caiw.ru/imitatsiya-emotsij/

Теперь дело за созданием Конструктора Образов. Для начала разобрал простой пример на основе React-Redux https://github.com/PavelZX/wagtail-react-blog Wagitail/Django в бекенде, сейчас он у меня на сервере установлен.

Разбираю так же, более навороченный пример https://github.com/PavelZX/phoenix-trello там в бекенде Phoenix/Elixir, Elixir относительно новый ЯП, сделанный на виртуальной машине Erlang, добавляет некоторое удобство в работе, используя все прелести OTP. Этот стек более перспективен, так как на Elixir и Redis (с использованием функций на Си) работа обработчиков событий в Коллекциях интеллектуальных агентов будет более быстрой и стабильной.

Добавлено через 3 минуты
Тут собираю команду так, что кто хочет одновременно учиться и работать над интересным проектом, добро пожаловать к нам.

0

@PavelZX

Продолжаем работы над проектом UEF, ищу начинающих 3D моделлеров. Для нового демо нужны простые модели внешних блоков стационарных объектов и космических кораблей.
Для работы над конструктором образов, приглашаю к сотрудничеству начинающих фронтенд разработчиков, кому интересно научится разрабатывать одностраничные приложения.

0

@PavelZX

Одна из последних моих статей по Языку Образов. http://caix.ru/osnova-iskusstvennogo-razuma/ Может кому будет интересно...

0

@vantfiles

Язык нечеткого управления -- Деменков Н.П., МГТУ им. Н.Э. Баумана, г. Москва, Россия
http://www.picad.com.ua/0406/pdf/soft.pdf

Ю.Н.Хижняков -- Алгоритмы нечеткого, нейронного и нейронечеткого управления в системах реального времени
http://file.at.pstu.ru/materia... nyakov.pdf

Заде Л.А. -- Понятие лингвистической переменной и его применение к принятию приближенных решений.-М.:Мир, 1976.-165 с.
https://scask.ru/a_book_zade.php

Добавлено через 1 минуту
Нечёткая логика
https://ru.wikipedia.org/wiki/Нечёткая_логика

Добавлено через 6 минут
Собственно, все это объединяется понятием:

Мягкие вычисления
https://ru.wikipedia.org/wiki/Мягкие_вычисления

0

@PavelZX

Хорошо, пусть будут мягкие, я не против. По статье есть что сказать?

0

@vantfiles

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

Итак, очень много воды, лирики и отсутствия аргументации.
С самого начала сыплются фактические ошибки:

Удивлю, наверное, но все было как раз наоборот.

К таким языкам относятся все динамические языки программирования:

Forth, Perl, Python, PHP, Ruby, Smalltalk, Tcl, JavaScript, Lua, Lisp, Squirrel... при желании список можно продолжить другими, уже менее известными.

Недоказуемое утверждение.

Ну и самое главное -- Язык образов 07.01.2017 -- Сегодня, 05.11.2021
Описание до сих пор находится на уровне абстракций и авторских "хотелок".

2

@PavelZX

Первыми были механические вычислители, потом пришли реле и моторы. Затем появились электронные лампы, а уж далее ворвались в мир полупроводниковые приборы. Программы тогда задавались переключателями и потенциометрами, чуть позже появились перфокарты и оперативная память на ферритах. Это что касается "железа". С появлением ламп представилась возможность аналоговых и смешанных цифро-аналоговых вычислений, где как раз во всю использовались "мягкие вычисления".

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

Добавлено через 22 минуты
Большое спасибо, что не поленились прочитать статью!

Но ваше утверждение в корне неверно, так как вами была вырвана фраза из контекста. Речь идёт не только о "модификации кода на лету" и "смешанном потоке данных и кода", а организации всей системы так, чтоб она могла адаптироваться к задачам и более того сама их формировать. Вы сможете, на любом из перечисленных языках, сделать систему (речь идёт не об отдельной программе, созданной под конкретную задачу), которая исходя из своего предназначения, сама будет формировать круг задач, необходимых для соответствия предназначению? Но и сами по себе, существующие языки программирования, не предназначены для этого, ЯП всего лишь инструменты, для решения задач. Это уже уровень архитектуры и он не зависит от выбранных инструментов. В тоже время, спроектированный изначально под набор задач инструмент и соответствующая оснастка позволяет решать их эффективнее. Но если задаться вопросом о том, как сделать так, чтоб необходимые инструменты появлялись сами?

Добавлено через 9 минут
Я не фаталист и не считаю, что мы лишь исполнители чужой воли. В Языке Образов нет разделения на данные и код, но можно, в сравнении с классикой, образы-действия соотнести с частями кода. А наборы действий, представить как небольшую программу. Человек сам создаёт правила (наборы действий), в процессе своего развития, а не получает их извне.

Добавлено через 4 минуты
Время одиночек и небольших групп энтузиастов ушло. Я мало могу сделать сам. (Практически я немного занимаюсь веб-разработкой на JS/PHP.) Теория проработана полностью, а с Конструктором Образов вышла заминка, причём не связанная с программированием, как таковым, а больше с самим дизайном проекта.

0

@Mikhaylo

Алгоритмов и абстрактных языков, концепций, вероятностных/статистических моделей умотаться, выше крыши. И все они как-то что-то работают, худо-бедно.
Времени энтузиастов и небольших групп никогда не было, и никуда оно не уходило и не приходило. Есть обученные специалисты (ученые и инженеры) - вот они и есть энтузиасты, они пишут статьи в научных журналах и читают друг друга. А необученные неспециалисты никогда не придумывали ничего толкового, вы слишком хорошего мнения о самоучках. Устраните когнитивный диссонанс в своей голове, вас в школе обманули, когда говорили, что спусковым крючком нового открытия было падение яблока на голову, принятие ванны, сновидение и т.п. Это все байки. Новые открытия делают только люди прокачавшиеся в университете, аспирантуре, докторантуре...

1

@PavelZX

Что нового может предложить человек, большую часть жизни потративший на копошение в старом? Только небольшое усовершенствование. Реально, что-то революционно новое можно создать лишь отбросив всё лишнее, а лучше не тратить силы на весь этот балласт!

0

@vantfiles

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

Вы на верном пути, идете следом.

Добавлено через 6 минут
Ну так создайте. За четыре года Вы не смогли вменяемо объяснить, что же это такое - "Язык образов".

0

@Mikhaylo

Вы думаете какой-нибудь профессор не докумекает разработать аналог вашего "языка образов" (если таковой был бы чем-нибудь полезен)? К сожалению, в вашем мирке нет информации о том, как делаются открытия. Вы знаете только откровенную бытовуху, когда ваш отец сказал что-то вроде "Все хрень! Это надо как-то по-другому придумать!". Вам кажется, что ученые должны релакснуть, потянуться и сказать: "В универах преподают ложь, это все не работает, тут какая-то другая замутка!".

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

Если вы хотите понять, как работает интеллект, так попробуйте понять машинное обучение. МО основано полностью на матстатистике. Там будут понятия модель, вектор, алгоритм, регрессия, классификация, пространство, признак и т.п. Может быть на самом деле ваш язык образов - это математический язык, на нем можно записать все безошибочно. Но вы со своим уставом придете, а вам скажут: "Так мы уже давно знаем, что вы не знаете, это преподают на втором курсе".

Вам хочется потешить самолюбие, засела мысля и верится, что прорыв где-то недалеко. Ну хотите язык образов в готовом виде? Вероятностная модель. Почитайте про это.

0

@PavelZX

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

Добавлено через 1 минуту
Миша, вы так верите в математику...

0

@vantfiles

"Веревка! — вервие простое!"

Добавлено через 4 часа 4 минуты
Если кто не читал: https://www.cyberforum.ru/blog... g7331.html

0

@Mikhaylo

Почему смысловая единица? Целый смысловой модуль, могущий принимать различные формы!

0

@PavelZX

Имею ввиду именно простые образы. К ним относятся признаки (горячий-холодный), на которые раскладываются все остальные образы, что действия, что объекты. Простые действия, которые отвечают за изменение одного признака у объекта (нагревать-охлаждать). Возможны и простые объекты в виде абстракций (температура).

0