Обсуждение

Ну вот. Как только задышит вероятностный ускоритель, недалеко уж будет и до невероятностного двигателя. Don't panic.

Эвристичные логические алгоритмы для высокопорядковых логик в рамках контекста/микротеории, найденной в пункте. Понятное дело, из-за NP-характера (запредельная вычислительная сложность) задачи эти все решения являются "вероятными", и не факт, что здесь тоже не будут работать вероятностные алгоритмы, связанные с "распознаванием образов". В первопорядковой и высокопорядковой логиках все гораздо хуже. NP-полная - это задача SAT разрешимости. Для дескрипционных логик проблемы обычно дважды экспоненциальные. Для первопорядковых и высокопорядковых большинство проблем не разрешимо вообще. Т.е. высокопорядковые системы обычно содержат в себе специальный язык для программирования эвристик, потому как иначе никак.

Нельзя ли раскрыть подробнее, что для Вас стоит за понятием "интеллектуальный поиск"? Чем такой поиск отличается от неинтеллектульного? В какой степени сегодняшние общедоступные поисковые системы "интеллектуальны"?

Мое понимание обычно: "интеллектуальные поиск" не надеется на совпадение основ (корней) в словах, а надеется на совпадение смыслов (даже не значений) -- в отличие от полнотекстового поиска, который надеется на совпадение основ, а часто даже и просто совпадение текстовых подстрок. Пример того, как может быть организован "интеллектуальный поиск" см. у того же CYC (например, http://www.cyc.com/technology/whitepapers_dir/Harnessing_Cyc_to_Answer_Clincal_Researchers_ad_hoc_Queries.pdf), и там легко понять, чем такое отличается от "запроса в Гугль".

А чего 2013-й то? Вот, продають аналоговый электронный чип для вероятностных вычислений: http://www.public.lyricsemiconductor.com/index.htm

Чёрт, почитал внимательно - это про этот самый "лирический" процессор и написано... Только что значат фотографии-коллажи, сделанные для оценки масштаба в свете 2013-го года? Инженерный образец? :-)

Ага, Скайнет всё ближе.