Чи справді AIXI є великою справою в галузі штучного загального інтелекту?
Так, це великий теоретичний внесок у AGI. AFAIK, це найсерйозніша спроба побудувати теоретичну основу або фундамент для AGI. Подібні роботи - це машини Шмідхубера « Гедель» та архітектура SOAR .
AIXI - це абстрактний і не антропоморфний фреймворк для AGI, який будується поверх навчального поля посилення, без кількох звичайних припущень (наприклад, без припущень Маркова та ергодичності , що гарантує, що агент може легко відновитись після будь-яких помилок, допущених у минуле). Незважаючи на те, що деякі властивості AIXI щодо оптимальності були доведені, це (Тьюрінг) є незмінним (його не можна запустити на комп'ютері), і тому воно має дуже обмежену практичну корисність. Тим не менш, у книзі Хаттера Універсальний штучний інтелект: Послідовні рішення, засновані на алгоритмічній ймовірності(2005), де жорстко доведено декілька властивостей AIXI, також описана вичислена, але нерозв'язна версія AIXI, AIXItl. Крім того, в статті Монте - Карло Aixi Наближення (2009), Джоел Венесс і ін., Обчислюваних і слухняною наближення Aixi вводиться. Отже, були кілька спроб зробити AIXI практично корисним.
Стаття Що таке AIXI? - Вступ до загального навчального підкріплення (2015) Яна Лейка, який є одним із учасників розвитку та розвитку рамки AIXI, дає щадне вступ до агента AIXI. Дивіться також архітектуру AIXI в Енциклопедії філософії Стенфорда щодо можливого введення в AIXI.
Чи можна розглядати це як центральне поняття для галузі?
Так, впровадження AIXI та пов'язаних з цим досліджень сприяло еволюції галузі AGI. Після її впровадження у 2000 році Хаттером у статті «Теорія загального штучного інтелекту», заснованої на алгоритмічній складності, було проведено декілька дискусій та опублікованих робіт .
Дивіться, наприклад, розділ 7, "Приклади суперінтеллігенцій", статті " Штучний загальний інтелект та психічна модель людини" (2012) Романа В. Ямпольського та Джошуа Фокса. Дивіться також https://wiki.lesswrong.com/wiki/AIXI, де міститься дискусія щодо кількох проблем, пов’язаних із AIXI, які необхідно вирішити або, можливо, уникнути в майбутніх рамках AGI. Крім того, дивіться також це та цю статті.
Якщо так, то чому б у нас не було більше публікацій на цю тему (або, можливо, ми маємо, і я не знаю про них)?
Було кілька публікацій, в основному Маркуса Хаттера та пов'язаних з ним дослідників. Ви можете ознайомитись з публікаціями Маркуса Хаттера на наступній веб-сторінці: http://www.hutter1.net/official/publ.htm .
Якщо вам цікаво сприяти цій теорії, існує кілька способів. Якщо ви математично добре освічені, ви можете спробувати вирішити деякі проблеми, описані тут (про які також згадується у згаданій вище книзі Хаттера за 2005 рік). Крім того, ви також можете зробити внесок у нові наближення або покращення існуючих наближень агента AIXI. Нарешті, ви можете створити свою нову рамку AGI, уникаючи проблем, пов’язаних із рамкою AIXI. Дивіться також проекти, які рекламує Хаттер . Перш ніж намагатись запровадити нову рамку (за умови, що ви на це здатні), може бути також врахувати, наприклад, машини Gödel та пов'язані з нею роботи.
Я думаю, що ця теорія не приваблює більшої кількості людей, ймовірно, тому, що вона є високо технічною та математичною (тому її не дуже легко зрозуміти, якщо у вас є дуже міцний досвід у навчанні підкріплення, теорії ймовірностей тощо). Я також вважаю, що більшість людей (у спільноті AI) не цікавляться теоріями, але в основному вони керуються практичними та корисними результатами.