Феофан разгадывает эту загадку меньше чем за минуту.




Это вариант известной логической загадки, авторство которой приписывают Альберту Эйнштейну.

В пансионате у моря вдоль берега в ряд стоят пять разноцветных коттеджей. У каждого из джентельменов, приехавших сюда отдохнуть из разных стран, свой отдельный коттедж. Джентельмены оригинальны всегда и во всём, поэтому каждый курит свою особую марку сигарет, предпочитает свой особый напиток и заботится о непохожем на других домашнем животном. Подданный британский короны живёт в красном доме, швед выгуливает собаку, джентельмен из Дании каждый день в 5 часов пьёт чай. В Зелёном доме, расположенном рядом с белым, слева от него, на ланч подают кофе. Тот, кто курит сигареты Pall Mall, любит слушать трели своей любимой канарейки. Джентельмен из жёлтого коттеджа курит только Dunhill. По утрам в дом, расположенный посредине, подвозят свежее молоко. В доме у края проживает джентельмен из Норвегии. Тот, кто курит сигареты Blends, живёт рядом с домом, где из окошка выглядывает кошка. Тот, кто катается верхом на лошади, живёт рядом с тем, кто курит Dunhill. Любитель пива курит Blue Master. Немец курит сигареты Prince. Джентельмен, прибывший из Норвегии, поселился рядом с синим домом. А сосед того, кто курит Blends, пьёт только воду. Кто разводит рыбок?





Про Феофана из Мыслятины

(скоро добавлю сюда сл. топики: дескриптивная логика f в перспективы в перспективе - все логики, имплементированные в КРЯ - модальная, нечеткая, многозначная и т.д, безконтекстные языки, онтологии и базы знаний, реализация чат-ботов, совмещенных с машинами логического вывода и т.п.)
Феофан это компьютерная программа, которая делает логичные выводы из рассказанных ей (ему) правил и фактов. Например, если Феофану сообщить, что все люди смертны, а Сократ это человек, то он "сообразит", что Сократ тоже смертен.

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

В Мыслятине программы и люди общаются по-русски, точней на КРЯ - контролируемом русском языке, т.е. машинном диалекте русского языка.
В разговорах с Феофаном нужно соблюдать иначе Феофан поймёт не то, что вы подумали.

Увы, но пока Феофану не с кем поговорить, кроме людей. Это тоже нефигово, но он мечтает о том времени, когда у него появится другая программа-собеседница на КРЯ.

Если есть желающие завести себе такую, заходите на или

Вот Феофан разгадывает загадку Эйнштейна.

Примеры: