Книжки по логике, моделированию рассуждений, мышления

[Mihaylo]

Честно говоря, да, мое рассуждение про несовместимость убийства служанки и стояния актрисы на балконе в одном предложении - очень непростое, не каждый человек может сделать такое умозаключение, таким образом развернуть вопрос. Будем считать это нетипичным способом поиска лучшего перевода: на самом деле человек должен читать легкий детективчик без особого мозгового напряга, просто помня контекст.
Перевод должен быть единственным и однозначным, сохраняющим авторскую мысль. Иначе смысл в таком переводе, где вдруг гора летает в гости к городу?

[Rasool]

jabra в сообщении #1265359 писал(а):

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

Rasool в сообщении #1265101 писал(а):

Ну и производство вывода о том, что каньоны не могут летать, видимо, относится к ИИ-полным задачам?

Почему? Повторите машине сенсомоторный опыт человека, и она не поверит в летающие горы.

Зачем так сложно? Просто по количеству результатов от гугления по сочетанию "горы летают", "летать над горами", "летать под горами" понятно что будет правильнее. Но в этом и подвох - наиболее вероятный результат вовсе не обязательно будет правильным.

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

-- Чт ноя 16, 2017 20:01:30 --

arseniiv в сообщении #1265555 писал(а):

Правильным ответом тут будет «неизвестно без дополнительного контекста». Сами люди разрешают неоднозначность, когда могут, благодаря контексту.

-- Ср ноя 15, 2017 20:44:50 --

Если же кто-то просит непременно единственный перевод, см. выше — он, грубо говоря, дурак.

Абсолютно верно. Возникает вопрос: может ли машина на данном уровне развития ИИ по контексту данного предложения, записанному на естественном языке, правильно ответить на вопрос, кто стоял на балконе? Напомню, задача понимания текста на естественном языке сейчас признается ИИ-полной.

[arseniiv]

(Оффтоп)

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

Перевод должен быть единственным и однозначным, сохраняющим авторскую мысль.

Как вы узнаете, какой она была и была ли вообще? Хочу на всякий случай напомнить о нелёгком труде переводчиков-человеков.

[Mihaylo]

Rasool в сообщении #1265805 писал(а):

Напомню, задача понимания текста на естественном языке сейчас признается ИИ-полной.

Ну если хотите, то и я признаю такую задачу ИИ-полной, но только с одним условием, что полнота в данном случае не связана задачами класса P/NP. А раз не связана, то это лишь рекламный трюк, попытка популяризировать искусственный интеллект или еще что-то. Зачем вводить этот термин "ИИ-полный"? Чтобы все восхищались?

Rasool в сообщении #1265805 писал(а):

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

Глобальная база знаний - это звучит круто. Но когда человек спускается по лестнице в неосвещенном подъезде, то это тоже интеллектуальная задача, но почему-то база знаний нифига не глобальная. Кому интересно, как спускаться в темноте по лестнице в последнем подъезде дома №18 по улице Строителей г. Москва? А сама функция очень важна для тех, кто там живет! Это небольшой пример неглобальности данных, но неглобальных данных гораздо больше глобальных. Это надо учитывать.

-- 16.11.2017, 19:19 --

arseniiv в сообщении #1265820 писал(а):

Как вы узнаете, какой она была и была ли вообще? Хочу на всякий случай напомнить о нелёгком труде переводчиков-человеков.

Очень просто: я хотел, чтобы этому научилась машина также, как этому учится человек. А насчет нелёгкого труда переводчика - ничего страшного, машине будет легче.

[arseniiv]

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

Очень просто: я хотел, чтобы этому научилась машина также, как этому учится человек.

Ну, вероятно, если специалистов по кодированию онтологии в формате, пригодном для конкретного ИИ, всё время не будет набираться, видимо, так, в основном, и будут делать.

-- Чт ноя 16, 2017 19:23:15 --

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

[Rasool]

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

Rasool в сообщении #1265805 писал(а):

Напомню, задача понимания текста на естественном языке сейчас признается ИИ-полной.

Ну если хотите, то и я признаю такую задачу ИИ-полной, но только с одним условием, что полнота в данном случае не связана задачами класса P/NP. А раз не связана, то это лишь рекламный трюк, попытка популяризировать искусственный интеллект или еще что-то. Зачем вводить этот термин "ИИ-полный"? Чтобы все восхищались?

Это общепринятый термин, введен действительно по примеру NP-полных задач и действительно не имеет отношения к NP-полноте.

Цитата:

In the field of artificial intelligence, the most difficult problems are informally known as AI-complete or AI-hard, implying that the difficulty of these computational problems is equivalent to that of solving the central artificial intelligence problem—making computers as intelligent as people, or strong AI. To call a problem AI-complete reflects an attitude that it would not be solved by a simple specific algorithm.

AI-complete problems are hypothesised to include computer vision, natural language understanding, and dealing with unexpected circumstances while solving any real world problem.

Currently, AI-complete problems cannot be solved with modern computer technology alone, but would also require human computation. This property can be useful, for instance to test for the presence of humans as with CAPTCHAs, and for computer security to circumvent brute-force attacks.

[jabra]

Rasool в сообщении #1265885 писал(а):

Это общепринятый термин, введен действительно по примеру NP-полных задач и действительно не имеет отношения к NP-полноте.

Цитата:

In the field of artificial intelligence, the most difficult problems are informally known as AI-complete or AI-hard, implying that the difficulty of these computational problems is equivalent to that of solving the central artificial intelligence problem—making computers as intelligent as people, or strong AI.

Какое неполиткорректное по отношению к роботам определение
Почему это интеллект равный одному человеческому называется "полным"?
Как быть с задачами для решения которых нужен интеллект превосходящий человеческий? Если так рассуждать, придётся вводить шкалу, а поскольку коллектив людей умнеет слабо с увеличением количества то экспоненциальную: Полный ИИ = 1 человек, полный ^2 = 10 человек... полный ^10 это уже интеллект превосходящий всё человечество.

[Mihaylo]

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

[Rasool]

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

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

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

[Rasool]

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

Интеллект - это не логика, это, например, умение вприпрыжку сбегать по лестнице в неосвещенном подъезде.

(Оффтоп)

Ну, это скорее задача АСУ. Вот, например, разработка из Boston Dynamics:
https://youtu.be/-7xvqQeoA8c

[jabra]

Rasool в сообщении #1266044 писал(а):

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

Интеллект - это не логика, это, например, умение вприпрыжку сбегать по лестнице в неосвещенном подъезде.

(Оффтоп)

Ну, это скорее задача АСУ. Вот, например, разработка из Boston Dynamics:
https://youtu.be/-7xvqQeoA8c

Весь интеллект в конечном счёте сводится к логике конечных автоматов :)

[Rasool]

jabra в сообщении #1266076 писал(а):

Весь интеллект в конечном счёте сводится к логике конечных автоматов :)

Эммм... А как же теорема о самоприменимости в теории алгоритмов?

[Mihaylo]

Rasool в сообщении #1266044 писал(а):

Ну, это скорее задача АСУ.

Вам когда-нибудь в подъезде попадалась последняя ступенька малоразмерная или, наоборот, высокая, выше остальных? А в темноте?

(Оффтоп)

Кстати, термин АСУ неправильно употреблять в контексте робота, так как АСУ - это автоматизированная система управления, то есть система с участием персонала. Лучше употребить нечто вроде САУ или "автоматическая система".

И еще: вот более актуальный видос от Бостона.
https://www.youtube.com/watch?v=fRj34o4hN4I

[jabra]

Rasool в сообщении #1266083 писал(а):

jabra в сообщении #1266076 писал(а):

Весь интеллект в конечном счёте сводится к логике конечных автоматов :)

Эммм... А как же теорема о самоприменимости в теории алгоритмов?

эээ а где там противоречие с моим тезисом?

-- 17.11.2017, 15:05 --

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

Rasool в сообщении #1266044 писал(а):

Ну, это скорее задача АСУ.

Вам когда-нибудь в подъезде попадалась последняя ступенька малоразмерная или, наоборот, высокая, выше остальных? А в темноте?

(Оффтоп)

Кстати, термин АСУ неправильно употреблять в контексте робота, так как АСУ - это автоматизированная система управления, то есть система с участием персонала. Лучше употребить нечто вроде САУ или "автоматическая система".

И еще: вот более актуальный видос от Бостона.
https://www.youtube.com/watch?v=fRj34o4hN4I

Умение сохранить равновесие - хорошая задача для нечёткой логики.

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

[Rasool]

jabra в сообщении #1266091 писал(а):

Rasool в сообщении #1266083 писал(а):

jabra в сообщении #1266076 писал(а):

Весь интеллект в конечном счёте сводится к логике конечных автоматов :)

Эммм... А как же теорема о самоприменимости в теории алгоритмов?

эээ а где там противоречие с моим тезисом?

В Википедии нашел ссылку на статью "Е. М. Иванов. Геделевский аргумент // К проблеме «вычислимости» функции сознания." Видимо, там можно почитать о возможности создания ИИ на базе машины Тьюринга.

-- Пт ноя 17, 2017 20:17:39 --

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

(Оффтоп)

Кстати, термин АСУ неправильно употреблять в контексте робота, так как АСУ - это автоматизированная система управления, то есть система с участием персонала. Лучше употребить нечто вроде САУ или "автоматическая система".

И еще: вот более актуальный видос от Бостона.
https://www.youtube.com/watch?v=fRj34o4hN4I

(Оффтоп)

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