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

Wednesday, December 14, 2016

Авторизация сообщений для семантического интернета

идея:

автор подписывает своё сообщение цифровой подписью, которая одновременно является ключем для компиляции этого текста в программу, совместимую с другими программами некоторого центра координации (траста)

трастом может быть, например, государственный или международный центр стандратизации естественных языков (например контролируемого русского языка КРЯ), который утверждается и хранится в соответствии с правилами гаранта авторских прав сообщений на этом языке

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

вычисление логических выводов из авторизованных сообщений может производиться либо на ресурсах траста, либо (с согласия автора) на вычислительных ресурсах других трастовых центров, гарантирующих сохранение авторских прав


--------------------

уже есть такое?