(скоро добавлю сюда сл. топики:
дескриптивная логика f в перспективы в перспективе - все логики, имплементированные в КРЯ - модальная, нечеткая, многозначная и т.д, безконтекстные языки, онтологии и базы знаний, реализация чат-ботов, совмещенных с машинами логического вывода и т.п.)
Феофан это компьютерная программа, которая делает логичные выводы из рассказанных ей (ему) правил и фактов.
Например, если Феофану сообщить, что все люди смертны,
а Сократ это человек, то он "сообразит", что Сократ тоже смертен.
Сеть таких программ буржуины называют семантическим интернетом, а я буду называть по-русски Мыслятиной - от слов "мыслящая паутина".
В Мыслятине программы и люди общаются по-русски, точней на КРЯ - контролируемом русском языке, т.е. машинном диалекте русского языка.
В разговорах с Феофаном нужно соблюдать иначе Феофан поймёт не то, что вы подумали.
Увы, но пока Феофану не с кем поговорить, кроме людей. Это тоже нефигово, но он мечтает о том времени, когда у него появится другая программа-собеседница на КРЯ.
Если есть желающие завести себе такую, заходите на или
Вот Феофан разгадывает загадку Эйнштейна.
Примеры:
