Связанные понятия
Концептуальное программирование - подход к программированию, описанный Э.Х. Тыугу в одноименной книге . К. программирование предполагает оперирование понятиями (концептами), описанными в терминах предметной области, что позволяет использовать ЭВМ на этапе постановки задачи. Достаточно точное описание задачи позволяет ЭВМ автоматически составлять программы для её решения. Характерными особенностями концептуального программирования являются также использование языка предметной области и использование...
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.
Цифровая философия — направление в философии и космологии, поддерживаемое такими людьми, как Грегори Хайтин, Эдвард Фредкин, Стивен Вольфрам и Конрад Цузе.Цифровая философия отделилась от цифровой физики (оба термина введены Эдвардом Фредкиным) и предлагает основывать современную физику на клеточных автоматах. Точнее говоря, ученые, поддерживающие это направление исходят из предположения, что вселенная — гигантский Тьюринг-полный клеточный автомат.
Машина вывода — программа, которая выполняет логический вывод из предварительно построенной базы фактов и правил в соответствии с законами формальной логики.
Модель мозга — любая теоретическая система, которая стремится объяснить физиологические функции мозга с помощью известных законов физики и математики, а также известных фактов нейроанатомии и нейрофизиологии . Существуют по меньшей мере два основных положения, играющих фундаментальную роль в теории функционирования мозга, в отношении которых сходится мнение большинства современных теоретиков...
Квантовое машинное обучение — раздел науки на стыке квантовой физики и информатики, в котором разрабатываются и изучаются методы машинного обучения, способные эффективно задействовать параллелизм квантовых компьютеров.
Иерархия вер (англ. belief hierarchy) — объект эпистемической теории игр, позволяющий определить категорию, рациональности и общей веры в рациональность. Под верой понимается вероятностное распределение на неком пространстве неопределённости — например, на множестве стратегий другого игрока (однако элементы пространства могут иметь и экзогенную природу). Концепция иерархии вер введена Мертенсом и Замиром. Иерархию вер можно задать напрямую, либо с помощью дополнительной структуры — типов игроков...
Архетип — это формальная модель понятия предметной области, являющаяся уточнением эталонной информационной модели, выраженным в виде ограничений, накладываемых на эталонную информационную модель, и представленным с помощью определенного формального аппарата в форме машиночитаемых и, одновременно, понятных человеку выражений.
Абстрактная модель — это модель, отражающая лишь самые общие характеристики моделируемого явления. Чаще всего абстрактная модель даёт лишь качественные характеристики моделируемого объекта или явления.
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Отделение
содержания от представления (или «разделение формы и содержания») это общепринятая идиома, философия дизайна и методология, применяемая в контексте различных издательских технологических дисциплинах, включая информационный поиск, обработку шаблонов, веб-дизайн, веб-программирование, обработку текста, компьютерную вёрстку и разработку управляемую моделями. Это конкретный случай более общей философии разделения ответственности.
Философия искусственного интеллекта задаётся вопросами о «мышлении машин», эти вопросы отражают интересы различных исследователей искусственного интеллекта, философов, исследователей познавательной (когнитивной) деятельности.
Натуралистическая парадигма (англ. naturalistic paradigm) — это одна из четырех теорий коммуникаций малых групп. Как общая теория систем, натуралистическая парадигма является общим подходом, который применим ко многим отраслям коммуникаций и академическим дисциплинам.
Абдукция (от лат. ab — от и лат. ducere — водить) — познавательная процедура выдвижения гипотез.
Антиредукционизм — философское и / или научное учение, противоположное редукционизму, пропагандируещее, что не все свойства целого могут быть объяснены свойствами его составных частей и их взаимодействий. Одна из форм антиредукционизма (гносеологическая) показывает, что мы просто не в состоянии понять системы на уровне основных компонентов, и поэтому редукционизм должен потерпеть неудачу. Другой вид антиредукционизма (онтологический) показывает, что полное объяснение основных компонентов не представляется...
Автоматическое планирование и диспетчеризация (англ. Automated planning and scheduling, APS) — область задач искусственного интеллекта, касающаяся выполнения стратегии или последовательности действий, обычно для интеллектуальных агентов, автономных роботов и беспилотных аппаратов. В отличие от классических проблем управления и классификации, решения задач данной области комплексны, неизвестны и должны разрабатываться и оптимизироваться в многомерном пространстве.
Теория топосов — раздел теории категорий, изучающий топосы — категории с определёнными дополнительными структурами, и математические (категорные) методы, связанные с топосами.
В статистике под латентными или скрытыми переменными понимают такие переменные, которые не могут быть измерены в явном виде, а могут быть только выведены через математические модели с использованием наблюдаемых переменных. Скрытые переменные используются во многих областях, включая психологию, экономику, машинное обучение, биоинформатику, обработку естественного языка и социальные науки.
Подробнее: Скрытая переменная
Задача выполнимости формул в теориях (англ. satisfiability modulo theories, SMT) — это задача разрешимости для логических формул с учётом лежащих в их основе теорий. Примерами таких теорий для SMT-формул являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п.
Интеллектуа́льная систе́ма (ИС, англ. intelligent system) — это техническая или программная система, способная решать задачи, традиционно считающиеся творческими, принадлежащие конкретной предметной области, знания о которой хранятся в памяти такой системы. Структура интеллектуальной системы включает три основных блока — базу знаний, механизм вывода решений и интеллектуальный интерфейс.
Формальная семантика — дисциплина, изучающая семантику (интерпретации) формальных и естественных языков путём их формального описания в математических терминах.
Если методы обучения без учителя в проблеме разрешения многозначности полагаются на неаннотированный (неразмеченный) корпус, то обучение с учителем коренным образом зависят от размеченного корпуса тестов. Проблема получения достаточного количества знаний является одной из самых главных преград в реализации высокоэффективных алгоритмов обучения. Однако, если алгоритм реализуется не такими крупными с точки зрения ресурсов мероприятиями, как Senseval, а более мелкая, то в подобных случаях получение...
Подробнее: Автоматическое получение размеченного корпуса
Когнитивная архитектура — основа для интеллектуальных агентов. Она предлагает искусственные вычислительные процессы, которые действуют как определенные когнитивные системы, чаще всего, как человек, или действует разумно по некоторому определению. Когнитивные архитектуры образуют подмножество общих архитектур агента. Термин «архитектура» подразумевает подход, который пытается моделировать не только поведение, но и структурные свойства моделируемой системы.
Комбинато́рное программи́рование (англ. function-level programming) — парадигма программирования, использующая принципы комбинáторной логики, то есть не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композиции. Является особой разновидностью функционального программирования, но, в отличие от основного его направления, комбинаторное программирование не использует λ-абстракцию).
Семантика Крипке является распространенной семантикой для неклассических логик, таких как интуиционистская логика и модальная логика. Она была создана Солом Крипке в конце 1950-х — начале 1960-х годов. Это было большим достижением для развития теории моделей для неклассических логик.
Элиминация кванторов — получение по заданной логической формуле эквивалентной ей, не содержащей кванторов. Теории, допускающие элиминацию кванторов для любой формулы, представляют особый интерес, поскольку наличие алгоритма элиминации позволяет получить ряд содержательных результатов об этой теории.
Экстериориза́ция (фр. exteriorisation — обнаружение, проявление, от лат. exterior — наружный, внешний) — означает переход действия из внутреннего во внешний план. Так, при составлении профессиограммы, инструкции, раскрытии технологии, рефлексии.
Поскольку философия состоит из рациональных рассуждений, логика является первичным атрибутом философии. Для анализа различных философских концепций, для их сопоставления друг с другом необходимо проведение критического анализа различных философских утверждений и теорий. В связи с тем, что человеческое мышление формулируется текстуально, логика тесно связана с анализом текстов и языков. Логика формализует текстуальное рассуждение и определяет его формы, которые приемлемы для анализа. Первым шагом...
Подробнее: Философская логика
Когнитивная карта (от лат. cognitio — знание, познание) — образ знакомого пространственного окружения.
Конструктивный альтернативизм (англ. constructive alternativism) — философская установка, сформулированная Джорджем Келли, согласно которой реальность может интерпретироваться людьми множеством разных способов на основании «конструктивных альтернатив» (то есть различных точек зрения на реальность, индивидуальных моделей реальности). В конструктивном альтернативизме в принципе не рассматриваются абстрактно правильные или неправильные интерпретации сигналов внешней среды, и все гипотезы, позволяющие...
Парадоксами
теории множеств называют * рассуждения, демонстрирующие противоречивость наивной теории множеств, такие как...
Функция принадлежности нечёткого множества — обобщение индикаторной (или характеристической) функции классического множества. В нечёткой логике она представляет степень принадлежности каждого члена пространства рассуждения к данному нечёткому множеству.
Социальная кибернетика (англ. Sociocybernetics) — независимый раздел в социологии, основанный на общей теории систем и кибернетике.
Алгоритмическая теория информации — это область информатики, которая пытается уловить суть сложности, используя инструменты из теоретической информатики. Главная идея — это определить сложность (или описательную сложность, колмогоровскую сложность, сложность Колмогорова-Хайтина) строки как длину кратчайшей программы, которая выводит заданную строку. Строки, которые могут выводиться короткими программами, рассматриваются как не очень сложные. Эта нотация удивительно глубока и может быть использована...
Рассуждение — последовательный ряд мыслей и умозаключений в контексте определённой темы, изложенных в логически последовательной форме.
Порожда́ющая сема́нтика , генерати́вная семантика — одно из направлений в теории трансформационных порождающих грамматик, ставившее целью построить модель языка по схеме «от значения к тексту» и «от текста к значению». Представляла собой частный метод грамматического описания.
Старсет — высокоуровневый язык программирования, разработанный под руководством М. М. Гилулы в Институте программных систем РАН в 1991 году.
Операционализм — течение в философии и методологии науки XX века, полагающее операционализацию критерием научности теоретических и эмпирических суждений.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Анализ формальных понятий (АФП) (англ. Formal Concept Analysis, FCA) — ветвь прикладной алгебраической теории решёток. Традиционно АФП относят к области концептуальных структур в искусственном интеллекте.
Рекурсивное определение или индуктивное определение определяет сущность в терминах её самой (то есть рекурсивно), хотя и полезным способом. Для того, чтобы это было возможно, определение в любом данном случае должно быть хорошо-основанным, избегая бесконечной регрессии.
Лингвистический ассоциативный эксперимент — один из методов психолингвистики. Берёт начало в методе свободных ассоциаций, одном из первых проективных методов психологии. З. Фрейд и его последователи предполагали, что неконтролируемые ассоциации — это символическая или иногда даже прямая проекция внутреннего, часто неосознаваемого содержания сознания.
Повсеместные вычисления (вездесущие вычисления, юбикомп, от англ. ubiquitous computing) — понятие, обозначающее модель взаимодействия человека с вычислительной системой, в которой пользователь окружён вычислительными устройствами, пронизывающими окружающую среду, интегрированными в повседневные вещи. В отличие от виртуальной реальности, где в компьютере отражается виртуальный мир, при повсеместных вычислениях компьютеры привносятся в реальный мир вокруг человека, этот мир состоит из множества цифровых...
Концепцией
решения (англ. solution concept) в теории игр называют формальное правило, предсказывающее, по какому сценарию пройдёт игра. Если говорить точнее, предсказания касаются стратегий игроков и, следовательно, исхода игры при заданных допущениях. Предсказания называются решениями игры. Наиболее распространены равновесные концепции решения, в том числе равновесие Нэша. Существуют и иные концепции, не являющиеся равновесными. В отличие от равновесных, они не требуют от игроков обоснованных вер...
Когнити́вная систе́ма , когнити́вная структу́ра (от лат. cognitiо «познание») — система познания (человека), сложившаяся в его сознании в результате становления его характера, воспитания, обучения, наблюдения и размышления об окружающем мире. На основе этой системы ставятся цели и принимаются решения о том, как надо действовать в той или иной ситуации, стараясь избежать когнитивного диссонанса. В основе когнитивной системы лежит взаимодействие мышления, сознания, памяти и языка; носителем такой системы...
Интеллектуальный анализ текстов (ИАТ, англ. text mining) — направление в искусственном интеллекте, целью которого является получение информации из коллекций текстовых документов, основываясь на применении эффективных в практическом плане методов машинного обучения и обработки естественного языка. Название «интеллектуальный анализ текстов» перекликается с понятием «интеллектуальный анализ данных» (ИАД, англ. data mining), что выражает схожесть их целей, подходов к переработке информации и сфер применения...
Дискурсивная психология — направление социального конструкционизма, вид дискурс-анализа. Дискурсивная психология описывает и познаёт психические феномены в процессе социального взаимодействия через язык.
Структурное прогнозирование или структурное обучение является собирательным термином для техник обучения машин с учителем, которые вовлекают предвидение структурных объектов, а не скалярных дискретных или вещественных значений.
Конти́нуум в физике обозначает некоторую сплошную среду, в которой исследуются процессы/поведение этой среды при различных внешних условиях. Вводится на основании гипотезы сплошности, в рамках которой пренебрегают структурой исследуемых тел и сред, усредняя их микроструктурные характеристики по физически малому объёму. Непрерывным континуумом можно считать как обычные материальные тела, так и различные поля, например, электромагнитное поле.