Связанные понятия
Цифровая философия — направление в философии и космологии, поддерживаемое такими людьми, как Грегори Хайтин, Эдвард Фредкин, Стивен Вольфрам и Конрад Цузе.Цифровая философия отделилась от цифровой физики (оба термина введены Эдвардом Фредкиным) и предлагает основывать современную физику на клеточных автоматах. Точнее говоря, ученые, поддерживающие это направление исходят из предположения, что вселенная — гигантский Тьюринг-полный клеточный автомат.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Абстрактная модель — это модель, отражающая лишь самые общие характеристики моделируемого явления. Чаще всего абстрактная модель даёт лишь качественные характеристики моделируемого объекта или явления.
Символический искусственный интеллект — это собирательное название для всех методов исследования искусственного интеллекта, основанных на высокоуровневом «символическом» (человекочитаемом) представлении задач, логики и поиска. Символический ИИ лёг в основу доминирующей парадигмы исследований ИИ с середины 1950-х до конца 1980-х.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Модель мозга — любая теоретическая система, которая стремится объяснить физиологические функции мозга с помощью известных законов физики и математики, а также известных фактов нейроанатомии и нейрофизиологии . Существуют по меньшей мере два основных положения, играющих фундаментальную роль в теории функционирования мозга, в отношении которых сходится мнение большинства современных теоретиков...
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Когнитивная карта (от лат. cognitio — знание, познание) — образ знакомого пространственного окружения.
Прогно́стика (от греч. πρόγνωση «предвидение, предсказание») — наука (научная дисциплина) о законах и способах разработки прогнозов. В широком смысле под прогностикой понимается теория и практика прогнозирования.
В статистике под латентными или скрытыми переменными понимают такие переменные, которые не могут быть измерены в явном виде, а могут быть только выведены через математические модели с использованием наблюдаемых переменных. Скрытые переменные используются во многих областях, включая психологию, экономику, машинное обучение, биоинформатику, обработку естественного языка и социальные науки.
Подробнее: Скрытая переменная
Социальное программирование — это совокупность методов, которые нацелены на устранение социально-значимых проблем, характерных для различных социальных областей, один из разделов социологии управления. Основным элементом или продуктом социального программирования являются социальные программы, которые призваны решать определённую социальную проблему с конкретно поставленной задачей. Социальное программирование, в свою очередь, претендует на статус общей методологии для составления социальных программ...
Сбор данных — это процесс собирания информации и измерения целевых показателей в сложившейся системе, который позволит потом ответить на актуальные вопросы и оценить результаты. Сбор данных является частью исследований во всех областях изучения, включая физику, общественные науки, Гуманитарные науки и бизнес. Хотя методы различны для разных дисциплин, упор на обеспечение точной и правдивой информации остаётся тем же самым. Целью всего сбора данных служит получение свидетельства о качестве данных...
Вычисли́тельная фи́зика — это наука, изучающая численные алгоритмы решения задач физики, для которых количественная теория уже разработана. Обычно рассматривается как раздел теоретической физики, но некоторые считают её промежуточной ветвью между теоретической и экспериментальной физикой.
Интеллектуа́льная систе́ма (ИС, англ. intelligent system) — это техническая или программная система, способная решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти такой системы. Структура интеллектуальной системы включает три основных блока — базу знаний, механизм вывода решений и интеллектуальный интерфейс.
Интеллектуальный анализ текстов (ИАТ, англ. text mining) — направление в искусственном интеллекте, целью которого является получение информации из коллекций текстовых документов, основываясь на применении эффективных в практическом плане методов машинного обучения и обработки естественного языка. Название «интеллектуальный анализ текстов» перекликается с понятием «интеллектуальный анализ данных» (ИАД, англ. data mining), что выражает схожесть их целей, подходов к переработке информации и сфер применения...
Вычислительная нейробиология — междисциплинарная наука, целью которой является объяснение в терминах вычислительного процесса того, как биологические системы, составляющие нервную систему, продуцируют поведение. Она связывает нейробиологию, когнитивистику и психологию с электротехникой, информатикой, вычислительной техникой, математикой и физикой.
Открытая система в теории систем — система, которая непрерывно взаимодействует со своей средой. Взаимодействие может принимать форму информации, энергии или материальных преобразований на границе с системой. Открытая система противопоставляется изолированной, которая не обменивается энергией, веществом или информацией с окружающей средой.
Физи́ческое модели́рование — метод экспериментального изучения различных физических объектов или явлений, основанный на использовании модели, имеющей ту же физическую природу, что и изучаемый объект.
Структурное прогнозирование или структурное обучение является собирательным термином для техник обучения машин с учителем, которые вовлекают предвидение структурных объектов, а не скалярных дискретных или вещественных значений.
Стэ́нфордская филосо́фская энциклопе́дия (англ. The Stanford Encyclopedia of Philosophy) — публичная интернет-энциклопедия по философии, поддерживаемая Стэнфордским университетом. Каждая статья написана и обновляется экспертом в предметной области. В создание энциклопедии вовлечены профессора из 65 академических институтов по всему миру. Помимо онлайнового статуса, энциклопедия поддерживает традиционный академический подход, используемый в большинстве энциклопедий и академических журналов, достигая...
Аналити́ческое сужде́ние — суждение, которое не привносит никакой новой информации об объекте. Противоположностью аналитического суждения является синтетическое суждение. Истинность аналитических суждений может быть установлена без обращения к реальному миру. Примером аналитического суждения является утверждение «Всякий холостяк не женат», поскольку слово «холостяк» и выражение «не женат» одинаковы по смыслу. Таким образом, это суждение не добавляет никакого нового смысла.
Парадоксами
теории множеств называют * рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как...
Форма́льные нау́ки — совокупность наук, занимающихся исследованием формальных систем. К формальным наукам относятся: математика, логика, кибернетика, теоретическая информатика, теория информации, теория систем, теория принятия решений, статистика, некоторые аспекты лингвистики.
Концептуальное программирование - подход к программированию, описанный Э.Х. Тыугу в одноименной книге . К. программирование предполагает оперирование понятиями (концептами), описанными в терминах предметной области, что позволяет использовать ЭВМ на этапе постановки задачи. Достаточно точное описание задачи позволяет ЭВМ автоматически составлять программы для её решения. Характерными особенностями концептуального программирования являются также использование языка предметной области и использование...
Теория доместикации , теория доместикации медиа (англ. domestication theory, media domestication theory) — теория в коммуникации и социальных науках, которая выявляет то, каким образом группы людей, а в особенности семьи и домашние хозяйства, «приручают» и присваивают к использованию новые технологические инновации в обществе. Она рассматривает, как человек принимает выбор в использовании технологических нововведений, как его выбор может быть информирован с помощью понятий моральной экономики либо...
Гипотеза о языке мышления (Language of thought hypothesis), предложенная американским философом Джерри Фодором, утверждает, что все мысли представлены в виде языка, в котором определяются связи между простыми компонентами мысли или концептами. Согласно этой гипотезе, такой язык должен быть врожденным и универсальным для всех людей. Сам Джерри Фодор называет этот язык «ментализом».
Физическая картина мира — обобщённый образ действительности, идеальная картина природы, формируемая в физической науке и включающая в себя наиболее общие понятия, принципы, гипотезы физики, а также стиль научного мышления. Представляет собой важнейшую составную часть научной картины мира как система знаний о наиболее общих закономерностях и свойствах физического мира. Осуществляет синтез физических и философских понятий и идей, объединяя проблемы видов и строения материи, её фундаментальных объектов...
Когнитивная архитектура — основа для интеллектуальных агентов. Она предлагает искусственные вычислительные процессы, которые действуют как определенные когнитивные системы, чаще всего, как человек, или действует разумно по некоторому определению. Когнитивные архитектуры образуют подмножество общих архитектур агента. Термин «архитектура» подразумевает подход, который пытается моделировать не только поведение, но и структурные свойства моделируемой системы.
Теория определяющих соотношений — научный курс, предметом которого является анализ общих свойств и структуры определяющих соотношений, подходов к построению физических уравнений.
Статистическая теория поля — раздел статистической физики, в котором изучаются пространственные случайные системы с взаимодействием. Объектами изучения в статистической теории поля являются поля или системы, число степеней свободы которых сравнимо с полем. Для равновесных состояний микросостояния системы выражены через полевые конфигурации. В рамках этого раздела изучаются статистические системы случайных полей. Это область тесно связана с квантовой теорией поля, которая описывает квантовую динамику...
Алгоритмическая теория информации — это область информатики, которая пытается уловить суть сложности, используя инструменты из теоретической информатики. Главная идея — это определить сложность (или описательную сложность, колмогоровскую сложность, сложность Колмогорова-Хайтина) строки как длину кратчайшей программы, которая выводит заданную строку. Строки, которые могут выводиться короткими программами, рассматриваются как не очень сложные. Эта нотация удивительно глубока и может быть использована...
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Обратная вероятность , по-разному интерпретированная, не была доминирующим подходом к статистике вплоть до развития частотного подхода в начале 20 века Р.А.Фишер, Ежи Нейман и Эгон Пирсон. После разработки частотного подхода, термины частотная и Байесовская развивались при противопоставлении этих подходов, и получили широкое распространение в 1950-х годах.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
Автоматическое планирование и диспетчеризация (англ. Automated planning and scheduling, APS) — область задач искусственного интеллекта, касающаяся выполнения стратегии или последовательности действий, обычно для интеллектуальных агентов, автономных роботов и беспилотных аппаратов. В отличие от классических проблем управления и классификации, решения задач данной области комплексны, неизвестны и должны разрабатываться и оптимизироваться в многомерном пространстве.
Отделение
содержания от представления (или «разделение формы и содержания») это общепринятая идиома, философия дизайна и методология, применяемая в контексте различных издательских технологических дисциплинах, включая информационный поиск, обработку шаблонов, веб-дизайн, веб-программирование, обработку текста, компьютерную вёрстку и разработку управляемую моделями. Это конкретный случай более общей философии разделения ответственности.
Антиредукционизм — философское и / или научное учение, противоположное редукционизму, пропагандируещее, что не все свойства целого могут быть объяснены свойствами его составных частей и их взаимодействий. Одна из форм антиредукционизма (гносеологическая) показывает, что мы просто не в состоянии понять системы на уровне основных компонентов, и поэтому редукционизм должен потерпеть неудачу. Другой вид антиредукционизма (онтологический) показывает, что полное объяснение основных компонентов не представляется...
Синтети́ческое сужде́ние — суждение, расширяющее и добавляющее информацию об объекте. Противоположностью синтетического суждение является аналитическое суждение. Истинность синтетических суждений может быть установлена «только в процессе их сопоставления с той реальностью, о которой они говорят». Примером синтетического суждения является утверждение «Все лебеди белые» (при условии что слово лебедь не подразумевает белый цвет птицы), поскольку оно обобщает и дает новую информацию о таком предмете...
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Открытая система в физике — физическая система, которую нельзя считать закрытой по отношению к окружающей среде в каком-либо аспекте — информационном, вещественном, энергетическом и т. д. Открытые системы могут обмениваться веществом, энергией, информацией с окружающей средой.
Геостати́стика — наука и технология для анализа, обработки и представления пространственно-распределенной (или пространственно-временной) информации с помощью статистических методов. Геостатистика моделирует распределение объектов, явлений и процессов в географическом пространстве.
Философия искусственного интеллекта задаётся вопросами о «мышлении машин», эти вопросы отражают интересы различных исследователей искусственного интеллекта, философов, исследователей познавательной (когнитивной) деятельности.
Вектор Шепли — принцип оптимальности распределения выигрыша между игроками в задачах теории кооперативных игр. Представляет собой распределение, в котором выигрыш каждого игрока равен его среднему вкладу в благосостояние тотальной коалиции при определенном механизме её формирования.
Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории.
Доказательные вычисления — целенаправленные вычисления на ЭВМ, комбинируемые с аналитическими исследованиями, которые приводят к строгому установлению новых фактов и доказательству теорем.
Квантовый хаос (англ. quantum chaos, нем. Quantenchaos) — в физике: динамика квантовых систем, являющихся хаотическими в классическом пределе.
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.