Язык образов

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

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

1

Сообщение от xeonz Вообще не понятно, что все носятся с этой неоднозначностью.

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

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

0

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

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

0

Сообщение от xeonz И какой у вас из этого вывод?

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

0

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

0

Сообщение от xeonz То, что якобы решает ваша система, будет решаться системами ИИ на базе нейросетей.

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

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

0

Так или иначе, Язык Образов будет жить. Последняя статья на сайте завершает описание теоретической базы. 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

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

0

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

0

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

Язык нечеткого управления -- Деменков Н.П., МГТУ им. Н.Э. Баумана, г. Москва, Россия
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

Сообщение от vantfiles Собственно, все это объединяется понятием: Мягкие вычисления

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

0

Сообщение от PavelZX По статье есть что сказать?

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

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

Вдаваться в историю программирования http://informat444.narod.ru/museum/lanr/evol.htm как такового не буду, но классическое программирование началось с так называемого процедурного. https://www.info.ucl.ac.be/~pv... eng108.pdf На том этапе его было достаточно, для простых математических вычислений, чем и занимались компьютеры (вычислители), ведя свою родословную от арифмометров и калькуляторов. Процедурное программирование потом, подкреплённое некоей теоретической базой, переросло в императивное, подкреплённое позже ООП парадигмой.

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

Только в отдельных языках программирования имеется возможность организовать модификацию кода на лету http://rsdn.org/projects/rshar... rp_mag.xml, но полноценный смешанный поток данных и кода в современных системах встречается очень редко.

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

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

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

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

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

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

2

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

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

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

Добавлено через 22 минуты

Сообщение от vantfiles К таким языкам относятся все динамические языки программирования

Большое спасибо, что не поленились прочитать статью!

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

Добавлено через 9 минут

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

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

Добавлено через 4 минуты

Сообщение от vantfiles Описание до сих пор находится на уровне абстракций и авторских "хотелок".

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

0

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

1

Сообщение от Mikhaylo Новые открытия делают только люди прокачавшиеся в университете, аспирантуре, докторантуре...

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

0

Сообщение от PavelZX Что нового может предложить человек

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

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

Добавлено через 6 минут

Сообщение от PavelZX можно создать лишь отбросив всё лишнее

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

0

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

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

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

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

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

0

Сообщение от vantfiles что же это такое - "Язык образов"

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

Добавлено через 1 минуту

Сообщение от Mikhaylo Вероятностная модель.

Миша, вы так верите в математику...

0

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

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

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

0

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

0

Сообщение от Mikhaylo Почему смысловая единица?

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

0