Есть ли опыты по обучению нейросети логике?

[Ontos]

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

[ozheredov]

Благородный дон имеет ввиду задачу классификации?

[Ontos]

Например, по modus tollens или modus ponens. С постепенным повышением сложности задач и решением задач с выбором ложных посылок из набора посылок (с тем, чтобы остальные и отрицание признаных ложными, не противоречили друг другу), как тут (вопрос 8).

_ _ _
Текст отключенной на форуме (о чем узнал, спросив, сама процедура создания подписи доступна) подписи.

(Оффтоп)

В моём чёрном списке (не отвечаю на их сообщения): ozheredov, realeugene.

[kp9r4d]

Так а зачем нейронные сети, подобные задачи просто методом резолюций решаются.

[Ontos]

kp9r4d в сообщении #1275524 писал(а):

Так а зачем нейронные сети, подобные задачи просто методом резолюций решаются.

Мне интересно именно решение нейросетью (разумеется, в которой не заложены аксиомы и правила вывода логики). Которая самостоятельно, через итерации работы с данными, научится логическому выводу (пусть не со 100% правильных решений, но чтобы был прогресс). Человек кстати подвержен логическим ошибкам, см. задача Уэйсона о четырех карточках, больше о нелогичности мышления тут.
Если поставлен вопрос, можно конечно интересоваться мотивами постановки вопроса, но не стоит отвечать на другой вопрос (исходя из своего представления о моих мотивах - а я не ищу любые машинные способы работы с логикой), думая, что это будет ответом на поставленный.

[kp9r4d]

Ontos в сообщении #1275526 писал(а):

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

Ценный совет; запишу в блокнотик, выучу и буду повторять каждое утро перед зеркалом.

[mihaild]

Скорее всего нет, современнные сети даже арифметике учатся всё еще с трудом.

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

[Ontos]

Хм, спасибо за ответ. Жаль. Может, дело в приоритетах - нейросети обучают распознавать образы, играть в игры и т.д., а вот такое направление непопулярно (может даже никто и не пытался, или попытки не нашли широкого освещения)?

[mihaild]

Арифметике учить пытаются (в прошлом году даже Миколов приезжал с рассказом, как). Скорее всего строгие синтаксические преобразования сильно сложнее, чем просто арифметика.

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

[Ontos]

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

[Mihaylo]

Ontos в сообщении #1275515 писал(а):

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

Ваша постановка задачи некорректная. Что значит "задачи с логической структурой"? Вы хотя бы придумайте пять штук таких.

P.S. Что касается способности нейронных сетей обучаться произвольным n-арным функциям, это ещё для MLP доказано. Можно найти все эти инсинуации, начиная с темы про способность персептрона обучаться XOR-функции.

P.P.S. Что касается логики как очень важного элемента интеллекта - это очень спорный момент, логика не является основой основ интеллекта. Я чувствую, вы копаете туда.

[Paragraph]

Нейросеть - это аппроксиматор функций. Собираетесь аппроксимировать логические функции!?

[Mihaylo]

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

[Ontos]

Mihaylo в сообщении #1275644 писал(а):

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

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


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

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

15 разных детей будут играть в футбол только в том случае, если согласны играть дети №2 или 5, желающих играть от 8 до 12, множества детей 3,4, 5 и 7,11,12 - не согласны играть в разных командах. Задача, определить, будут ли дети играть в футбол при таком-то, а затем таком-то (перебор) составе команд.

Аппроксимацию логической функции (например, импликации) можно счесть успешной при ускорении прогресса в решении разных задач с этой функцией, верно?

[Pphantom]

Ontos в сообщении #1275523 писал(а):

Текст отключенной на форуме (о чем узнал, спросив
, сама процедура создания подписи доступна) подписи.
(Оффтоп)
В моём чёрном списке (не отвечаю на их сообщения): ozheredov
, realeugene
.

Ontos, замечание за провокацию флейма и оффтопик.