Искусственный интеллект на борту ЛА

[tau797]

Коллективы в прикладном Ии не образуются даже за 10-15 лет.. И в ракетостроении это были 3-4 группы на 1991 г..

Ничего страшного Людмила Сергеевна на Прологе изобразить не могла - ибо Пролог в сущности Rules Engine - для Экспертной системы.. в данном случае для управления штатными режимами с небольшой корректировкой укладывающейся в Монотонную логику 1-го порядка..

В ваш радел попал случайно, разрешите вернуться в строй раздела IT!

Нет уж, мы Вас просто так не отпустим!
Что за Лариса Сергеевна? Она работала у Крюкова? Или у Эйсымонта?

[ARARAT.]

PS Кстати скорость Пролога зависит от железа, так вот если 30 лет назад оно было очень и очень медленное и то сделали на Буране, то сейчас на современном железе скорость будет более чем достаточная для боевого самолета, ну или по крайней мере сфера применения(по скорости и мощности) будет гораздо шире... Мое ИХМО конечно.

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

Коллеги, не путайте. "Пролог на Буране" был, насколько я понимаю, на Земле. Т.е. задействовался в процессе разработки БПО. А на борту был исполняемый просто код. Собственно, так же может быть и на Т-50, и с VxWorks - т.е. генерация в кросс-системе кода для целевой платформы.

А на сколько я помню, и на борту тоже...

[Компас]

Это называется "native компилятор Пролога", зачем такие сложности с описанием? GNU Prolog, например, генерит машинный (native) код из Пролог программ.

Затем, что вы не поняли сути.

Т.е. вот это, что вы написали:

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

не описывается одним кратким "компиляция в машинный код"?

Я вам тогда еще доходчивей распишу:

Попробуем представить себе такой процесс. На некоем языке, похожем на Пролог, специалисты по логике управления бортовыми системами описывают правила, как именно ими управлять. Далее, аналогично тому, как по тексту на Си компилятор строит код на ассемблере, с помощью специального инструмента GNU Prolog генерируется программа на низкоуровневом языке. И именно она исполняется потом на борту ЛА

и никаких магических специальных инструментов не нужно.

[Компас]

Ничего страшного Людмила Сергеевна на Прологе изобразить не могла - ибо Пролог в сущности Rules Engine - для Экспертной системы.. в данном случае для управления штатными режимами с небольшой корректировкой укладывающейся в Монотонную логику 1-го порядка..

Что тут некоторым специалистам уже 3-ю страницу пытаются доказать. А они - AI, AI, человеческий интеллект и т.п.

[ARARAT.]

Коллективы в прикладном Ии не образуются даже за 10-15 лет.. И в ракетостроении это были 3-4 группы на 1991 г..

Ничего страшного Людмила Сергеевна на Прологе изобразить не могла - ибо Пролог в сущности Rules Engine - для Экспертной системы.. в данном случае для управления штатными режимами с небольшой корректировкой укладывающейся в Монотонную логику 1-го порядка..

В ваш радел попал случайно, разрешите вернуться в строй раздела IT!

Нет уж, мы Вас просто так не отпустим!
Что за Лариса Сергеевна? Она работала у Крюкова? Или у Эйсымонта?

+1
Ето кто еще за спец такая известная Людмила Сергеевна.
Вон Компас ее похоже знает...

[ARARAT.]

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

Даже странно, что ето может быть не пoнятно...

[tau797]

Я вам тогда еще доходчивей распишу:

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

[erix]

Специалисты по системам, управленцы писали логику управления на чем-то, полученном из ПРОЛОГа, а затем собственно управляющая программа на низкоуровневом, вероятно, языке, генерировалась автоматически

Ничего не понял. Что из чего генерировалось и где при этом стояли специалисты. Можете перефразировать?

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

Чем это не компилятор?

[tau797]

Чем это не компилятор?

Довольно долго объяснять. Ключевые слова выше привел ARARAT.

[erix]

Чем это не компилятор?

Довольно долго объяснять.

Дайте ссылку.

Ключевые слова выше привел ARARAT.

Там больше похоже на набор слов. Языками высокого уровня можно управлять чем угодно если есть низкоуровневые плагины в язык. Erlang (один из наследников Prolog-а), например, используется в soft-realtime управлении раутеров.

[tau797]

Чем это не компилятор?

Довольно долго объяснять.

Дайте ссылку

См. выше. Боюсь, более подробные материалы найти будет непросто.

Языками высокого уровня можно управлять чем угодно если есть низкоуровневые плагины в язык. Erlang (один из наследников Prolog-а), например, используется в soft-realtime управлении раутеров.

"Можно в телекоммуникациях" - не синоним "нужно в управлении КА".

P.S. Кстати, по моим сведениям, Erlang - функциональный язык.

[ARARAT.]

...

Ключевые слова выше привел ARARAT.

Там больше похоже на набор слов. Языками высокого уровня можно управлять чем угодно если есть низкоуровневые плагины в язык. Erlang (один из наследников Prolog-а), например, используется в soft-realtime управлении раутеров.

Плагины далеко не решают всех задач, плагины просто дают примитивный доступ к простейшим операциям низшего уровня, но они я образуют етот нижший уровень...
Задача стоит гораздо шире в многоуровневых система. Нижший уровень должен быть "самостоятельным", и динамически изменяюшийся...
Т.е. если привести более понятную аналогию, "внизу" должны быть изменяющиеся(по коду) "сверху" типа "драйверов" устройств, а не просто "порты" ввода/вывода данных, причем етот низший уровень должен быть самостоятельным, т.е. под собственным управлением...
Ерланг как уже заметили функциональный язык, т.е. далеко не Пролог... Prolog ето не только логика на уровне "if then else".

[ARARAT.]

Чем это не компилятор?

Довольно долго объяснять.

Дайте ссылку

См. выше. Боюсь, более подробные материалы найти будет непросто.

Языками высокого уровня можно управлять чем угодно если есть низкоуровневые плагины в язык. Erlang (один из наследников Prolog-а), например, используется в soft-realtime управлении раутеров.

"Можно в телекоммуникациях" - не синоним "нужно в управлении КА".

P.S. Кстати, по моим сведениям, Erlang - функциональный язык.

+1
Вторая часть особенно...

[Okella]

Кто слышал о скандале с российскими беспилотниками
и решении закупить таки в Израиле?