blog.ddtor.com: мая 2014

route planner with multiple destinations

http://ufosapi.quicklydone.com/ добавил гугл ад на страничку карты

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

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

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

джентельмен живёт_в дом. джентельмен разводит животное. джентельмен пьёт напиток. джентельмен курит сигареты.
дом это только Первый_дом, Второй_дом, Третий_дом, Четвёртый_дом, Пятый_дом.
джентельмен это только Британец, Швед, Датчанин, Немец, Норвежец.
животное это только Собака, Лошадь, Птица, Кошка, Рыба.
напиток это только Вода, Чай, Кофе, Пиво, Молоко.
сигареты это только Dunhill, Pall_Mall, Blends, Blue_Master, Prince.
цвет это только Белый_цвет, Красный_цвет, Синий_цвет, Зелёный_цвет, Жёлтый_цвет.
Британец живёт_в том, который покрашен_в Красный_цвет. Швед разводит Собака. Датчанин пьёт Чай.
тот, который покрашен_в Зелёный_цвет, тот слева_от того, который покрашен_в Белый_цвет.
тот, который покрашен_в Зелёный_цвет, тот рядом_с тем, который покрашен_в Белый_цвет. 
тот, кто пьёт Кофе, тот живёт_в том, который покрашен_в Зелёный_цвет.
тот, кто курит Pall_Mall, тот разводит Птица. 
тот, кто курит Dunhill, тот живёт_в том, который покрашен_в Жёлтый_цвет.
тот, кто живёт_в Третий_дом, тот пьёт Молоко. Норвежец живёт_в Первый_дом.
тот, кто курит Blends, тот живёт_в том, который рядом_с тем, который где_живёт тот, кто разводит Кошка.
тот, кто разводит Лошадь, тот живёт_в том, который рядом_с тем, который где_живёт тот, кто курит Dunhill.
тот, кто курит Blue_Master, тот пьёт Пиво. Немец курит Prince.
Норвежец живёт_в том, который рядом_с тем, который покрашен_в Синий_цвет. 
тот, кто курит Blends, тот живёт_в том, который рядом_с тем, который где_живёт тот, кто пьёт Вода.
если джентельмен живёт_в дом, то всегда дом где_живёт джентельмен.  
если джентельмен живёт_в дом, то всегда каждый джентельмен живёт_в только один дом и наоборот.  
если этот_дом рядом_с другой_дом, то всегда другой_дом рядом_с этот_дом. 
если джентельмен пьёт напиток, то всегда каждый джентельмен пьёт только один напиток и наоборот.  
если джентельмен курит марка_сигарет, то всегда каждый джентельмен курит только один марка_сигарет и наоборот.  
если дом покрашен_в цвет, то всегда каждый дом покрашен_в только один цвет и наоборот.  
если джентельмен разводит животное, то всегда каждый джентельмен разводит только один животное и наоборот.  
Первый_дом слева_от Второй_дом. Второй_дом слева_от Третий_дом. Третий_дом слева_от Четвёртый_дом. Четвёртый_дом слева_от Пятый_дом. 
Первый_дом рядом_с Второй_дом. Второй_дом рядом_с Третий_дом. Третий_дом рядом_с Четвёртый_дом. Четвёртый_дом рядом_с Пятый_дом.

кто разводит Рыба?

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

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

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

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

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

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

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

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

Примеры:

Страницы

route planner with multiple destinations

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

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