The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



Вариант для распечатки  
Пред. тема | След. тема 
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы [ Отслеживать ]

Оглавление

Техника атаки на системы, использующие алгоритмы машинного о..., opennews (??), 28-Авг-17, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


11. "Техника атаки на системы, использующие алгоритмы машинного о..."  +2 +/
Сообщение от Sw00p aka Jerom (?), 28-Авг-17, 04:07 
никакие алгоритмы не позволят!!!
Ответить | Правка | К родителю #2 | Наверх | Cообщить модератору

13. "Техника атаки на системы, использующие алгоритмы машинного о..."  +2 +/
Сообщение от pavlinux (ok), 28-Авг-17, 04:10 
> никакие алгоритмы не позволят!!!

Где прочитать твое доказательство нерешимости?

Ответить | Правка | Наверх | Cообщить модератору

15. "Техника атаки на системы, использующие алгоритмы машинного о..."  +1 +/
Сообщение от Sw00p aka Jerom (?), 28-Авг-17, 04:15 
> Где прочитать твое доказательство нерешимости?

Теорема Гёделя о неполноте.

пс: http://math.ru/lib/plm/57

Посмотрите в ютубе В. А. Успенского семинар по этой теме.


Ответить | Правка | Наверх | Cообщить модератору

17. "Техника атаки на системы, использующие алгоритмы машинного о..."  +2 +/
Сообщение от pavlinux (ok), 28-Авг-17, 04:20 
>> Где прочитать твое доказательство нерешимости?
> Теорема Гёделя о неполноте.

Сами-то поняли?

"... если формальная арифметика непротиворечива, то в ней НЕвыводима некоторая формула,
содержательно утверждающая НЕпротиворечивость этой арифметики."

Ответить | Правка | Наверх | Cообщить модератору

101. "Техника атаки на системы, использующие алгоритмы машинного о..."  –1 +/
Сообщение от Sw00p aka Jerom (?), 28-Авг-17, 17:09 
>>Сами-то поняли?

хммм поняли что? суть теоремы ? - утвердительно - да, даже в самом глобоком (философском) смысле её.

Вы выдернули определение и я не понял, что вы имели ввиду (просто я не знаю на сколько вы "хорошо" (глубоко) разбирали данную теорему и мне трудно будет объяснить). Хочу отметить (не моё замечание - Успенского), что теорема Гёделя имеет много определений, грубо их делят на семантические и синтаксические, в приведённой ссылке разбор Успенского относится именно к синтаксическому варианту теоремы, отсюда и формулировка "если формальная арифметика" - зададимся вопросом почему именно "арифметика", да потому, что Гёдель решал вторую проблему Гильберта (о непротиворечивости аксиом арифметики), и доказал, а в следствие пришёл к выводу, что непротиворечивость всякой "формальной системы" - не доказуемо средствами "самой формальной ситемы". Отсюда и "то в ней НЕвыводима некоторая формула, содержательно утверждающая НЕпротиворечивость этой арифметики."

Ответить | Правка | Наверх | Cообщить модератору

42. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Crazy Alex (ok), 28-Авг-17, 10:57 
От нейросети стопроцентно правильных решений и так никто не ждёт, соответственно для коррекции тоже достаточно хорошо работающей эвристики хватит.

А вообще - примерно ту же проблему у людей решает научный метод познания. Хорошо решает, судя по тому, что напридумывали и сделали.

Ответить | Правка | К родителю #11 | Наверх | Cообщить модератору

48. "Техника атаки на системы, использующие алгоритмы машинного о..."  +2 +/
Сообщение от Аноним (-), 28-Авг-17, 11:18 
С людьми тоже есть подобная проблема. Вот пустишь ты к себе произвольно взятого человека, а он возьмет да окажется каким-нибудь шахидом и отрежет тебе голову. Ты ж заранее не знаешь как и чем ему там мозг промыли с самого детства. С нейросетями поменьше проблемы попроще, но из того же класса - мало ли кто и чему обучал нейросеть на самом деле, как это узнать то?
Ответить | Правка | Наверх | Cообщить модератору

53. "Техника атаки на системы, использующие алгоритмы машинного о..."  –2 +/
Сообщение от Аноним (-), 28-Авг-17, 11:36 
> С людьми тоже есть подобная проблема. Вот пустишь ты к себе произвольно
> взятого человека, а он возьмет да окажется каким-нибудь шахидом и отрежет
> тебе голову. Ты ж заранее не знаешь как и чем ему
> там мозг промыли с самого детства. С нейросетями поменьше проблемы попроще,
> но из того же класса - мало ли кто и чему
> обучал нейросеть на самом деле, как это узнать то?

По делам его, Вы и узнаете его. Так как мысли то материальны (только не сразу). И да, без головы уже не узнаешь :(

Ответить | Правка | Наверх | Cообщить модератору

132. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Аноним (-), 29-Авг-17, 04:07 
> По делам его, Вы и узнаете его.

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

Ответить | Правка | Наверх | Cообщить модератору

68. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Crazy Alex (ok), 28-Авг-17, 12:12 
Ну вот люди в большинстве случаев как-то отличают, с кем иметь дело, с кем - нет, и отличают достаточно хорошо, чтобы в итоге цивилизация жила и развивалась. А перфекционизм - в пень.
Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

103. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Sw00p aka Jerom (?), 28-Авг-17, 18:02 
> Ну вот люди в большинстве случаев как-то отличают, с кем иметь дело,
> с кем - нет, и отличают достаточно хорошо

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

Ответить | Правка | Наверх | Cообщить модератору

125. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Аноним (-), 29-Авг-17, 00:37 
> Ну вот люди в большинстве случаев как-то отличают, с кем иметь дело,
> с кем - нет, и отличают достаточно хорошо, чтобы в итоге
> цивилизация жила и развивалась. А перфекционизм - в пень.

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

Ответить | Правка | К родителю #68 | Наверх | Cообщить модератору

104. "Техника атаки на системы, использующие алгоритмы машинного о..."  +/
Сообщение от Sw00p aka Jerom (?), 28-Авг-17, 18:06 
> мало ли кто и чему обучал нейросеть на самом деле, как это узнать то?

человеку думаю не дано осознать само "осознание", куда там машине (нейросети). К примеру нейросеть может дать ответ на вопрос - "сколько ты знаешь (объём знаний)"? думаю нет, человек даже не способен на это ответить.

Ответить | Правка | К родителю #48 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру