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

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

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

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

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

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

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

Примеры:
















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