February 20th, 2014

Критика разума

2014-02-06-03
Тут нарушена причинно-следственная связь: объявление должно висеть до начала события, а не через четыре месяца после его окончания)))

Взять бы этого Канта, да за такие доказательства года на три в Соловки! (с)
Вы, профессор, воля ваша, что-то нескладное придумали! Оно, может, и умно, но больно непонятно. (с)


Иммануил Кант.
Великий философ, проживший всю жизнь в Кеннигсберге и «имевший мужество пользоваться собственным умом».
Читать его сложно.
Априорные, апостериорные, аналитические, синтетические суждения...
В отдельности все понятно, но потом в голове каша и сомнения.
Канта легко извинить. Свою главную книгу «Критика чистого разума» он обдумывал десять лет, а написал за несколько месяцев.

Он торопился.
Мы всегда торопимся, когда делаем что-то важное.
Боимся не успеть или отстать.
Но у Канта были еще и опасения.
Соловки ему, к счастью, не грозили, но за некоторые мысли он мог лишиться своего профессорского места, как это произошла через пятьдесят лет с Фейербахом за книгу «Мысли о смерти и бессмертии».

Отсюда и путаный витиеватый стиль письма, как маскировка намеков на крамолу.

А зачем сейчас нужен Кант?
– чтобы расшевелить мозг и спасти его от деградации?
– чтобы разобраться, как работает наше сознание?
– чтобы лучше понять спектакль «Кант» в театре им. Маяковского?

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

А у нас все началось с простой задачи.
Компьютер получил информацию, что волк съел овцу.
«Волк ест овец» было записано в базе данных.
Потом в компьютер пришла информация, что волк съел зайца.
Теперь запись в базе данных выглядела так: «Волк ест овец и зайцев»
По Канту - это апостериорное синтетическое суждение.
Разумом это пока не пахнет, просто сбор информации из опытов.
На основании этих данных компьютер бессилен ответить на вопрос: «Съест ли волк корову?»

А человек ответить может!
Кант говорит, что у человека есть врожденные способности мыслить с помощью категорий: причина и действие, случайность и необходимость... Подобных категорий Кант насчитал двенадцать, но список можно увеличить.

Вот тут и начинается самое сложное.

Человек мыслить категориями, его сознание строит некую модель. Эта модель объекта или события не обязательно соответствует реальности. Отсюда и знаменитое выражение Канта «вещь в себе». Это значит, что реальность не может быть познана абсолютно, у нас в головах есть только представление об окружающем мире, которое может меняться в зависимости от количества информации.

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

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

Это наша модель. Она основана на некоторых наблюдениях.

Мы не знаем, ест ли волк коров, но мы можем знать, что коров едят львы. Лев в первом ящике, корова появляется во втором. И тогда компьютер, как человек, предполагает, что волк из первого ящика может съесть корову из второго ящика.

Истина ли это? Не обязательно. Процесс поедания коров – это «вещь в себе». И предположение, что волки едят коров, может быть ошибочно.

Ошибиться легко. Если в одном ящике – мужчины, а в другом – женщины, то напрашивается причинно-следственная стрелка: мужчины любят женщин. Но ведь есть мужчины, любящие не женщин, а водку и занятия философией. И на вопрос, «любит ли Иван Петрович Марью Сидоровну» компьютер может дать неправильный ответ.

И даже не потому, что Иван Петрович любит философию больше женщин.
Просто не нравится она ему!
Иван Петрович еще та «вещь в себе»!

Бедный компьютер!
Бедные программисты и математики!
Невозможно, тыкая в клавиши, запрограммировать всевозможные причинно-следственные связи нашего мира!
Человек, пробуя и ошибаясь, занимается этим всю жизнь.
И ему помогает «чистый разум».
Человек может представлять пространственно-временные связи, не пользуясь опытными данными.
Свойства Эвклидова пространства и плавное течение времени у нас или заложены в головах до рождения, или сознаются в первые месяцы жизни.
Нам понятно, почему мячик будет катиться по полу, пока не уткнется в стенку.
И понятно, что он сначала будет катиться, а потом остановится у стенки.
Удар о стенку – это следствие перемещения мячика.
Просто? Да, для нас просто.
Но компьютеру и это надо объяснить.
У компьютера нет времени предполагать, проверять, ошибаться..
От него ждут результатов прямо сейчас.

Что делать?
Можно пойти по пути программы-переводчика у Гугла.
В этой программе нет словаря и грамматических правил.
Компьютер читает, например, «Войну и мир» на двух языках.
И сам находит правила перевода.
После первых двух томов он строит модель перевода, а потом тестирует и уточняет ее на последних томах романа.
Поработав минут пять, компьютер уже готов переводить «Анну Каренину».
Джека Лондона ему переводить будет сложнее.
Но если дать ему для тренировки «Маленькую хозяйку большого дома», то дела пойдут веселее и точнее.

А как быть с программой искусственного интеллекта, которая должна решить, «будет ли Иван Петрович любить Марью Сидоровну»?
Может тоже дать ему «Войну и мир»? – пусть почитает!
Действия в пределах главы развиваются от прошлому к будущему.
Написанное на странице 233 может являться причиной событий на страницах 234 и 235.
Пусть он сам находит причинно-следственные связи.
А проверяет их на других романах.

А потом мы с ним побеседуем, зададим вопросы!

Сложно?
Ага!
Было бы легко, то мы бы давно сидели у окошка и смотрели на жизнь роботов.
На их работу, страдания, творчество...
А пока вот даже блоги приходится писать самим!
Buy for 50 tokens
Buy promo for minimal price.