2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу 1, 2, 3, 4  След.
 
 Книжки по логике, моделированию рассуждений, мышления
Сообщение20.10.2017, 19:06 


20/09/09
2042
Уфа
Сейчас, буквально в последние два-три года резко возрос интерес к искусственному интеллекту. В 2016-м году стартапом DeepMind разработан алгоритм на базе машинного обучения AlphaGo, который обыгрывает профессиональных игроков в Го. В декабре 2016-го Google ввел в работу систему GNMT машинного перевода, которая тоже основана на базе гибридных технологий (включая машинное обучение). Летом 2017-го Яндекс ввел в эксплуатацию алгоритм "Королев".
В общем, имеет место заметная движуха в области ИИ в связи с развитием нейронных сетей и Deep Learning.
Отсюда появилась сумасшедшая мысль насчет того, чтобы попробовать смоделировать хотя бы отдельные элементы человеческих рассуждений на таком железе. Как известно, в основе человеческого мышления лежит логика. Мне в LinkedIn удалось пообщаться с самим Джоном Совой, одним из основоположников инженерии знаний. Он так высказался о возможности решения задачи понимания текста на естественном языке (на естественном языке, например, написаны юридические или деловые документы, которые содержатся в базах документов больших предприятий):
Цитата:
John Sowa :Koos, I agree with Chris Manning and Walid Saba. I also agree with Martin Kay, who said that NL understanding is an AI complete problem: it won't be accomplished until *every* major problem in AI has been solved. No single method, by itself, is sufficient for NL understanding. But if you include *every* AI method that has been developed in the past half century, you can come close.
The one additional method that the cogmem.pdf slides introduce is the ability to encode arbitrary graphs in a form that allows graph search and retrieval in log(N) time, where N is the number of graphs in your knowledge base. When you add that to your AI toolkit, you enable *all* of the traditional AI tools to scale to the size of the WWW. That is a major, major breakthrough.
Note to students: Don't neglect logic. See http://www.jfsowa.com/pubs/fflogic.pdf.

У меня сейчас на компе лежат две старые книжки по моделированию рассуждений и работе с естественным языком: Поспелов Д.А. "Моделирование рассуждений" 1989-го года и Шенк "Обработка концептуальной информации" 1980-го года. Хотелось бы почитать еще учебников по логике, которые охватывают основные операции логики (индукция, дедукция, аналогия и другие), которые применяются в жизни, профессиональной деятельности и науке. Пока у меня есть только учебник Гетмановой "Логика".

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение24.10.2017, 20:42 


10/11/15
142
Rasool в сообщении #1257282 писал(а):
основные операции логики (индукция, дедукция, аналогия и другие)


Это не операции логики. А математическая логика изучает лишь дедуктивные умозаключения.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение24.10.2017, 22:15 


20/09/09
2042
Уфа
kernel1983 в сообщении #1258676 писал(а):
Rasool в сообщении #1257282 писал(а):
основные операции логики (индукция, дедукция, аналогия и другие)


Это не операции логики. А математическая логика изучает лишь дедуктивные умозаключения.

Да понятно, по мат. логике полно учебников, хотелось бы почитать о более широком понимании логики. В википедии индукция, дедукция, аналогия, абстракция являются скорее понятиями, чем операциями.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение24.10.2017, 22:54 
Заслуженный участник


27/04/09
28128
Ну, о каком более широком? Сначала надо рассмотреть конкретные примеры, наверно. Вот, допустим, разобрались изначально в какой-то степени с классическими логиками высказываний и первого порядка. Можно посмотреть на логику второго порядка, интуиционистскую логику, модальные логики; дальше есть разные их сочетания; есть логики, промежуточные между интуиционистской и классической; можно рассмотреть также логики с одной только импликацией и пр.; есть специфические штуки типа линейной логики (не имею о ней понятия). Кажется, в теории категорий это как-то обобщается, но тут я уж не знаю, можно ли всё разом. Далее, можно посмотреть на разные теории типов. В общем, сначала надо разобраться, зачем вопрос.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение25.10.2017, 18:38 


20/09/09
2042
Уфа
arseniiv в сообщении #1258742 писал(а):
Ну, о каком более широком? Сначала надо рассмотреть конкретные примеры, наверно.

Рассмотрим, к примеру, задачу о понимании естественного языка. В приведенной выше цитате я привел слова Джона Совы: задача понимания естественного языка (например, в машинном переводе) - ИИ-полная.
В Википедии в статье про ИИ-полные задачи (например, машинный перевод) сказано:
Цитата:
To translate accurately, a machine must be able to understand the text. It must be able to follow the author's argument, so it must have some ability to reason. It must have extensive world knowledge so that it knows what is being discussed - it must at least be familiar with all the same commonsense facts that the average human translator knows. Some of this knowledge is in the form of facts that can be explicitly represented, but some knowledge is unconscious and closely tied to the human body: for example, the machine may need to understand how an ocean makes one feel to accurately translate a specific metaphor in the text. It must also model the authors' goals, intentions, and emotional states to accurately reproduce them in a new language. In short, the machine is required to have wide variety of human intellectual skills, including reason, commonsense knowledge and the intuitions that underlie motion and manipulation, perception, and social intelligence. Machine translation, therefore, is believed to be AI-complete: it may require strong AI to be done as well as humans can do it.

Цитата:
Для точного перевода машина должна понимать текст. Она должна уметь следовать аргументам автора, поэтому она должна обладать некоторой способностью рассуждать. Она должна обладать обширными знаниями о мире, чтобы она знала, что обсуждается, - она должна, по крайней мере, знать все те же самые здравые факты, которые знает средний человеческий переводчик. Некоторые из этих знаний представлены в виде фактов, которые могут быть явно представлены, но некоторые знания бессознательны и тесно связаны с человеческим телом: например, машине может понадобиться понять, как океан заставляет чувствовать, что он точно переводит конкретную метафору в тексте. Она должна также моделировать цели, намерения и эмоциональные состояния авторов, чтобы точно воспроизвести их на новом языке. Короче говоря, машина должна обладать широким спектром интеллектуальных навыков человека, включая разум, здравый смысл и интуиции, которые лежат в основе движения и манипуляции, восприятия и социального интеллекта. Таким образом, машинный перевод считается AI-полным: для этого может потребоваться точно такой же сильный ИИ, как и у людей.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение25.10.2017, 19:11 
Заслуженный участник


27/04/09
28128
Понятно, слишком общее. Тут, например, не говорится, что этим ИИ должно использоваться какое-то формальное описание логической системы, отдельное от остальных вещей. У человека как раз вряд ли так.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение31.10.2017, 20:32 


04/11/16
27
Rasool в сообщении #1257282 писал(а):
... Хотелось бы почитать еще учебников по логике, которые охватывают основные операции логики (индукция, дедукция, аналогия и другие)...

Рекомендую книгу Тейз А., Грибомон П., Луи Ж. Логический подход к искусственному интеллекту

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение31.10.2017, 21:23 
Заслуженный участник
Аватара пользователя


26/01/14
4846

(Оффтоп)

Rasool в сообщении #1258953 писал(а):
В Википедии в статье про ИИ-полные задачи (например, машинный перевод)
сказано:
Что интересно, этой "способности понимать переводимый текст", видимо, немного недоставало тому, кто переводил этот фрагмент Википедии. Иначе бы вместо бессмыслицы "например, машине может понадобиться понять, как океан заставляет чувствовать, что он точно переводит конкретную метафору в тексте" было бы написано что-то такое: "например, машине может понадобиться понять, какие чувства вызывает у людей океан, чтобы суметь точно перевести метафору".

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение01.11.2017, 14:35 


20/09/09
2042
Уфа
Mikhail_K в сообщении #1260943 писал(а):

(Оффтоп)

Rasool в сообщении #1258953 писал(а):
В Википедии в статье про ИИ-полные задачи (например, машинный перевод)
сказано:
Что интересно, этой "способности понимать переводимый текст", видимо, немного недоставало тому, кто переводил этот фрагмент Википедии. Иначе бы вместо бессмыслицы "например, машине может понадобиться понять, как океан заставляет чувствовать, что он точно переводит конкретную метафору в тексте" было бы написано что-то такое: "например, машине может понадобиться понять, какие чувства вызывает у людей океан, чтобы суметь точно перевести метафору".

(Оффтоп)

Вы правы, этот кусок текста переводил Google Translator, это лишний раз доказывает, что сейчас машинный перевод далек от идеального и тут есть над чем поработать.


-- Ср ноя 01, 2017 17:35:28 --

AdaBoost в сообщении #1260933 писал(а):
Rasool в сообщении #1257282 писал(а):
... Хотелось бы почитать еще учебников по логике, которые охватывают основные операции логики (индукция, дедукция, аналогия и другие)...

Рекомендую книгу Тейз А., Грибомон П., Луи Ж. Логический подход к искусственному интеллекту

Спасибо, надо будет посмотреть.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение05.11.2017, 17:59 


20/09/09
2042
Уфа
В LinkedIn в группе Natural Language Processing я задал такой вопрос:
Цитата:
Задачи, которые нужно решить для решения проблемы понимания естественного языка.
Как известно, GNMT переводит текст на естественном языке в свой внутренний язык. Насколько я знаю, проблема перевода естественного языка в язык баз знаний (например, онтологий) уже решена (или еще нет?). Остается проблема реализации операций обработки онтологий, например, сопоставления полученной онтологии с глобальной базой знаний, чтобы определить ее истинность/ложность, ее информационную ценность и актуальность и т.д.
Если я не ошибаюсь, Dr. John Sowa в одной из дискуссий на LinkedIn рекомендовал изучающим искусственный интеллект обратиться к логике. Правильно ли я понимаю, что возникает вопрос: как с помощью логики реализовать задачу обработки и сопоставления онтологий?

Посмотрим, что на него ответят обитатели LinkedIn.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение08.11.2017, 07:06 


12/07/15
01/12/24
3317
г. Чехов
Как интеллект связан с логикой? Не каждый человек в университете проходит логику, хотя бы уровня И, ИЛИ, НЕ. Интеллект - это не логика, это, например, умение вприпрыжку сбегать по лестнице в неосвещенном подъезде.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение08.11.2017, 11:32 


26/10/17
31
Mihaylo в сообщении #1263302 писал(а):
Как интеллект связан с логикой? Не каждый человек в университете проходит логику, хотя бы уровня И, ИЛИ, НЕ. Интеллект - это не логика, это, например, умение вприпрыжку сбегать по лестнице в неосвещенном подъезде.
Грань слишком нечёткая. На уровне мелких элементов - конечно логика, на более высоком - интуиция, то есть логика прослеживается но она не обязательно простая и очевидная.

Поведение человека разве не подчиняется логике? По-моему, полностью подчиняется.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение08.11.2017, 15:30 
Заслуженный участник


27/04/09
28128

(Оффтоп)

Mihaylo в сообщении #1263302 писал(а):
Интеллект - это не логика, это, например, умение вприпрыжку сбегать по лестнице в неосвещенном подъезде.
Это не совсем и не один лишь интеллект. Если он по этой лестнице ходит каждый день, он и без всякого интеллекта сможет идти в следующий раз практически не глядя, «измерив» параметры первой ступеньки где-то там внутри. Бежать, конечно, не то же самое, что идти, но пример всё-таки не очень удачный.

jabra в сообщении #1263350 писал(а):
Поведение человека разве не подчиняется логике? По-моему, полностью подчиняется.
Что значит «подчиняется логике» — может быть описано точной теорией? (В основании которой, конечно, будет какая-то из логик.) Так это трюизм тогда, и, к тому же, это не то, что имелось в виду в теме.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение11.11.2017, 23:28 


20/09/09
2042
Уфа
Rasool в сообщении #1257282 писал(а):
В общем, имеет место заметная движуха в области ИИ в связи с развитием нейронных сетей и Deep Learning.
Отсюда появилась сумасшедшая мысль насчет того, чтобы попробовать смоделировать хотя бы отдельные элементы человеческих рассуждений на таком железе. Как известно, в основе человеческого мышления лежит логика.

Поясню свою мысль. Вот фрагмент статьи "Что может помочь компьютеру понять, кто стоял на балконе", "What can help the computer to learn who was on the balcony" (автор Юдина М. В.) из сборника Диалог-2010, стр. 604:
Цитата:
Одну из наибольших проблем для автоматической обработки текста составляет синтаксическая омонимия, или синтаксическая неоднозначность, т. е. возможность построить несколько синтаксических структур на основе одной и той же последовательности языковых знаков. В подавляющем большинстве случаев омонимию может разрешить только человек. В ряде случаев омонимия принципиально неразрешима без дополнительной информации (например, в предложении (1): Маша читала и писала письма, см. [Юдина, Янович, Фёдорова 2007]). Тем не менее, в реальной жизни мы очень редко замечаем синтаксическую омонимию, в силу способности нашего синтаксического парсера мгновенно анализировать не только синтаксическую структуру, но и ситуацию, контекст, делать логические выводы о смысле предложения. Научить этому машинный анализатор представляется практически невозможным.
Пример такой фразы: "Преступник застрелил служанку актрисы, которая стояла на балконе". Вопрос: кто стоял на балконе?

Так вот, не пришло ли еще время научить машину делать подобные логические выводы из контекста предложения? Грубо говоря: переводим текст предложения и его контекста в семантическую структуру типа онтологии, сопоставляем ее с нашими знаниями о мире, заключенными в глобальной базе знаний, делаем выводы.

 Профиль  
                  
 
 Re: Книжки по логике, моделированию рассуждений, мышления
Сообщение13.11.2017, 05:32 


12/07/15
01/12/24
3317
г. Чехов
Rasool в сообщении #1264517 писал(а):
Так вот, не пришло ли еще время научить машину делать подобные логические выводы из контекста предложения? Грубо говоря: переводим текст предложения и его контекста в семантическую структуру типа онтологии, сопоставляем ее с нашими знаниями о мире, заключенными в глобальной базе знаний, делаем выводы.

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

Зато нейронные сети отлично с этим справятся (с дорисовыванием недостающей картинки). Надо только "немного" их потренировать. У человека 7 органов чувств и примерно 15 лет обучения, чтобы более-менее понимать NL. И не надо думать, что эту задачу нужно решать строгими логическими методами. Совершенно необязательно. Люди совершают порядка 10% ошибок, читая литературу (цифра отсебячечная, но отнюдь не лишена смысла). Просто эти ошибки простительны.

Кстати, раз Вы интересуетесь, обратите на структуры RNN и LSTM для обработки контекстных данных.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 50 ]  На страницу 1, 2, 3, 4  След.

Модераторы: Karan, Toucan, PAV, maxal, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group