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

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

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

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

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

Если есть желающие завести себе такую, заходите на форум Феофана или форум КРЯ

Вот тут Феофан разгадывает загадку Эйнштейна. А тут разрабатывается и показывается на примерах стандарт сетевого (контролируемого) русского языка КРЯ.

Примеры:

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

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

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

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

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

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

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

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