State-of-the-art мышления: вероятностное, коннективистское.

[ailev]

"Байесовский поворот" в логике нужно понимать не так, что все вычисления условных вероятностей делаются прямо по формуле Байеса. И не так, что вывод в "нечёткой логике" Заде просто заменяется выводом по формуле Байеса. Байесовские вероятности оценивают надёжность карты для какой-то территории: они дают оценку нашего знания и незнания о мире, а не

Comments

[deep_econom]

в прошлом посте употреблялось словосочетание "байесовская логика", которого в этом посте нет
вроде как понятия "байесовская логика" вообще говоря нет, нет такой логики, правильно?
это просто метафора?

***Логика меняется ещё медленней, чем системное мышление. Но, дьявол побери, меняется! И тогда нужно перетряхивать всё, что на эту логику опирается: все остальные (системное, инженерное, менеджерское и т.д.) мышления, а также компьютерный инструментарий (deep learning и байесовщина -- это сегодня одно неразделимое целое).

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

[ailev]

А вы погуглите bayesian logic.

[deep_econom]

не попадается )
в английской вики тоже нет
вроде как нет такого термина, можете дать ссылку на статью в какой-либо энциклопедии?
термин либо нестандартный либо неформальный типа метафоры

попадаются вот такие

Логика высказываний, или пропозициональная логика, или исчисление высказываний
https:/ru.wikipedia.org/wiki/Логика_высказываний

ru.wikipedia.org/wiki/Логика_первого_порядка
ru.wikipedia.org/wiki/Логика_второго_порядка

Логика высшего порядка
Логика разделения
Логика Хоара

есть вероятностная логика (Нейман и другие)
есть многозначные и непрерывные логики
есть модальные логики
логика силлогизмов и т.п.

байесианская логика или байесова логика или bayesian logic не попадается

[ailev]

гуглить нужно не по-русски
Если bayesian logic не попадается, значит у нас Гугли разные.

[deep_econom]

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

а логика это когда есть перечень аксиом и правил вывода, в моем понимании )

[ailev]

Логики с этим пониманием не согласны, посколько изучение того, есть ли вообще на свете аксиомы, входит в предмет логики -- она начинается там, где аксиом ещё нет. )))

[deep_econom]

как раз согласны ))
я назвал некоторые конструкции формальной системы так с точки зрения метатеории, кот орая описывает предметную теорию, а именно логику, привычным всем термином "аксиомы"
описывать какието вещи предметной теории на неформальном языке метатеории вещь обычная

[thagastan]

Какое забавное название для парадокса Моравека - Polanyi’s Paradox and the Shape of Employment Growth

Только вот ни хрена не выйдет - нейросети, похоже, парадокс Моравека сняли...

[ailev]

Ну да, сети с большой глубиной "знают" уже больше, чем могут нам сказать )))

[thagastan]

Причем мы никогда этого не узнаем - как у Лема в начале "Голема 14"...