Связанные понятия
Системати́ческая оши́бка вы́жившего (англ. survivorship bias) — разновидность систематической ошибки отбора, когда по одной группе («выжившим») есть много данных, а по другой («погибшим») — практически нет, в результате чего исследователи пытаются искать общие черты среди «выживших» и упускают из вида, что не менее важная информация скрывается среди «погибших».
Индуктивное логическое программирование (Inductive Logic Programming, ILP) — раздел машинного обучения, который использует логическое программирование как форму представления примеров, фоновых знаний и гипотез. Получив описания уже известных фоновых знаний и набор примеров, представленных как логическая база фактов, система ILP может породить логическую программу в форме гипотез, объясняющую все положительные примеры и ни одного отрицательного.
Парадокс мальчика и девочки также известен в теории вероятностей как «Парадокс девочки и мальчика», «Дети мистера Смита» и «Проблемы миссис Смит». Впервые задача была сформулирована в 1959 году, когда Мартин Гарднер опубликовал один из самых ранних вариантов этого парадокса в журнале Scientific American под названием «The Two Children Problem», где привёл следующую формулировку...
Теория кодирования и декодирования Холла — критическая теория в области анализа приёма сообщений (англ. reception theory), сформулированная британским социологом Стюартом Холлом в труде «Encoding, decoding in the television discourse» (1973). В своих суждениях Холл основывался на примере телевидения, однако его подход применим и к другим масс-медиа.
Теоре́ма о бесконе́чных обезья́нах (в одном из многочисленных вариантов формулировки) утверждает, что абстрактная обезьяна, ударяя случайным образом по клавишам пишущей машинки в течение неограниченно долгого времени, рано или поздно напечатает любой наперёд заданный текст.
Алгоритм Петерсона — алгоритм параллельного программирования для взаимного исключения потоков исполнения кода, разработанный Гарри Петерсоном в 1981 г. Хотя изначально был сформулирован для 2-поточного случая, алгоритм может быть обобщён для произвольного количества потоков. Алгоритм условно называется программным, так как не основан на использовании специальных команд процессора для запрета прерываний, блокировки шины памяти и т. д., используются только общие переменные памяти и цикл для ожидания...
Кибертекст (англ. Cybertext) — организация текста таким образом, чтобы определить значение медиума как неотъемлемой части литературной динамики (определение, данное Эспеном Аарсетом в 1997 году). Аарсет определил кибертекст как часть эргодической литературы.
Логика Бэрроуза — Абади — Нидхэма (англ. Burrows-Abadi-Needham logic) или BAN-логика (англ. BAN logic) — это формальная логическая модель для анализа знания и доверия, широко используемая при анализе протоколов аутентификации.
Логика разделения , сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Семантическая информация — смысловой аспект информации, отражающий отношение между формой сообщения и его смысловым содержанием.
Саморефере́нция (самоотносимость) — явление, которое возникает в системах высказываний в тех случаях, когда некое понятие ссылается само на себя. Иначе говоря, если какое-либо выражение является одновременно самой функцией и аргументом этой функции.
Тео́рия дескри́пций (англ. Theory of descriptions) — теория описаний английского математика и философа Бертрана Рассела, известная также как Теория дескрипций Рассела (англ. Russell's Theory of Descriptions (RTD)). Впервые была опубликована в британском академическом журнале Mind за 1905 год и стала самым существенным вкладом Рассела в развитие философии языка.
Байесовская
игра (англ. Bayesian game) или игра с неполной информацией (англ. incomplete information game) в теории игр характеризуются неполнотой информации о соперниках (их возможных стратегиях и выигрышах), при этом у игроков есть веры относительно этой неопределённости. Байесовскую игру можно преобразовать в игру полной, но несовершенной информации, если принять допущение об общем априорном распределении. В отличие от неполной информации, несовершенная информация включает знание стратегий и выигрышей...
Метод Даффа (англ. Duff's device) в программировании — это оптимизированная реализация последовательного копирования, использующая ту же технику, что применяется для размотки циклов. Первое описание сделано в ноябре 1983 года Томом Даффом (англ. Tom Duff), который в то время работал на Lucasfilm. Пожалуй, это самое необычное использование того факта, что в языке Си инструкции внутри блока switch выполняются «насквозь» через все метки case.
Пять почему — техника, используемая для изучения причинно-следственных связей, лежащих в основе той или иной проблемы. Основной задачей техники является поиск первопричины возникновения дефекта или проблемы с помощью повторения одного вопроса — «Почему?». Каждый последующий вопрос задаётся к ответам на предыдущий вопрос. Количество «5» подобрано эмпирическим путём и считается достаточным для нахождения решения типичных проблем.
Цифровое бессмертие (англ. Digital immortality) — гипотетическая концепция технологии, позволяющей сохранять и передавать личность человека на более долговечных носителях информации, то есть компьютерах, и в будущем предоставлять виртуальной копии возможность общаться с людьми. На основе информации, полученной о человеке при жизни, копия личности должна иметь возможность вести себя, реагировать и мыслить тем же образом, что человек. Такой процесс сходен с резервным копированием.
Лемма разветвления (англ. Forking lemma) — лемма в области криптографических исследований.
Математическая шутка — фраза или небольшой текст юмористического содержания, который опирается на аспекты математики или стереотипы о математике. Юмор может определяться игрой слов или двойным смыслом математического термина. Эти шутки часто непонятны для тех, кто не обладает математическим складом ума. Относится к научному юмору.
Задача трёх узников — парадокс теории вероятностей, имеющий общую природу с парадоксом Монти Холла. Этот парадокс впервые опубликовал Мартин Гарднер в 1959 году.
Корабль Тесея , парадокс Тесея — парадокс, который можно сформулировать так: «Если все составные части исходного объекта были заменены, остаётся ли объект тем же объектом?»
Парадокс телепортации (альтернативный вариант — парадокс дубликатов) является мысленным экспериментом по философии тождества, который ставит под сомнение некоторые из наших распространенных интуитивных знаний о природе личности и сознания. Впервые термин введён предположительно в книге Дерека Парфита «Причины и личности», вышедшей в 1984 году.
ДСМ-метод — метод автоматического порождения гипотез. Формализует схему правдоподобного и достоверного вывода, называемую ДСМ-рассуждением.
Пробле́ма ку́рицы и яйца ́ (иногда дилемма курицы и яйца) — логический парадокс использования понятий с нечётким объёмом. Парадокс звучит следующим образом: «Что было раньше — курица или яйцо?» С одной стороны, для появления курицы необходимо яйцо, с другой — для появления яйца нужна курица. Необходимо установить причинно-следственную связь.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Модальный реализм (англ. Modal realism) — гипотеза, предложенная Дэвидом Льюисом, что все возможные миры такие же реальные, как реальный мир.
Геометрическая криптография — теоретические криптографические методы, в которых сообщения и шифротексты представлены в виде геометрических величин: углов, отрезков, а вычисления проводятся с помощью циркуля и линейки. Основана на сложности решения определенного класса геометрических задач, например, трисекции угла.
Парадо́кс во́ронов (англ. Raven paradox), известный также как парадокс Гемпеля (нем. Hempels paradox) или во́роны Гемпеля — парадокс подтверждения, сформулированный немецким математиком Карлом Густавом Гемпелем в 1940-х годах, для иллюстрации того, что индуктивная логика иногда входит в противоречие с интуицией. Наиболее распространённый метод разрешения этого парадокса состоит в применении теоремы Байеса, которая соотносит условную и предельную вероятность стохастических событий.
Парадокс лжеца — семейство логических парадоксов, классический вариант которого гласит...
Байесовское программирование — это формальная система и методология определения вероятностных моделей и решения задач, когда не вся необходимая информация является доступной.
Исследования по этнометодологии (англ. Studies in ethnomethodology, 1967) — программная работа Г. Гарфинкеля, в которой были совмещены этнографические методы изучения архаичных культур и социологические подходы к исследованию современных обществ.
Машина вероятности – математическая модель вычислительного устройства, в работе которого участвует некоторый случайный процесс. Различные варианты понятия «Машины вероятности» являются обобщениями понятий «автомата детерминированного», «Тьюринга машина», «автомата бесконечного». Рассматривались, например, такие понятия «машины вероятности», как: 1)Машина Тьюринга (или другой детерминированный автомат) с входом, к которому присоединен бернуллиевский датчик, выдающий символ 1 и 0 с вероятностью p и...
Демпстера-Шафера теория — математическая теория очевидностей (свидетельств) (), основанная на функции доверия (belief functions) и функции правдоподобия (plausible reasoning), которые используются, чтобы скомбинировать отдельные части информации (свидетельства) для вычисления вероятности события. Теория была развита Артуром П. Демпстером и Гленном Шафером.
В законе Об
авторском праве США термин существенное сходство является стандартом, используемым для определения того, нарушены ли авторские права или нет. Стандарт исходит из признания того, что исключительное право делать копии произведения будет лишено смысла, если нарушение было ограничено только точными и полными копиями произведения. Многие суды использовали термин «существенное сходство» или «поразительное сходство» для доказательства проведенного копирования.
Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.
Карл Густав Юнг не разделял концепцию Зигмунда Фрейда, обрисованную в трактате «Толкование сновидений», что сновидения являются «шифром», кодирующим запретные импульсы полового влечения, репрезентацией неосуществлённых желаний, считая такой взгляд упрощённым и наивным. На самом деле сновидение, писал Юнг, является «прямой манифестацией бессознательного» и только «незнание его языка мешает понять его послание».
Подробнее: Теория сновидений Карла Юнга
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Ра́мочный ана́лиз (англ. Framing analysis) — междисциплинарный метод научного исследования, который используется для анализа того, как люди понимают ситуации и события.
Аксиома детерминированности — аксиома теории множеств, обычно обозначаемая AD. Эту аксиому предложили в 1962 году польские математики Ян Мычельский и Гуго Штейнгауз в качестве замены для аксиомы выбора (введённой в 1904 году, обозначается AC). Причиной поиска альтернативы аксиоме выбора стали необычные следствия из этой аксиомы, которые вызывали и продолжают вызывать критику со стороны части математиков. Например, в случае применения аксиомы выбора возникают парадоксальные конструкции вроде «парадокса...
Коммуникативный кодекс — это система принципов построения диалога, которая рассматривает речевое поведение каждой из сторон как обдуманные и осознанные речевые действия. Выступает регламентирующей системой для анализа моделей речевого поведения, их успешной или неуспешной организации. Базируется на принципе кооперации Герберта Пола Грайса и принципе вежливости Джеффри Лича (англ. Geoffrey Leech).
Человеческая
память ассоциативна, то есть некоторое воспоминание может порождать большую связанную с ним область. Один предмет напоминает нам о другом, а этот другой о третьем. Если позволить нашим мыслям, они будут перемещаться от предмета к предмету по цепочке умственных ассоциаций. Например, несколько музыкальных тактов могут вызвать целую гамму чувственных воспоминаний, включая пейзажи, звуки и запахи. Напротив, обычная компьютерная память является локально адресуемой, предъявляется адрес и извлекается...
Приостановка неверия (suspension of disbelief), намеренная приостановка неверия — понятие, введенное в 1817 г. поэтом и философом эстетики Сэмюэлом Кольриджем, который предположил, что если писатель привносит в выдуманную историю «человеческий интерес и подобие истины», то читатель воздержится от критических суждений относительно неправдоподобности событий и примет условность повествования. Приостановка недоверия, психологическое принятие изображаемого мира как реального в данных условиях — условие...
Противоположные суждения — так называются два суждения, имеющие одно и то же подлежащее и сказуемое, но различающиеся между собой по количеству или качеству. Если назвать A — общеутвердительные суждения; E — общеотрицательные; I — частноутвердительные; O — частноотрицательные, то можно составить квадрат, на котором все отношения противоположности будут выяснены графически.
Трансмедийное повествование — технология рассказа истории или представление повествования посредством использования мультиплатформ и кросс-медийных сериальных изданий. Иначе говоря, метод рассказа и представления единственной истории или опыта её переживания сквозь множественные платформы и форматы цифровых технологий. Не стоит путать это понятие с традиционными формами кросс-платформ как медиа-франшиз, сиквелов и адаптаций к произведениям.
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что...
Подробнее: Дескрипционная логика
В программировании,
аргумент по умолчанию является аргументом функции, который при вызове необязательно указывать.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Интерактивный машинный перевод (ИМП) — специальный подраздел области компьютерного перевода. При этом парадигма перевода в том, что компьютерное программное обеспечение помогает переводчику, пытаясь спрогнозировать текст, который пользователю пришлось бы вводить, учитывая всю информацию, которую он имеет в наличии. Когда такое предположение неправильно, система предоставляет пользователю обратную связь, а новое предсказание выполняется с учётом новой информации. Такой процесс повторяется до перевода...
Эффект сотой обезьяны — мнимый феномен, описывающий мгновенное распространение усвоенного поведения на всю популяцию при достижении критического числа индивидуумов, имеющих данный навык. Обобщённо он означает феноменально быстрое распространение идеи или способности по всему населению от группы, которая слышала о новой идее или обладает новой способностью. Описание этого явления, как предполагается, было сделано Лоуренсом Блэром (Lawrence Blair) и Лайаллом Уотсоном (Lyall Watson) в 1970-е годы. Они...