Связанные понятия
Дистрибути́вная сема́нтика — это область лингвистики, которая занимается вычислением степени семантической близости между лингвистическими единицами на основании их распределения (дистрибуции) в больших массивах лингвистических данных (текстовых корпусах).
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка...
Анализ как современный раздел математики — значительная часть математики, исторически выросшая из классического математического анализа, и охватывающая, кроме дифференциального и интегрального исчислений, входящих в классическую часть, такие разделы, как теории функций вещественной и комплексной переменной, теории дифференциальных и интегральных уравнений, вариационное исчисление, гармонический анализ, функциональный анализ, теорию динамических систем и эргодическую теорию, глобальный анализ. Нестандартный...
Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Семанти́ческий ана́лиз — этап в последовательности действий алгоритма автоматического понимания текстов, заключающийся в выделении семантических отношений, формировании семантического представления текстов. Один из возможных вариантов представления семантического представления — структура, состоящая из «текстовых фактов». Семантический анализ в рамках одного предложения называется локальным семантическим анализом.
Вероятностный латентно-семантический анализ (ВЛСА), также известный как вероятностное латентно-семантическое индексирование (ВЛСИ, особенно в области информационного поиска) — это статистический метод анализа корреляции двух типов данных. Данный метод является дальнейшим развитием латентно-семантического анализа. ВЛСА применяется в таких областях как информационный поиск, обработка естественного языка, машинное обучение и смежных областях.
Математи́ческая стати́стика — наука, разрабатывающая математические методы систематизации и использования статистических данных для научных и практических выводов.
Функциональный анализ — раздел анализа, в котором изучаются бесконечномерные топологические векторные пространства и их отображения.
Структурное прогнозирование или структурное обучение является собирательным термином для техник обучения машин с учителем, которые вовлекают предвидение структурных объектов, а не скалярных дискретных или вещественных значений.
Теоретическая информатика — это научная область, предметом изучения которой являются информация и информационные процессы, в которой осуществляется изобретение и создание новых средств работы с информацией. Это подразделение общей информатики и математики, которое сосредотачивается на более абстрактных или математических аспектах вычислительной техники и включает в себя теорию алгоритмов.
Концептуальное программирование - подход к программированию, описанный Э.Х. Тыугу в одноименной книге . К. программирование предполагает оперирование понятиями (концептами), описанными в терминах предметной области, что позволяет использовать ЭВМ на этапе постановки задачи. Достаточно точное описание задачи позволяет ЭВМ автоматически составлять программы для её решения. Характерными особенностями концептуального программирования являются также использование языка предметной области и использование...
Компоне́нтный ана́лиз — в языкознании: метод исследования плана содержания значимых единиц языка, целью которого является разложение значения на минимальные семантические составляющие. Основан на гипотезе о том, что значение всякой языковой единицы состоит из семантических компонентов (сем) и словарный состав языка может быть описан с помощью ограниченного (сравнительно небольшого) числа семантических признаков.
Анализ данных — область математики и информатики, занимающаяся построением и исследованием наиболее общих математических методов и вычислительных алгоритмов извлечения знаний из экспериментальных (в широком смысле) данных; процесс исследования, фильтрации, преобразования и моделирования данных с целью извлечения полезной информации и принятия решений. Анализ данных имеет множество аспектов и подходов, охватывает разные методы в различных областях науки и деятельности.
Системно-функциональная лингвистика (СФЛ) - это подход к лингвистике, рассматривающий язык как социальную семиотическую систему. Данный подход был разработан Майклом Халлидеем, который перенял понятие системы от своего учителя, Дж. Р. Ферса. В то время как Ферс считал, что системы ссылались на возможности, подчиненные структуре, Халлидей в некотором смысле «освободил» сферу выбора от структуры и сделал выбор основополагающим понятием своей теории. Другими словами, в то время как многие подходы к...
Тематическое моделирование — способ построения модели коллекции текстовых документов, которая определяет, к каким темам относится каждый из документов.
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Вычислительная среда (англ. computational environment) — это совокупность объектов, участвующих в вычислениях, причем каждый раз требуется определение того, что считается объектом, и что понимается под вычислениями, то есть трактовка этих терминов зависит от контекста употребления. Так, например, в программной инженерии под вычислительной средой понимается совокупность программных компонентов и сервисов, интегрируемых в рамках одного приложения (реализующего некоторый процесс в определенной предметной...
Порожда́ющая сема́нтика , генерати́вная семантика — одно из направлений в теории трансформационных порождающих грамматик, ставившее целью построить модель языка по схеме «от значения к тексту» и «от текста к значению». Представляла собой частный метод грамматического описания.
Вычислительная теория групп — область науки на стыке математики и информатики, изучающая группы с помощью вычислительных машин. Она связана с проектированием, анализом алгоритмов и структур данных для вычисления различных характеристик (чаще всего — конечных) групп. Область интересна исследованием важных с различных точек зрения групп, данные о которых невозможно получить вычислениями вручную.
Семанти́ческие веб-се́рвисы (англ. Semantic Web Services, SWS; иногда Semantic Web Web Services, SWWS) — законченные элементы программной логики с однозначно описанной семантикой, доступные через Интернет и пригодные для автоматизированного поиска, композиции и выполнения с учетом их семантики. В тематической литературе часто называются «динамической составляющей семантической паутины».
Информа́тика (фр. Informatique; англ. Computer science) — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Кластерный анализ (англ. cluster analysis) — многомерная статистическая процедура, выполняющая сбор данных, содержащих информацию о выборке объектов, и затем упорядочивающая объекты в сравнительно однородные группы. Задача кластеризации относится к статистической обработке, а также к широкому классу задач обучения без учителя.
Оптимизация — в математике, информатике и исследовании операций задача нахождения экстремума (минимума или максимума) целевой функции в некоторой области конечномерного векторного пространства, ограниченной набором линейных и/или нелинейных равенств и/или неравенств.
Машинное обучение (англ. machine learning, ML) — класс методов искусственного интеллекта, характерной чертой которых является не прямое решение задачи, а обучение в процессе применения решений множества сходных задач. Для построения таких методов используются средства математической статистики, численных методов, методов оптимизации, теории вероятностей, теории графов, различные техники работы с данными в цифровой форме.
Вычислительная математика — раздел математики, включающий круг вопросов, связанных с производством разнообразных вычислений. В более узком понимании вычислительная математика — теория численных методов решения типовых математических задач. Современная вычислительная математика включает в круг своих проблем изучение особенностей вычисления с применением компьютеров.
Комбинато́рное программи́рование (англ. function-level programming) — парадигма программирования, использующая принципы комбинáторной логики, то есть не требующая явного упоминания аргументов определяемой функции (программы) и использующая вместо переменных комбинаторы и композиции. Является особой разновидностью функционального программирования, но, в отличие от основного его направления, комбинаторное программирование не использует λ-абстракцию).
Функциональная грамматика — направление лингвистики, в основе которого лежит изучение универсальных категорий языка. Это грамматика, нацеленная на изучение и описание функций единиц строя языка и закономерностей функционирования этих единиц во взаимодействии с разноуровневыми элементами окружающей среды. Грамматика данного типа рассматривает в единой системе средства, относящиеся к разным ярусам языка, но объединённые на основе общности их семантических функций. При анализе языкового материала используется...
Дискре́тная матема́тика — часть математики, изучающая дискретные математические структуры, такие, как графы и утверждения в логике.
Визуализация данных — это представление данных в виде, который обеспечивает наиболее эффективную работу человека по их изучению. Визуализация данных находит широкое применение в научных и статистических исследованиях (в частности, в прогнозировании, интеллектуальном анализе данных, бизнес-анализе), в педагогическом дизайне для обучения и тестирования, в новостных сводках и аналитических обзорах. Визуализация данных связана с визуализацией информации, инфографикой, визуализацией научных данных, разведочным...
Структу́рная лингви́стика — языковедческая дисциплина, предметом которой является язык, изучаемый с точки зрения своего формального строения и организации его в целом, а также с точки зрения формального строения образующих его компонентов как в плане выражения, так и в плане содержания.
Открытые биомедицинские онтологии (OБO, англ. Open Biomedical Ontologies, ранее использовался термин англ. Open Biological Ontologies — Открытые Биологические Онтологии) — инициатива научного сообщества по выработке единого понятийного аппарата в различных отраслях биологии и медицины.
Петербу́ргская шко́ла функциона́льной грамма́тики (ПШФГ) — направление функциональной грамматики, ориентированное на описание системы семантических категорий в их языковом выражении, центром разработки которого с начала 1990-х годов является Отдел теории грамматики Института лингвистических исследований РАН.
Аппликативное программирование — один из видов декларативного программирования, в котором написание программы состоит в систематическом осуществлении применения одного объекта к другому. Результатом такого применения вновь является объект, который может участвовать в применениях как в роли функции, так и в роли аргумента и так далее. Это делает запись программы математически ясной. Тот факт, что функция обозначается выражением, свидетельствует о возможности использования значений-функций — функциональных...
Матема́тика (др.-греч. μᾰθημᾰτικά < μάθημα «изучение; наука») — наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории. Исторически сложилась на основе операций подсчёта, измерения и описания формы объектов. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке...
Компьютерная модель (англ. computer model), или численная модель (англ. computational model) — компьютерная программа, работающая на отдельном компьютере, суперкомпьютере или множестве взаимодействующих компьютеров (вычислительных узлов), реализующая представление объекта, системы или понятия в форме, отличной от реальной, но приближенной к алгоритмическому описанию, включающей и набор данных, характеризующих свойства системы и динамику их изменения со временем.
Подробнее: Компьютерное моделирование
Функциона́льное программи́рование — раздел дискретной математики и парадигма программирования, в которой процесс вычисления трактуется как вычисление значений функций в математическом понимании последних (в отличие от функций как подпрограмм в процедурном программировании).
Си́нтаксис (др.-греч. σύν-ταξις — составление) — раздел лингвистики, изучающий строение и функциональное взаимодействие различных частей речи в предложениях, словосочетаниях и пр. языковых единицах. Является составной частью грамматики. Исследуемые в рамках синтаксиса вопросы тесно соприкасаются с областью изучения морфологии.
Формальные методы занимаются приложением довольно широкого класса фундаментальных техник теоретической информатики: разные исчисления логики, формальных языков, теории автоматов, формальной семантики, систем типов и алгебраических типов данных.
Паради́гма программи́рования — это совокупность идей и понятий, определяющих стиль написания компьютерных программ (подход к программированию). Это способ концептуализации, определяющий организацию вычислений и структурирование работы, выполняемой компьютером.
В лингвистике кóрпус (в данном значении множественное число — кóрпусы, не корпусá) — подобранная и обработанная по определённым правилам совокупность текстов, используемых в качестве базы для исследования языка. Они используются для статистического анализа и проверки статистических гипотез, подтверждения лингвистических правил в данном языке.
Подробнее: Корпус текстов
Семантический дифференциал (англ. semantic differential) — метод построения индивидуальных или групповых семантических пространств (англ. semantic space). Координатами объекта в семантическом пространстве служат его оценки по ряду биполярных градуированных (трех-, пяти-, семибалльных) оценочных шкал (англ. rate scale), противоположные полюса которых заданы с помощью вербальных антонимов. Эти шкалы отобраны из множества пробных шкал методами факторного анализа.
Язык тернарного описания (ЯТО) — формальная логическая система и соответствующее ей математическое исчисление, разработанные А. И. Уёмовым и его школой как вариант неклассической логики на базе категорий вещь, свойство, отношение и определённое, неопределённое, произвольное. ЯТО чаще всего используется как формальный аппарат параметрической общей теории систем, но сфера его применения выходит далеко за её рамки. Поскольку ЯТО является логической системой, областью его интерпретации могут быть любые...
Системный анализ — научный метод познания, представляющий собой последовательность действий по установлению структурных связей между переменными или постоянными элементами исследуемой системы. Опирается на комплекс общенаучных, экспериментальных, естественнонаучных, статистических, математических методов.
Номография (от др.-греч. νόμος — закон и γράφω — пишу) — область математики, охватывающая теорию и практику применения в вычислительной работе графического представления функциональных зависимостей — номограмм. Отмечается, что при переходе к номографическим методам большие объёмы сложных вычислительных действий могут быть часто заменены ограниченным числом элементарных геометрических операций на номограмме.
Видеосемантика — краткое логическое изложение видеоинформации путём разложения её на семантические единицы (видеосюжеты), каждый из которых имеет свой законченный смысл, отличающийся от предыдущего и последующего видеосегмента. Это особое направление видеоаналитики — так называемая гибкая видеоаналитика, не имеющая жестких параметров и точной формализации.
Эконометрика — наука, изучающая количественные и качественные экономические взаимосвязи с помощью математических и статистических методов и моделей. Современное определение предмета эконометрики было выработано в уставе Эконометрического общества, которое главными целями назвало использование статистики и математики для развития экономической теории. Теоретическая эконометрика рассматривает статистические свойства оценок и испытаний, в то время как прикладная эконометрика занимается применением эконометрических...
Описа́тельный ме́тод — вид научного метода, представляющий собой систему процедур сбора, первичного анализа и изложения данных и их характеристик. Описательный метод имеет применение во всех дисциплинах социально-гуманитарного и естественнонаучного циклов. Предельно широкая употребительность описательного метода в границах научного поиска обусловливается многоступенчатостью методологии современного научного познания, в иерархии которой описательный метод занимает первичные позиции (после наблюдения...