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

Wednesday, August 21, 2019

Про Феофана

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

Примеры:














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

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

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

(Semantic Web begin) /*add http:/bb.feofan.com/OntologyC.txt */ Kate marries Bill. (Semantic Web end) - это кусочек для другой логической программы-примера на контролируемом английском языке http://bb.feofan.com

No comments:

Post a Comment