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

Wednesday, December 14, 2016

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

идея:

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

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

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

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


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

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





Monday, December 12, 2016

Где деньги, Зин?

За нахождение простых чисел из более чем 100 000 000 и 1 000 000 000 десятичных цифр EFF назначила[5] денежные призы соответственно в 150 000 и 250 000 долларов США. Ранее EFF уже присуждала призы за нахождение простых чисел из 1 000 000 и 10 000 000 десятичных цифр.

Для поиска простых чисел обозначенных типов в настоящее время используются проекты распределённых вычислений GIMPSPrimeGridRamsey@HomeSeventeen or BustRiesel SieveWieferich@Home.


http://mersenne.ru/members.htm
http://www.mersenne.org/report_top_teams/


GIMPS выиграла[3] денежный приз в 100 000 долларов США за нахождение простого числа из более чем 10 миллионов десятичных цифр и намеревается выиграть аналогичные призы в 150 000 и 250 000 долларов США, обещанные[4]Electronic Frontier Foundation за нахождение простых чисел соответственно из более чем 100 миллионов и 1 миллиарда десятичных цифр. Из суммы этого приза планируется сделать выплаты всем «открывателям» предыдущих простых чисел Мерсенна, авторам программного обеспечения и авторам новых, более эффективных алгоритмов поиска (если такие алгоритмы будут найдены).


http://mersenneforum.org/







Saturday, December 10, 2016

АШ таки уговорил :-)

"Да и деньги непонятно как собирается зарабатывать." (с) РС


-  интегрировать данные (знания) с правом собственности (авторским правом на утверждения в коллективной базе знаний)

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

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

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

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

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

технически можно сделать так, что знания будут шифроваться и-или обрабатываться на стороне автора и никто не сможет нарушить авторское право на сформулированное знание без воли и согласия правообладателя - но это опять же технические вопросы

главная идея - за введенные в систему знания и данные платить деньгами инвестора и-или правами на будущие даньги от работы большой интегрированной коллективной системы

все большие рынки начинались с маленьких базарчиков

рынок знаний тоже можно начать с покупок и продаж авторизованных формулировок а то устроили тут информационный коммунизм какой-то панимашь - вот никто и не хочет свое драгоценное время тратить за бесплатно :-)

ПС

уговорил... 

http://ymilog.blogspot.ca/

предлагаю обсудить вариант стартапа в Сколково... или мжет тут в Канаде начать?

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

ну и других инвесторов можно поискать - есть краудсорсинг и банки всякие