Связанные понятия
Семанти́ческая сеть — информационная модель предметной области, имеющая вид ориентированного графа, вершины которого соответствуют объектам предметной области, а дуги (рёбра) задают отношения между ними. Объектами могут быть понятия, события, свойства, процессы. Таким образом, семантическая сеть является одним из способов представления знаний. В названии соединены термины из двух наук: семантика в языкознании изучает смысл единиц языка, а сеть в математике представляет собой разновидность графа...
Концептуальная интеграция или
концептуальное смешение рассматривается как теория познания, согласно которой элементы различных областей смешиваются, в результате чего происходит смешение ментальных пространств в подсознании человека. Эта теория, предложенная Жилем Фоконье (Gilles Fauconnier) и Марком Тернером (Mark Turner 1993, 1998), предоставила новые возможности исследования для следующих теорий: теории метафоры, теории аналогии, концептуальной комбинации, грамматикализации, теории решения абстрактных...
Определе́ние , дефини́ция (лат. definitio — предел, граница) — логическая операция раскрывающая содержание имени посредством описания отличительных признаков предметов или явлений.
Поня́тие — отображённое в мышлении единство существенных свойств, связей и отношений предметов или явлений; мысль или система мыслей, выделяющая и обобщающая предметы некоторого класса по общим и в своей совокупности специфическим для них признакам.
Семанти́ческая па́мять (от греч. σημαντικός — «обозначающий») — система декларативной памяти для фиксации, хранения и актуализации обобщённых знаний о мире.
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что...
Подробнее: Дескрипционная логика
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Когнитивная семантика является частью когнитивной лингвистики. Основными принципами когнитивной семантики являются следующие: во-первых, грамматика есть концептуализация; во-вторых, концептуальная структура закреплена в речи и мотивируется ей; в-третьих, возможность использования языка основывается на общих когнитивных ресурсах, а не на специальном языковом модуле.
Суперве́нтность (англ. Supervenience) — отношение детерминированности состояния любой системы состоянием другой системы. Набор свойств одной системы супервентен относительно набора свойств другой системы в том случае, если существование различия между двумя фактами в свойствах первой системы невозможно без существования такого же различия между двумя фактами в свойствах второй системы. Понятие супервентности является центральным понятием современной аналитической философии и часто используется в...
Есте́ственный язы́к — в лингвистике и философии языка язык, используемый для общения людей (в отличие от формальных языков и других типов знаковых систем, также называемых языками в семиотике) и не созданный целенаправленно (в отличие от искусственных языков).
Анализ формальных понятий (АФП) (англ. Formal Concept Analysis, FCA) — ветвь прикладной алгебраической теории решёток. Традиционно АФП относят к области концептуальных структур в искусственном интеллекте.
Гомотопическая теория типов (HoTT, от англ. homotopy type theory) — математическая теория, особый вариант теории типов, снабжённый понятиями из теории категорий, алгебраической топологии, гомологической алгебры; базируется на взаимосвязи между понятиями о гомотопическом типе пространства, высших категориях и типах в логике и языках программирования.
Диаграмма классов (англ. Static Structure diagram) — структурная диаграмма языка моделирования UML, демонстрирующая общую структуру иерархии классов системы, их коопераций, атрибутов (полей), методов, интерфейсов и взаимосвязей между ними. Широко применяется не только для документирования и визуализации, но также для конструирования посредством прямого или обратного проектирования.
Системно-функциональная лингвистика (СФЛ) - это подход к лингвистике, рассматривающий язык как социальную семиотическую систему. Данный подход был разработан Майклом Халлидеем, который перенял понятие системы от своего учителя, Дж. Р. Ферса. В то время как Ферс считал, что системы ссылались на возможности, подчиненные структуре, Халлидей в некотором смысле «освободил» сферу выбора от структуры и сделал выбор основополагающим понятием своей теории. Другими словами, в то время как многие подходы к...
Логика разделения , сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Онтоло́гия в информатике (новолат. ontologia от др.-греч. ὤν род. п. ὄντος — сущее, то, что существует и λόγος — учение, наука) — это попытка всеобъемлющей и подробной формализации некоторой области знаний с помощью концептуальной схемы. Обычно такая схема состоит из структуры данных, содержащей все релевантные классы объектов, их связи и правила (теоремы, ограничения), принятые в этой области. Этот термин в информатике является производным от древнего философского понятия «онтология».
Сло́во — одна из основных структурных единиц языка, которая служит для именования предметов, их качеств и характеристик, их взаимодействий, а также именования мнимых и отвлечённых понятий, создаваемых человеческим воображением.
Семиотический квадрат (фр. carré sémiotique, англ. semiotic square/rectangle) в Парижской семиотической школе А. Ж. Греймаса — диаграмма, визуально представляющая элементарную структуру значения, восходящая к логическому квадрату Аристотеля.
Связь — философская категория, «выражающая взаимообусловленность существования явлений, разделённых в пространстве и (или) во времени», а также сами «отношения между объектами, проявляющиеся в том, что состояния или свойства любого из них меняются при изменении состояния и свойств других».
Информа́ция (от лат. informātiō «разъяснение, представление, понятие о чём-либо» ← informare «придавать вид, форму, обучать; мыслить, воображать») — сведения независимо от формы их представления.
В лингвистике,
катена (англ. catena «вереница, череда»; от лат. catena «цепь») — синтаксическая и морфологическая единица, тесно связанная с грамматиками зависимостей. Она является более гибким и объемлющим понятием, чем составляющая, и поэтому, вероятно, может лучше составляющей служить в качестве фундаментальной единицы синтактического и морфосинтактического анализа.
Ризома (фр. rhizome «корневище») — одно из ключевых понятий философии постструктурализма и постмодернизма, введенное Ж. Делёзом и Ф. Гваттари в одноимённой книге 1976 года и призванное служить основанием и формой реализации «номадологического проекта» этих авторов. Ризома должна противостоять неизменным линейным структурам (как бытия, так и мышления), которые, по их мнению, типичны для классической европейской культуры.
Универса́лия в лингвистике — одно из важнейших понятий типологии, свойство, присущее всем или подавляющему большинству естественных языков. Разработка теории универсалий часто связывается с именем Джозефа Гринберга, хотя сходные идеи выдвигались в языкознании задолго до него.
Модель данных — это абстрактное, самодостаточное, логическое определение объектов, операторов и прочих элементов, в совокупности составляющих абстрактную машину доступа к данным, с которой взаимодействует пользователь. Эти объекты позволяют моделировать структуру данных, а операторы — поведение данных.
«Курс общей лингвистики » (фр. Cours de linguistique générale, CLG) — наиболее известная работа Фердинанда де Соссюра, одна из наиболее влиятельных лингвистических работ XX века, основополагающий текст структурализма.
Выделение знаний (англ. Knowledge extraction) — это создание знаний из структурированных (реляционных баз данных, XML) и неструктурированных источников (тексты, документы, изображения). Полученное знание должно иметь формат, позволяющий компьютерный ввод, и должно представлять знания так, чтобы облегчить логические выводы. Хотя по методике процесс подобен извлечению информации (обработке естественного языка, англ. Natural language processing, NLP) и процессу «Извлечения, Преобразования, Загрузки...
Парижская семиотическая школа (фр. École sémiotique de Paris) основана А. Ж. Греймасом в 1960-е годы. Семиотика в духе Парижской школы, в отличие от большинства других, не определяет свой предмет как исследование знаковых систем (для этой сферы используется соссюровский термин семиология). Парижская школа постулирует существование универсальных структур, которые лежат в основе значения и создают его; их исследование и является, в её понимании, предметом семиотики. Эти структуры можно представить...
Тип данных (тип) — множество значений и операций на этих значениях (IEEE Std 1320.2-1998).
Объе́ктно-ориенти́рованное программи́рование (ООП) — методология программирования, основанная на представлении программы в виде совокупности объектов, каждый из которых является экземпляром определённого класса, а классы образуют иерархию наследования.
Дистрибути́вная сема́нтика — это область лингвистики, которая занимается вычислением степени семантической близости между лингвистическими единицами на основании их распределения (дистрибуции) в больших массивах лингвистических данных (текстовых корпусах).
Структу́ра (от лат. structūra «строение, устройство; связь или расположение составных частей») — совокупность устойчивых связей частей объекта, обеспечивающих его целостность и тождественность самому себе, т.е. сохранение основных свойств при различных внешних и внутренних изменениях.
Универсальная грамматика — термин, которым в ряде лингвистических теорий обозначается предполагаемый набор правил или принципов, присущих каждому человеческому языку. Подобные правила не определяют язык полностью: они допускают значительную вариантность, но ограничивают её некоторыми конечными рамками. В современной когнитивной науке универсальная грамматика понимается как встроенное на генетическом уровне знание о языке.
Катего́рия (от др.-греч. κατηγορία — «высказывание, обвинение, признак») — предельно общее понятие, выражающее наиболее существенные отношения действительности. Изучение категорий заключается в определении наиболее фундаментальных и широких классов сущностей.
Информационное моделирование — процесс описания или построения модели предметной области в том виде или формате, который, с одной стороны, легко воспринимается человеком, и, с другой стороны, легко может быть преобразован в набор элементов информационного хранилища, программных компонентов и других составляющих прикладного программного обеспечения. Чаще всего термин информационное моделирование можно видеть в контексте описания процесса построения ER диаграмм или UML диаграмм.
Категориальное восприятие — это особенность или, точнее, стадия формирования наглядных образов, на которой конкретные наглядные образы отождествляются с определённым классом объектов, имеющим определённое значение. Категориальное восприятие(КВ) — феномен человеческого сознания, проявляющийся в том, что категории, имеющиеся у человека влияют на его восприятие.
Глубинная структура (в генеративной лингвистике) — способ представления предложения. Глубинная структура позволяет отразить смысловую близость ряда предложений, которые содержат одни и те же лексические единицы и отличаются друг от друга только некоторыми грамматическими значениями. Так, например, единая глубинная структура постулировалась для предложений «Бобры строят плотины» и «Плотины строятся бобрами». Глубинная структура формально изображается в виде так называемого дерева составляющих, либо...
Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.
Корефере́нтность или референциональное тождество — отношение между именами — компонентами высказывания, в котором имена ссылаются на один и тот же объект (ситуацию) внеязыковой действительности (референт).
Минимали́стская програ́мма — лингвистическая теория, предложенная американским лингвистом Н. Хомским для объяснения тех языковых феноменов, механизмы которых не были прояснены полностью в рамках теории принципов и параметров. Сама Минималистская программа содержит ряд сильных утверждений, касающихся универсальной грамматики, а также некоторые гипотезы об устройстве когнитивной системы в связи с врождённой языковой способностью. Главным методологическим принципом Минималистской программы является...
Эпи́стема (от греч. ἐπιστήμη «знание», «наука» и ἐπίσταμαι «знать» или «познавать») — центральное понятие теории «археологии знания» Мишеля Фуко, введённое в работе «Слова и вещи. Археология гуманитарных наук» (1966).
Фикционализм математический — представление о математическое понятиях и теориях, как о логических фикциях, не имеющих отношения к структуре реальности. Математический фикционализм представлен двумя основными разновидностями. Первую форму фикционализма в математике как основную характеристику некоторых математических понятий, не имеющих реального значения, но полезных для объяснения связей между числами и простыми функциями, дал Лейбниц (для понятия бесконечно малой величины). Как операционный метод...
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Про
наследование виртуальных методов, см виртуальный метод.Виртуа́льное насле́дование (англ. virtual inheritance) в языке программирования C++ — один из вариантов наследования, который нужен для решения некоторых проблем, порождаемых наличием возможности множественного наследования (особенно «ромбовидного наследования»), путём разрешения неоднозначности того, методы которого из суперклассов (непосредственных классов-предков) необходимо использовать. Оно применяется в тех случаях, когда множественное...
Число ́ — основное понятие математики, используемое для количественной характеристики, сравнения, нумерации объектов и их частей. Письменными знаками для обозначения чисел служат цифры, а также символы математических операций. Возникнув ещё в первобытном обществе из потребностей счёта, понятие числа с развитием науки значительно расширилось.
Ана́лиз (др.-греч. ἀνάλυσις «разложение, расчленение») — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать познание его ясным в полном его объёме.
Символ (др.-греч. σύμβολον — (условный) знак, сигнал) — образ, наделенный знаковостью и смыслом, имеющий отношение к чему-то другому и являющийся его представителем. Связь между символами и тем, с чем они соотносятся, строится на ассоциации идей и обычно устанавливается путём соглашения. Во всех этих случаях, однако, связь между символом и референтным объектом имеет сознательный характер, тогда как психоаналитическую теорию символизма интересует бессознательное замещение одних образов, идей или действий...
Формирова́ние поня́тий (образование понятий) — усвоение или выработка человеком новых для него понятий на основе опыта.
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Концептная натяжка (от англ. conceptual stretching) — это расширение моделей и гипотез для того, чтобы охватить дополнительные случаи без адаптации аналитических категорий для соответствия новым контекстам, то есть использование в сравнительных исследованиях понятия, сложившегося в одних обстоятельствах, для обозначения нового явления, схожего лишь внешне с привычным и закрепленным концептом. При этом понятие «растягивается» с целью охватить новую действительность. В результате становится возможным...
Подробнее: Концептные натяжки Джованни Сартори
Реляционная модель данных (РМД) — логическая модель данных, прикладная теория построения баз данных, которая является приложением к задачам обработки данных таких разделов математики, как теория множеств и логика первого порядка.