OpenCog - OpenCog
 Искусственный интеллект с открытым исходным кодом
| |
| Автор (ы) оригинала | Разработчики OpenCog |
|---|---|
| Разработчики) | Фонд OpenCog |
| Первый выпуск | 21 января 2008 г . |
| Репозиторий |
|
| Написано в | C ++ , Python , Схема |
| Платформа | Linux |
| Тип | Общий искусственный интеллект |
| Лицензия | Стандартная общественная лицензия GNU Affero |
| Веб-сайт | opencog |
OpenCog - это проект, целью которого является создание инфраструктуры искусственного интеллекта с открытым исходным кодом. OpenCog Prime - это архитектура для роботов и виртуального воплощенного познания, которая определяет набор взаимодействующих компонентов, предназначенных для создания человеческого эквивалентного общего искусственного интеллекта (AGI) как возникающего явления во всей системе. Дизайн OpenCog Prime - это в первую очередь работа Бена Гертцеля, в то время как структура OpenCog предназначена в качестве общей структуры для широкомасштабных исследований AGI. Исследования с использованием OpenCog были опубликованы в журналах и представлены на конференциях и семинарах, включая ежегодную Конференцию по общему искусственному интеллекту . OpenCog выпущен на условиях Стандартной общественной лицензии GNU Affero .
OpenCog используется более чем 50 компаниями, включая Huawei и Cisco .
Источник
Первоначально OpenCog был основан на выпуске в 2008 году исходного кода проприетарной «Novamente Cognition Engine» (NCE) компании Novamente LLC. Исходный код NCE обсуждается в книге PLN (см. Ниже). Текущая разработка OpenCog поддерживается Институтом исследований общего искусственного интеллекта (AGIRI), проектом Google Summer of Code , Hanson Robotics , SingularityNET и другими.
Составные части
OpenCog состоит из:
- Базы данных граф , дублировал AtomSpace , который содержит «атомы» (то есть, термины , атомарные формулы , предложения и отношения ) вместе со своими «ценностями» ( оценок или интерпретаций , которые можно рассматривать как за атом баз данных ключ-значение ). Примером значения может быть значение истины . Атомы глобально уникальны, неизменяемы и индексируются (доступны для поиска); ценности мимолетны и изменчивы.
- Набор предопределенных атомов, называемый атомезским , используемый для представления общих знаний , таких как концептуальные графы и семантические сети , а также для представления и хранения правил (в смысле переписывания терминов ), необходимых для управления такими графами.
- Набор предопределенных атомов, которые кодируют подсистему типов , включая конструкторы типов и типы функций . Они используются для определения типов переменных, терминов и выражений, а также для определения структуры общих графов, содержащих переменные.
- Набор предопределенных атомов, которые кодируют как функциональные, так и императивные стили программирования. К ним относятся лямбда-абстракция для привязки свободных переменных к связанным переменным , а также для выполнения бета-редукции .
- Набор предопределенных атомов, которые кодируют решатель выполнимости по модулю теорий , встроенный как часть универсального механизма запросов графа, для выполнения сопоставления графов и гиперграфов ( обнаружение изоморфных подграфов ). Это обобщает идею структурированного языка запросов ( SQL ) на область общих графических запросов; это расширенная форма языка запросов к графам .
- Общий механизм правил , включающий прямую цепочку и обратную цепочку , которая может объединять правила в цепочку. Правила - это в точности запросы графа подсистемы запросов графа, поэтому механизм правил отдаленно напоминает планировщик запросов . Он разработан таким образом, чтобы обеспечить возможность реализации различных видов механизмов вывода и систем рассуждений , таких как байесовский вывод или нечеткая логика , или практических задач, таких как решатели ограничений или планировщики движения .
- Подсистема распределения внимания, основанная на экономической теории, называется ECAN. Эта подсистема используется для управления комбинаторным взрывом возможностей поиска, которые встречаются во время вывода и связывания.
- Реализация механизма вероятностных рассуждений на основе вероятностных логических сетей (PLN). Текущая реализация использует механизм правил для объединения определенных правил логического вывода (таких как modus ponens ) вместе с некоторыми очень конкретными математическими формулами, присваивающими вероятность и уверенность каждому выводу. Эту подсистему можно рассматривать как своего рода помощника по доказательству, который работает с модифицированной формой байесовского вывода.
- Возникла вероятностная генетическая программа под названием Метаоптимизирующий семантический эволюционный поиск или MOSES. Это используется для обнаружения коллекций коротких Atomese программ, которые выполняют задачи; их можно рассматривать как выполнение своего рода изучения дерева решений , в результате чего получается своего рода лес решений , или, скорее, его обобщение.
- Система ввода на естественном языке, состоящая из грамматики ссылок , частично вдохновленная как теорией смыслового текста, так и грамматикой слов Дика Хадсона , которая кодирует семантические и синтаксические отношения на атомезском языке.
- Система генерации естественного языка.
- Реализация Psi-Theory для обработки эмоциональных состояний, побуждений и побуждений, получившая название OpenPsi.
- Интерфейсы с роботами Hanson Robotics , включая моделирование эмоций через OpenPsi. Сюда входит проект Loving AI , используемый для демонстрации техник медитации.
Организация и финансирование
В 2008 году Исследовательский институт машинного интеллекта (MIRI), ранее называвшийся Сингулярным институтом искусственного интеллекта (SIAI), спонсировал нескольких исследователей и инженеров. Со времени участия OpenCog в Google Summer of Code в 2008 и 2009 годах сообщество открытого исходного кода внесло большой вклад . В настоящее время MIRI больше не поддерживает OpenCog. OpenCog получил финансирование и поддержку из нескольких источников, включая правительство Гонконга, Гонконгский политехнический университет , Фонд Джеффри Эпштейна VI и Hanson Robotics . Проект OpenCog в настоящее время связан с SingularityNET и Hanson Robotics.
Приложения
Как и в случае с другими когнитивными архитектурами , основной целью является создание виртуальных людей, которые представляют собой трехмерных персонажей- аватаров . Цель состоит в том, чтобы имитировать такое поведение, как эмоции, жесты и обучение. Например, модуль эмоций в программном обеспечении был запрограммирован только потому, что у людей есть эмоции. Общий искусственный интеллект можно реализовать, если он имитирует интеллект человека.
Самоописание проекта OpenCog предоставляет дополнительные возможные приложения, которые идут в направлении обработки естественного языка и моделирования собаки.
Смотрите также
Источники
- Hart, D; Б. Герцель (2008). OpenCog: программная среда для интегративного общего искусственного интеллекта (PDF) . Материалы Первой конференции AGI. Gbooks
- Гертцель, Б., Икле, М., Герцель, И.Ф., Хельякка, А. Вероятностные логические сети, Комплексная структура для неопределенного вывода , Springer, 2009, VIII, 336 стр., ISBN в твердом переплете 978-0-387-76871-7
Рекомендации
Внешние ссылки
- Официальный веб-сайт
- OpenCog вики
- AGI 2011: OpenCog - GoogleTechTalks на YouTube
- AGI 2011: Архитектура, часть I - GoogleTechTalks на YouTube
- Общий искусственный интеллект: время - 2007 GoogleTechTalks на YouTube
- CogPrime: интегративная архитектура для воплощенного общего искусственного интеллекта
- OpenCog: программный фреймворк с открытым исходным кодом, а также проект и концепция расширенного AGI. Видео на YouTube, предоставленное в Университете Монаша, Австралия, сентябрь 2011 г. Адам Форд
- Видеообзор OpenCog от Бена Гертцеля. Видео на YouTube . Бен выступает на OpenCog в Тай По, Гонконг, декабрь 2011 г. Адам Форд
- Бен Гертцель - будущее AGI - разработка Open Cog в Азии Видео на YouTube Адам Форд