Обсуждение

я слежу за творчеством Douglas Lenat с книжки "Компьютер обретает разум" издательства "Мир", 1990-го года.

Наряду с другими блистательными вещами из этой книжки (система "SHRDLU" Терри Винограда , первая CAD "Sketchpad" Айвана Сазерленда , первая компьютерная графика в фильме "Последний звёздный истребитель"), меня потрясло описание проектов Automated Mathematician и Eurisko. Это была настоящая магия, хотя позднее некоторые легендарные вещи из области ИИ и принесли разочарование в связи с их декоративностью.

По проекту Cyc, всё больше склоняюсь к стороне критики, по следующим причинам:

• детальная информация по предыдущим проектам не доступна, всё скрыто за громкими заявлениями;
• вышедшие версии впечатления ни на кого не произвели;
• их современные движения уж слишком конъюнктурны, как Вы сами говорите.

Уже не по проекту Cyc, думается что победит нисходящий подход :)

За творчеством Лената я слежу где-то с 1986 года, долго таскал с собой в портфеле совершенно очаровавшей меня accretion model of theory formation (которая, как я считаю, очень полезна и помогала мне существенно несколько раз в жизни), в 1996 году я нашел про CYC (сильно удивлялся, что Ленат исчез с горизонта -- но кто ж тогда знал, что он затеял!), а пару лет назад я даже с этой командой списался (http://www.livejournal.com/community/openmeta/10469.html). Я не знаю, на кого должны произвести впечатление хоть какие-то версии из подобного сорта проектов: все они ниже всякой критики сейчас. С другой стороны, код "предикатов полуторного порядка" исполняются на несколько порядков быстрее, нежели код предикатов первого порядка. Поэтому по скорости CYC из подобных систем вполне себе конкурентоспособен. Но дело не в самой машинке. Дело больше в его базе знаний, которой хвастаться не приходится. У меня большое подозрение, что вся их "общая база знаний" (47000 концептов) уже в ОпенСайк, а вот все остальное главным образом -- военные и секьюрити приложения, поэтому мы и не слышим о результатах ;) Собственно, основная часть искусственного интеллекта в его "большом заходе" подпитывается военными (а кем еще при нынешних то успехах?!). Насчет нисходящего подхода я бы говорил так: если крякает как утка, плавает как утка, выглядит как утка -- значит, это утка! ;) Конечно, нисходящий подход рулез! А пока наиболее интересные результаты дает контент-анализ. Вот где постоянно всякая магия происходит -- я как-то побывал на соревновании 17 команд, которых ФЭП собрал по всей России. Гнездо таких команд вот тут, но в этом гнезде отнюдь не все сильные команды представлены (у кого есть свои заказчики и оригинальные научные школы, те на эту организацию плевать хотели): http://www.dialog-21.ru