От Iva
К bedal
Дата 19.07.2019 20:43:43
Рубрики Современность; Флот;

Re: Вы ведь...

Привет!
>Шахматы невозможно просчитать, пока программы пытались это сделать, они проигрывали.

если тупым перебором - то да, это очень сложно.

>Потом появились программы с эмпирикой, там число вариантов ограничивалось за счёт заранее внесённых оценок.

вы путаете переборы и считаемость (алгоримизацию). Шахматы хорошо алгоритимизируются - в них строгие правили и никакой внешней стохастики.

>Надо не забывать, что по шкале биологических систем управления всё это пока что не выше уровня условных рефлексов. Но результат уже впечатляет, не так ли?

все это в рамках жестких правил. Грубо говоря один анализ и никакого синтеза. И никакой неопределенности.


Владимир
От bedal
К Iva (19.07.2019 20:43:43)
Дата 21.07.2019 12:17:37

такое ощущение, что переписываюсь с 80-ми годами (-)
От Danilmaster
К bedal (21.07.2019 12:17:37)
Дата 21.07.2019 19:20:37

Re: такое ощущение,...

Приветствую!

Да правильно вам все написали, и это что в 80-е, что сейчас актуально.
С уважением, Danilmaster
От bedal
К Danilmaster (21.07.2019 19:20:37)
Дата 22.07.2019 09:27:02

извините - нет.

Но то, что Вы согласились, что попахивает 80-ми, ценно. Спасибо :-)

На самом деле разговор уходит в сосание пальцев философические рассуждения по принципиально неправильно осознанным моментам:

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

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

Замечу, что полёт самолёта (пока он в воздухе) - одна из наилегчайших для формализации задач в окружающей нас физической реальности.
От Iva
К bedal (22.07.2019 09:27:02)
Дата 22.07.2019 15:20:19

Re: извините -...

Привет!

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

тут полностью согласен.

>Замечу, что полёт самолёта (пока он в воздухе) - одна из наилегчайших для формализации задач в окружающей нас физической реальности.

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


Владимир
От bedal
К Iva (22.07.2019 15:20:19)
Дата 22.07.2019 16:03:57

да ну, как же

формализации не поддаются попадающиеся под ноги живые существа и непонятного происхождения мусор. Потому-то на земле и сложно строить модели. А состояния аппарата в воздухе вполне формализуемы (покуда задача аккуратно пролетать сквозь рой комаров и стаю чижиков не ставится :-).

Кстати, сын, довольно долго занимавшийся авиационными тренажерами, ознакомившись с моделями в ортодонтии (раздел стоматологии) - с удивлением рассказывает, насколько в последней модели движения зубов сложнее.
От Iva
К bedal (22.07.2019 16:03:57)
Дата 23.07.2019 15:06:57

Re: да ну,...

Привет!

>формализации не поддаются попадающиеся под ноги живые существа и непонятного происхождения мусор. Потому-то на земле и сложно строить модели. А состояния аппарата в воздухе вполне формализуемы (покуда задача аккуратно пролетать сквозь рой комаров и стаю чижиков не ставится :-).

вам бы какой нибудь сериал про расследование авиакатастроф посмотреть :)
пока все нормально - все формализовано, а как бяка - так вся формализация полетела к черту.

>Кстати, сын, довольно долго занимавшийся авиационными тренажерами,

так тренажер это формализованная железака.

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

да, какие-то случаи отработаны, но жизнь регулярно подбрасывает новые.

Владимир
От bedal
К Iva (23.07.2019 15:06:57)
Дата 23.07.2019 15:33:34

ну, то есть да - на Москвичах нужно ездить

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