Глоссариум по искусственному интеллекту: 2500 терминов. Том 1 - страница 55




Лисп (LISt Processing – «обработка списков») – это семейство языков программирования, основанных на представлении программы системой линейных списков символов, которые притом являются основной структурой данных языка. Лисп считается вторым после Fortran старейшим высокоуровневым языком программирования. [38]


Личная информация (Personally Identifiable Information) – это любая часть информации, которая может использоваться сама по себе или в сочетании с какой-либо другой информацией для идентификации конкретного человека.


Ловушка NaN (NaN trap) – это элемент числового типа данных, который можно интерпретировать как неопределенное или непредставимое значение, особенно в арифметике с плавающей запятой. Когда одно число в вашей модели становится NaN во время обучения, что приводит к тому, что многие или все другие числа в вашей модели в конечном тоже итоге становятся NaN. [39]


Логарифм отношения шансов (Log-odds) – это логарифм отношения вероятностей наступления и не наступления события. Log-odds – это краткий способ обозначения взятия натурального логарифма из шансов. Когда вы берете натуральный логарифм чего-то, вы в основном делаете его более нормально распределенным. Когда мы делаем что-то более нормально распределенное, мы ставим его в таком масштабе, с которым очень легко работать.


Логика описания (Description logic) – это семейство формальных языков представления знаний. DL используются в искусственном интеллекте для описания и обоснования соответствующих концепций предметной области (известных как терминологические знания). Это особенно важно для обеспечения логического формализма для онтологий и Semantic Web: Web Ontology Language (OWL). Наибольшее применение DL и OWL находит в биомедицинской информатике, где DL помогает в кодификации биомедицинских знаний.


Логика первого порядка (также известная как исчисление предикатов первого порядка и логика предикатов) (First-order logic) – это набор формальных систем, используемых в математике, философии, лингвистике и информатике. Логика первого порядка использует количественные переменные вместо нелогических объектов и допускает использование предложений, содержащих переменные, так что вместо таких утверждений, как Сократ – человек, могут быть выражения в форме «существует такое X, что X есть Сократ и X – человек», и существует квантор, а X – переменная. Это отличает ее от логики высказываний, которая не использует кванторы или отношения.


Логика по умолчанию (Default logic) – это немонотонная логика, предложенная Раймондом Рейтером для формализации рассуждений с предположениями по умолчанию. Логика по умолчанию может выражать такие факты, как «по умолчанию, что-то истинно».


Логика разделения (Separation logic) – расширение логики Хоара – это способ рассуждения о программах. Язык утверждений логики разделения является частным случаем логики сгруппированных импликаций (BI).


Логистическая регрессия (Logistic regression) – это статистический метод для анализа набора данных, в котором есть одна или несколько независимых переменных, которые определяют результат. Результат измеряется с помощью дихотомической переменной (в которой есть только два возможных результата). Она используется для прогнозирования двоичного результата (1/0, да / нет, истина / ложь) с учетом набора независимых переменных. Логистическую регрессию можно рассматривать как особый случай линейной регрессии, когда исходная переменная является категориальной, где мы используем логарифм шансов в качестве зависимой переменной. Проще говоря, он предсказывает вероятность возникновения события путем подгонки данных клогитфункции. В некоторых случаях зависимые переменные могут иметь более двух результатов, например, в браке / не замужем / в разводе, такие сценарии классифицируются как полиномиальная логистическая регрессия. [