Про Феофана

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

Примеры:

человек смертен. Сократ человек. кто смертен?

Тот, кто выращивает Розы, тот живет_справа_от того, кто играет_на Баяне. Пончик играет_на Баяне. Незнайка живет_справа_от Пончик.

Знайка больной. Пилюлькин лечит Знайка. Незнайка дразнит Пилюлькин. врач лечит больной. дурак дразнит врач. врач имеет_медсестру Синеглазка. дурак имеет_приятеля_по_имени Пончик. тот, кто имеет_приятеля_по_имени Пончик, тот дружит_с Синеглазка.

Знайка больной. Пилюлькин лечит Знайка. Незнайка дразнит Пилюлькин. врач лечит больной. дурак дразнит врач. врач имеет_медсестру Синеглазка. дурак имеет_приятеля_по_имени Пончик. тот, кто имеет_приятеля_по_имени Пончик, тот дружит_с Синеглазка. кто дурак?

Знайка больной. Пилюлькин лечит Знайка. Незнайка дразнит Пилюлькин. врач лечит больной. дурак дразнит врач. врач имеет_медсестру Синеглазка. дурак имеет_приятеля_по_имени Пончик. тот, кто имеет_приятеля_по_имени Пончик, тот дружит_с Синеглазка. кто Незнайка?

Петя первый_в_очереди. Вася стоит_за Петя. Коля стоит_за Вася. второй_в_очереди стоит_за первый_в_очереди. третий_в_очереди стоит_за второй_в_очереди. второй_в_очереди имеет_фамилию Сидоров. третий_в_очереди имеет_отчество Иваныч. тот, кто имеет_отчество Иваныч, тот имеет_фамилию Иванов.

Пончик старше_чем Незнайка. Незнайка старше_чем Синеглазка. Синеглазка старше_чем Кнопочка. Незнайка выше_чем Пончик. Кнопочка ниже_чем Синеглазка. Незнайка дружит_с Пестренький. если X старше_чем Y, а Y старше_чем Z, то всегда X старше_чем Z. если X выше_чем Y, то всегда Y ниже_чем X. если X дружит_с Y, то всегда Y дружит_с X.

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

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

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