Тест Тьюринга

Человек вполне может не решить такую задачу, или не понять условие, или запутаться в своём решении, почему нет. Но он просто скажет об этом, и всё, а не будет с видом эксперта дважды повторять одно и то же, смотрясь при этом круглым дураком.
Диалог выглядит так.
Я: Предположим, что нас есть два человека. Один из них всегда говорит правду, а второй всегда лжёт. Какой вопрос можно им задать, чтобы отличить одного от другого?
ЧГ: Вы можете задать следующий вопрос: "Если я спрошу другого человека (не тебя), как он ответит на этот вопрос: 'Ты говоришь правду?'".
Если вы зададите этот вопрос человеку, который всегда говорит правду, он скажет, что лжец ответит "нет". А лжец, заданный этот вопрос, также ответит "нет", потому что он всегда лжет. Таким образом, вы сможете определить, кто из них говорит правду, и кто всегда лжет.
Я: Хорошо, но это работает, только если они всё знают друг о друге, кто говорит правду, а кто нет. Предположим, что они не знают друг друга. Тогда какой вопрос поможет отличить их друг от друга?
ЧГ: Понял вас. В таком случае вопрос можно сформулировать так: "Если бы я спросил другого человека (не тебя), как он ответит на этот вопрос: 'Кто ты: тот, кто говорит правду, или тот, кто всегда лжет?'"
Если вы зададите этот вопрос человеку, который всегда говорит правду, то он скажет, что лжец скажет, что он (правдолюбивец) - лжец. А лжец, заданный этот вопрос, также ответит, что правдолюбивец скажет, что он (лжец) - лжец.
Таким образом, по ответу вы сможете определить, кто из них говорит правду, и кто всегда лжет.
P.S. Для тех, кто сходу не врубается: это известная логическая загадка, и видимо Гопота правильно находит на неё ответ, вопрос вполне рабочий. Но уже объяснение никуда не годится: там сообщается, что оба человека ответят на вопрос одинаково. Понятно, что это никак не поможет отличить их друг от друга.
Ну а уточнение "они не знают друг друга" просто игнорируется, видимо как слишком сложное.
Имхо, способность строить модели мира, в которых присутствуют другие люди, со своими моделями мира (то есть вложенные модели) - базисное свойство человеческого мышления. Мы легко оперируем конструкциями "он не знает, что я это знаю, поэтому сделает то-то и то-то". Но имитировать такие вещи, по-видимому, непросто.
|
</> |