snyders: (Default)
[personal profile] snyders
Был на лекции Пенроуза

Было три интересных примера:

1. Шахматная позиция легкая для человека, сложная для компьютера (white to move and draw):


2. Goodstein Sequence, Goodstein theorem и ее недоказуемость в арифметике Пеано (этого он не показал).

3. Пример детерминистской но не вычислимой последовательности. "There is no computable decision procedure to determine if a set of polyominoes tiles the plane."

- So what? There are tonns of such non-computable, yet "deterministic", sequences.

остальное -- опилки про intelligence -> understanding -> awareness, conciousness.

Кстати, к вопросу о self-awareness - помню, что Алиска говорила о себе в третьем лице лет до 2-х, что меня очень удивляло. "Я" появилось весьма постепенно и не без нашей помощи.

Date: 2005-02-01 11:40 pm (UTC)
From: [identity profile] centralasian.livejournal.com
Алиска говорила о себе в третьем лице лет до 2-х

а, очень характерная стадия у них такая. часто начинают говорить "совсем в третьем" - вроде "алиса кашу не ест".

а почему он считает, что композиция трудно анализируется машиной?

Date: 2005-02-01 11:58 pm (UTC)
From: [identity profile] snyders.livejournal.com
>а, очень характерная стадия у них такая. часто начинают говорить "совсем в третьем" - вроде "алиса кашу не ест".

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

> а почему он считает, что композиция трудно анализируется машиной?

машина хочет съесть ладью, после чего в обороне образуется дырка и через много ходов ей мат. Но это за ее "горизонтом". Вроде бы проверялось на Deep blue.

Date: 2005-02-02 08:29 pm (UTC)
From: [identity profile] centralasian.livejournal.com
машина хочет съесть ладью, после чего в обороне образуется дырка и через много ходов ей мат. Но это за ее "горизонтом".

да всё равно странно. а что, человек не хочет? или он быстрее (глубже) просчитает?

или дело в том, что человек "почувствует подвох"? по-моему, очень давно машины научились не покупаться, есть флажки на "слишком лёгкое решение".

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

непонятно. но да ладно.



Date: 2005-02-02 10:22 pm (UTC)
From: [identity profile] snyders.livejournal.com
человек сразу видит, что ничья - в кармане, а вот комьютер, видимо, нет. Чтобы увидеть нужна reasoning component, если она есть, то и компьютер увидит.

Date: 2005-02-01 11:50 pm (UTC)
From: [identity profile] doktop-doktop.livejournal.com
А в чем сложность для компьютера? Компьютеры не признают ничьей?

Date: 2005-02-02 12:13 am (UTC)
From: [identity profile] doktop-doktop.livejournal.com
А! Жадность, оказывается, и их губит.

Date: 2005-02-02 12:26 am (UTC)
From: [identity profile] snyders.livejournal.com
скорее недальновидность :)

Date: 2005-02-02 05:33 pm (UTC)
From: [identity profile] am.livejournal.com
Лекции, похоже, по этой книге:
http://www.mistral.ru/book.asp?cod=157197&rp=47
http://www.buybook.ru/book.asp?cod=157197&rp=47
по этой, то есть:
http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=0521785723
(она в дополнение и разъяснениe к "Shadows...")

Date: 2005-02-02 10:24 pm (UTC)
From: [identity profile] snyders.livejournal.com
да, некоторые из примеров были из последней книги (насколько я потом понял, походив по интернету).

Profile

snyders: (Default)
snyders

December 2025

S M T W T F S
 123456
78910111213
14151617181920
21222324252627
282930 31   

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags
Page generated Jan. 14th, 2026 12:46 pm
Powered by Dreamwidth Studios