Еще лет пять назад термин «ИИ» употребляли с большой неохотой, поскольку вера в возможность его создания пошатнулась за десятилетия ожидания его прихода в коммерческий оборот информационных систем.
Искусственный интеллект теперь в моде. Он у нас везде – SIRI – это ИИ, ОК Гугл – ИИ, AlphaGo – ИИ, а еще автомобили без водителя и BIG DATA туда же. Инвесторы вовсю вкладываются в стартапы, создающие разные виды искусственного интеллекта.
А вот недавно Е. Касперский в своем блоге сказал, что никакого ИИ нет:
e-kaspersky.livejournal.com/314783.html.
А на другой странице своего блога написал слово «фуфло»: eugene.kaspersky.ru/2016/05/25/darvinizm-v-it-bezopasnosti-i-privivka-ot-fufla
Есть и другие авторы, не согласные с маркетологами: postnauka.ru/talks/44431
Так есть он или нет?

В Интернет можно найти разные способы и подходы к тому, чтобы разделить «настоящий» и «ненастоящий» ИИ.
Если же подойти проще, функционально, исходя из классического определения ИИ?
Что должен делать интеллект? Интеллект – механизм мышления, решения задач. Исходя из этого, можно определить четыре признака интеллектуальной системы: логический вывод, знания, семантика, естественный язык.

Логический вывод
Одним из признаков ИИ можно считать «непроцедурность» — отсутствие алгоритма для решения задачи. Универсальная математическая модель для решения всякой задачи, не имеющей заранее известного алгоритма, хорошо известна – это формальная система – набор аксиом, синтаксиса выражений и правил вывода из одних выражений других. Обычные программисты сталкиваются с формальной системой только в задачах синтаксического анализа.

База знаний
Для начала вспомним, как возник этот термин. Когда обнаружили такое явление, как комбинаторный взрыв при поиске решения задач методом полного перебора, стало ясно, что надо моделировать мышление человека, который решает задачи на основе знаний, опыта предыдущих поколений, который передается в виде рецептов и правил для решения различных типов задач. Возник термин «экспертная система» — прикладная система для решения задач одного класса, основанная на формализации знаний специалистов-экспертов. Знания в экспертной системе представляются в виде правил логического вывода, никак не похожих на какие-то документы делового оборота. Поэтому сначала употреблялся термин «база правил» и лишь потом сообразительные люди придумали красивый маркетинговый термин «база знаний».

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

Естественный язык
Человек мыслит понятиями, а передает свои мысли с помощью слов. ИИ должен общаться с человеком. С самого начала возникновения этого понятия, естественный язык, точнее говоря, способность машины общаться с человеком на естественном языке, считается неотъемлемым свойством ИИ. В диалоге с машиной человек должен давать задания, а ИИ должен «отчитываться» — описывать полученные решения и обосновывать их, давать пояснения.

Инструмент
Одной из причин недостаточного развития приложений искусственного интеллекта является отсутствие доступного для программистов инструмента. В научном сообществе проводится масса исследований и разработок в области искусственного интеллекта, но все они направлены на создание экспериментальных, исследовательских систем. До сих пор нет достаточно удобной платформы для создания систем логического вывода. Все знают, что есть Лисп и Пролог достаточно специфичные и не всегда понятные языки программирования.
Теперь ситуация меняется – фирма «Семантикс Рисеч» создала надежный и простой инструмент для построения систем логического вывода – систему Exxlog. Программа проста в освоении и имеет подробное описание входного языка и примеров ее использования для решения задач искусственного интеллекта. Бесплатная версия программы доступна для скачивания на сайте www.exxlog.ru.
Входной язык системы Exxlog –язык логического программирования EXPL. Этот язык имеет простой синтаксис и легок в освоении, поскольку является упрощенной версией языка PRLOLOG. Для простоты освоения, в документации к системе Exxlog приводится подробное описание примера интеллектуальной системы решения задач по планиметрии.
IDE системы прост в освоении и обеспечивает все необходимые возможности для управления разработкой интеллектуальной системы. В результате работы компилятора системы EXXLOG создается интеллектуальный модуль — независимый EXE-файл, не требующий каких либо специальных установок или дополнительных программ. Для построения сложной интеллектуальной системы можно комбинировать несколько интеллектуальных модулей.

По последним сообщениям, Гугл купил стартап Api.ai, который специализируется на решении проблемы понимания естественного языка на основе классических методов ИИ.
Самсунг тоже не остался в стороне – только что прикупил себе аналогичный стартап viv.ai.
Видимо, серьезные все-таки корпорации понимают разницу между маркетинговой риторикой и настоящей работой.
Поделиться с друзьями
-->

Комментарии (13)


  1. GreyhoundWeltall
    07.10.2016 10:27
    +1

    Пятничный твиттер на гиктаймс?


    1. GreyhoundWeltall
      07.10.2016 11:11

      Хм, а пост дописали. Жалко уже нельзя удалить коммент =)

      А так — да. В основном проблема в маркетинге. Сегодня без него никуда, а громкие слова привлекают.


  1. Baruu
    07.10.2016 10:56

    Аминь!


  1. prostofilya
    07.10.2016 11:04
    +3

    Даже нынешний этот самый ИИ пишет более осмысленные тексты)


    1. ifaustrue
      07.10.2016 11:51

      и вот такие комментарии тоже в состоянии написать)


      1. prostofilya
        07.10.2016 13:29

        я и написал


  1. tmnhy
    07.10.2016 11:15

    А где определение вынесенного в заголовок «фуфла»?


    1. lasalas
      07.10.2016 12:51
      +1

      Сама статья — отличный образец «фуфла».


  1. IronHead
    07.10.2016 11:52

    Статья написана через яндекс.рефераты?


  1. igruh
    07.10.2016 12:11
    +1

    Возможно «корчевателем».Извиняюсь, что промазал.


  1. Bluewolf
    07.10.2016 12:52

    Это чудовищно.


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


    1. "ИИ" сейчас — это ДАЛЕКО не только системы логического вывода. И даже, в современном мире, не столько.
    2. Еще один проприетарный ЯП не нужен.
    3. IDE чудовищна для 2016 года. При открытии "проекта" ничего не происходит. Чтобы запустить пример, надо читать документацию. Подсветки кода нет. Нормального вывода ошибок нет. Я на третьем курсе "IDE" над tasm писал, так у меня удобнее было.
    4. Непонятен лицензионный статус Arity/Prolog32 Compiler и Microsoft ® Incremental Linker, без всяких комментариев лежащих в дистрибутиве.
    5. Зачем это вообще? Пример реальной задачи, решаемой этим, есть? Prolog неспроста имеет очень ограниченную область применения.


    1. N_Ikhsanov
      07.10.2016 14:08

      Отвечаю
      1) Ваше заявление — одно из существующих мнений, но нигде не обоснованных. Я изложил свое.
      2) Круто сказано.
      3)Насчет IDE — я понял, автор программирует лучше меня. Кто бы сомневался.
      4)Лицензионный статус — это интересно. Если кто разбирается — подскажите. Дело в том, что фирма Arity Corp. не существует уже несколько лет. При этом последние 10 лет своего существования они раздавали свою систему бесплатно, без указания лицензии.
      Linker Microsof 1985г. какой имеет лицензионный статус?
      При том, что программа EXXLOG не продается.
      5) Пример прилагается в дистрибутиве. А насчет области применения — читайте другие наши публикации. Еще есть на хабре.


  1. fivehouse
    07.10.2016 13:05

    Про фуфло, про которое якобы забыл автор, можно доходчиво прочитать вот здесь: e-kaspersky.livejournal.com/314783.html, eugene.kaspersky.ru/2016/05/25/darvinizm-v-it-bezopasnosti-i-privivka-ot-fufla, postnauka.ru/talks/44431. Я конечно понимаю, что толпа желтушных писак становится совсем желтой от заявлений, что статьи про ИИ это в основном жесткая маркетинговая ложь. И руки у них сами тянутся к автомату от таких заявлений. А от того, что распознавание изображений (нейронные сети, нечеткую логику, логический вывод, семантические процессоры и т.д. и т.п.) с какого-то перепугу запихнули в ИИ, ничего это не стало ИИ ни в какой степени. Даже попытка создания модели нервной системы червя закончилась созданием тележки и страницой текста, что это и есть искомая модель. А поведение тележки оказалось предельно странное и не похожее на червя.