Партнеры

Счетчики







© 2009 СПб Такси Минивэн-Питер. тел: +7(812) 9479745 Минивэн удобно использовать и заказать в качестве - грузотакси. Также можете воспользоваться микроавтобусами от 11 до 20 мест.

Логика

Ишкушштвенный интеллект

Логика была придумана, чтобы заменить человека, поэтому отношение к ней было настороженное еще со времен Аристотеля, который занимался силлогизмами типа: "Все люди смертны", "Аристотель - человек", "Следовательно, Аристотель смертен". И умер-таки, в силу логической необходимости. Он был первым. За ним следом умерли и многие другие, оставив много разных логик. Самая нетривиальная, конечно, женская логика, хотя математики здесь ни при чем (и даже покойная Софья Ковалевская).

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

Так что современной логикой объявили булевую алгебру. Но алгебра, это еще не совсем то, что надо роботам. А эти "логические" "И", "ИЛИ", "НЕ", "ЕСЛИ...ТО" - обман простых людей, на что своевременно указал Клини. Он с грустью констатировал, что в этой логике два предложения: "Мэри вышла замуж "И" родила ребенка" и "Мэри родила ребенка "И" вышла замуж" будут равносильными. Но сегодня любой просвещенный первоклассник знает, что это "две большие разницы". А "Если сыр делают из лунного грунта, то Пермь столица Франции" - истинное высказывание. Куда дальше?!

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

Если выбирать логику для творческой натуры - то лучше индуктивную. В отличие от дедуктивной логики, в которой полшага в сторону - расстрел. Человеческий мир противоречив. Речь идет не о "внешних" противоречиях (начиная с тещи и кончая ООН), а о внутренних. Можно сказать, что наш внутренний мир только из противоречий и состоит, и за счет "баланса интересов" существует. В дедуктивных же системах малюсенькое-малюсенькое противоречие приводит к аннигиляции. Систему разносит вдребезги. ("Дедуктивный метод" Шерлока Холмса - это чистой воды "индуктивный метод". Ну в крайнем случае - "традуктивный"! Холмсу простительно не понимать элементарного, но рядом с ним был доктор Ватсон, а это и последнему кандидату наук положено знать. Это же элементарно, Ватсон!).

Например, известен факт: "Преступник А посажен в тюрьму". А также существует непреложный закон: "Если преступник А ограбил банк и его схватили, то он окажется в тюрьме". Из этого факта и аксиомы можно сделать индуктивный вывод, что имели место ограбление банка преступником А и его поимка. На самом же деле преступника А никто не смог поймать - он сам пришел с повинной, что украл у бабушки сумочку с кефиром, когда переводил ее через дорогу. За что его немножко посадили. А тюрьма - лучшее место спрятать от правосудия и логиков другой факт: "Преступник А ограбил банк". Кстати, банк, в действительности, ограбил B, а А - убил бабушку.

Модальная логика позволяет различать "возможность" и "необходимость". "Ваня ездит на мерседесе" - это "необходимо", так как в данном случае это имеет характер физического закона, поскольку препятствовавшие этому были уничтожены физически. "Ваня читает книгу" - это "возможно", поскольку Ваня уважает "Декамерон", но профессиональное занятие рэкетом оставляет мало свободного времени для культурного роста. Так что "Ваня читает книгу" может быть истинным или ложным, но "Возможно, что Ваня читает книгу" будет всегда истинным.

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

Истины, вроде "Украдешь кошелек - посадят в тюрьму, украдешь миллиард - станешь уважаемым человеком", очень хорошо описываются немонотонной логикой, в которой дополнительные данные могут приводить к противоположному выводу. В этой логике признается в порядке вещей принцип: "Если не нравится результат, изменяй исходные законы". Дети и депутаты широко этим пользуются.

Нечеткая (fuzzy) логика, придуманная Заде (который в глубоком детстве уехал из СССР, поэтому он американского происхождения), у нас попала на благодатную почву и на конференциях и на сопутствующих банкетах за бутылкой "фаззификатора" очень успешно решались многие нечеткие (размытые) проблемы. А умница Поспелов поднимал тосты за "задизм". Не только благодаря большому числу его книжек, но и анекдотов и рассказов я осознал, что искусственный интеллект - это очень забавно. Особенно на семинарах можно было "обхохотаться". После одного выступления на его семинаре мои потери в живом весе были таковы, что чуть не спали штаны. И это при галстуке!

Нечеткая логика наконец позволила с серьезным видом проводить рассуждения типа: "Если немного рискнуть, то можно много выиграть". При этом "немного" и "много" принципиально субъективны, индивидуализированы. Для инженера и приемщика стеклотары "много" может означать существенно различное количество долларов. Это субъективная, индивидуализированная логика. А следовательно, имеет право на ошибки!

Вероятностная логика. "Если осерчавший начальник хлопнул по столу, то он прихлопнул разом семь мух, с вероятностью 0.8". В этой логике все нивелируется статистикой. Поэтому она, если и соответствует индивидуальности, то только Господа.

Интуиционистская логика больше озабочена тем, чтобы не допустить в рассуждения фразы "Да - нет, а что сверх того, то от Лукавого". Для любого ребенка, который не логик и не философ, ясно, что ответ на вопрос: "А был ли ребенок?" может быть либо "Да", либо "Нет". А интуиционистская логика с этим не согласна - интуиции, мол, противоречит. И конструктивная логика туда же. Ей тоже закон исключенного третьего не писан - мешает он ей конструировать логические выводы.

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

А.Е.Соловьев, soloviev.nevod.ru, 1994 год