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

Феофан

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

Примеры:














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

В пансионате у моря вдоль берега в ряд стоят пять разноцветных коттеджей. У каждого из джентельменов, приехавших сюда отдохнуть из разных стран, свой отдельный коттедж. Джентельмены оригинальны всегда и во всём, поэтому каждый курит свою особую марку сигарет, предпочитает свой особый напиток и заботится о непохожем на других домашнем животном. Подданный британский короны живёт в красном доме, швед выгуливает собаку, джентельмен из Дании каждый день в 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