Содержание
21 отношения: C++, GNU Affero General Public License, Google Summer of Code, Linux, Machine Intelligence Research Institute, Python, Scheme, Unity (игровой движок), Когнитивная архитектура, Предложение (логика), Атом (логика), Реляционная модель данных, Сильный и слабый искусственные интеллекты, Изоморфизм графов, Задача выполнимости формул в теориях, Вероятностная логика, Графовая база данных, Гиперграф, Гонконгский политехнический университет, Герцель, Бен, Генетическое программирование.
- Программное обеспечение с лицензией GNU AGPL
- Эмерджентность
C++
++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.
Посмотреть OpenCog и C++
GNU Affero General Public License
GNU Affero General Public License или GNU AGPL — свободная лицензия, созданная специально для таких программ, как веб‐приложения, так что пользователи, использующие изменённую программу через сеть, могут получить её исходный код.
Посмотреть OpenCog и GNU Affero General Public License
Google Summer of Code
250px Google Summer of Code (GSoC) — инициативная программа компании Google, в рамках которой ежегодно проводится отбор проектов с открытым исходным кодом, в которых могут принять участие студенты.
Посмотреть OpenCog и Google Summer of Code
Linux
Linux (или), Ли́нукс) — семейство Unix-подобных операционных систем на базе ядра Linux, включающих тот или иной набор утилит и программ проекта GNU, и, возможно, другие компоненты.
Посмотреть OpenCog и Linux
Machine Intelligence Research Institute
Machine Intelligence Research Institute (MIRI; ранее — Singularity Institute и Singularity Institute for Artificial Intelligence) — некоммерческая организация, основной целью которой является создание безопасного искусственного интеллекта, а также изучение потенциальных опасностей и возможностей, которые могут появиться при создании ИИ.
Посмотреть OpenCog и Machine Intelligence Research Institute
Python
Логотип Python (1990—2005) Python (МФА:; в русском языке распространено название пито́н) — высокоуровневый язык программирования общего назначения, ориентированный на повышение производительности разработчика и читаемости кода.
Посмотреть OpenCog и Python
Scheme
Scheme — это функциональный язык программирования, один из трёх наиболее популярных в наши дни диалектов языка Лисп (другие популярные диалекты — это Common Lisp и Clojure).
Посмотреть OpenCog и Scheme
Unity (игровой движок)
Unity — межплатформенная среда разработки компьютерных игр.
Посмотреть OpenCog и Unity (игровой движок)
Когнитивная архитектура
Когнитивная архитектура — основа для интеллектуальных агентов.
Посмотреть OpenCog и Когнитивная архитектура
Предложение (логика)
Предложение (в логике предикатов) — это корректно сформированная формула \Phi, которая не содержит свободных вхождений переменных (то есть вхождений, не находящихся в области действия каких-либо кванторов в \Phi).
Посмотреть OpenCog и Предложение (логика)
Атом (логика)
Атом в математической логике — простейший случай формулы; формула, которую нельзя расчленить на подформулы.
Посмотреть OpenCog и Атом (логика)
Реляционная модель данных
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.
Посмотреть OpenCog и Реляционная модель данных
Сильный и слабый искусственные интеллекты
Сильный и слабый искусственные интеллекты — гипотеза в философии искусственного интеллекта, согласно которой некоторые формы искусственного интеллекта могут действительно обосновывать и решать проблемы.
Посмотреть OpenCog и Сильный и слабый искусственные интеллекты
Изоморфизм графов
В теории графов изоморфизмом графов G.
Посмотреть OpenCog и Изоморфизм графов
Задача выполнимости формул в теориях
Задача выполнимости формул в теориях (satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий.
Посмотреть OpenCog и Задача выполнимости формул в теориях
Вероятностная логика
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному.
Посмотреть OpenCog и Вероятностная логика
Графовая база данных
Графовая база данных Гра́фовая база данных — разновидность баз данных с реализацией сетевой модели в виде графа и его обобщений.
Посмотреть OpenCog и Графовая база данных
Гиперграф
Пример гиперграфа: V.
Посмотреть OpenCog и Гиперграф
Гонконгский политехнический университет
Гонконгский политехнический университет (香港理工大學, Hong Kong Polytechnic University, также известен как PolyU или HKPU) — общественный университет, расположенный в Гонконге, в районе Хунхам.
Посмотреть OpenCog и Гонконгский политехнический университет
Герцель, Бен
Бен Герцель (8 декабря 1966, Рио-де-Жанейро, Бразилия) — главный научный сотрудник компании Aidyia Holdings, специалист по финансовому прогнозированию, председатель частной компании по программному обеспечению искусственного интеллекта Novamente LLC, а также биоинформационной компании Biomind LLC, которая предоставляет искусственный интеллект для биоинформационного анализа данных (в особенности микрочипов и данных SNP); председатель и OpenCog Foundation; вице-председатель футуристической некоммерческой организации Humanity+; научный консультант биофармакологической компании Genescient Corp.; консультант Singularity University; профессор-исследователь интеллектуальных систем в Fujian Key Lab университета Xiamen, Китай; и генеральный председатель конференций, посвященных изучению искусственного интеллекта, автор и исследователь в области искусственного интеллекта.
Посмотреть OpenCog и Герцель, Бен
Генетическое программирование
В искусственном интеллекте генетическое программирование (ГП) — автоматическое создание или изменение программ с помощью генетических алгоритмов.
Посмотреть OpenCog и Генетическое программирование
См. также
Программное обеспечение с лицензией GNU AGPL
- Anki
- Arduino
- Bacula
- Berkeley DB
- Booktype
- CiviCRM
- EyeOS
- F-Droid
- Feng Office Community Edition
- FreePBX
- FreedomBox
- Friendica
- GNUnet
- Ghostscript
- HMailServer
- IText
- Launchpad
- Loomio
- Mailpile
- MediaGoblin
- Mnemosyne
- Monit
- Neo4j
- Nextcloud
- Odoo
- Open Library
- OpenBTS
- OpenCog
- OwnCloud
- POV-Ray
- Phplist
- Portable Batch System
- Proxmox Virtual Environment
- RStudio
- Ryzom
- SugarCRM
- TextSecure
- Tor2web
- Ubuntu One
- VoltDB
- Zfone
- Zotero
Эмерджентность
- OpenCog
- Коннекционизм
- Общая теория систем
- Редукционизм
- Сознание
- Социальная структура
- Суперорганизм
- Уровни организации жизни
- Холизм
- Частные науки
- Экология
- Эмерджентная эволюция
- Эмерджентность
- Энактивизм