Связанные понятия
Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Идиома программирования — устойчивый способ выражения некоторой составной конструкции в одном или нескольких языках программирования. Идиома является шаблоном решения задачи, записи алгоритма или структуры данных путём комбинирования встроенных элементов языка.
Упоминания в литературе
Кроме того, с точки зрения обоснования преимуществ и перспективности миварного подхода важно следующее замечание Дж. Люгера: "Решение задачи искусственного интеллекта можно свести к выбору представления среди возможных альтернатив. Выбор подходящего представления весьма важен для разработчиков компьютерных программ, обеспечивающих решение задач искусственного интеллекта. Несмотря на большое разнообразие языков представления, используемых в искусственном интеллекте, все они должны удовлетворять общим требованиям выразительности, эффективности и правильности дедуктивных выводов. Выбор и оценка языков представлений – весьма важная задача как для исследователей, так и для программистов [264, стр. 65]. Как показано в наших работах, выразительность миварного подхода ни в чем не уступает ни исчислениям предикатов, ни семантическим сетям, ни другим известным формализмам в области ИИ. Более того, изменяющееся многомерное миварное информационное пространство позволяет в едином формализме описать и совместить все указанные формализмы, включая исчисление предикатов и семантические сети с онтологиями. С точки зрения семантических сетей, миварное пространство позволяет отобразить такую сеть в многомерном пространстве, что только увеличивает выразительность и позволяет добавить новые связи за счет многомерности. С онтологиями происходит
аналогично семантическим сетям. Даже наиболее общую модель данных "сущность-связь" можно легко представить в миварном пространстве, примеры которого подробно описаны в первой монографии Варламова О.О. [72]. Про то, что исчисление предикатов имеет равные выразительные способности с семантическими сетями, было сказано ранее, в том числе и у Дж. Люгера. Следовательно, по выразительности миварный подход превосходит возможности всех традиционных формализмов, включая семантические сети и модель данных "сущность-связь".
Авангард и актуальное искусство, во многом не без влияния новых технических средств выразительности, обратившись к приемам гипердетализации, сверхкрупного плана, одновременно сняли иерархию центрального (типического) и периферийного. Произведение наполнилось подробностями, обладающими самостоятельным, не связанным с целым смыслом и подчас подменяющими собой целое; зрителю стало сложнее сводить многообразие деталей (подчас находящихся в эклектическом беспорядке) к единству. Однако и в истории классического искусства можно наблюдать многочисленные примеры доминирования не так называемого «программного», универсализирующего начала, а напротив, тенденции к дезинтеграции или внутренней дифференциации, когда автор стремился придать своей работе загадочность через введение некоторых «странностей», неправильностей в изображение. Эти неравномерности, как правило, занимали только часть художественного пространства, по сути представляя собой неким образом отмеченные или маркированные детали. При этом также существенно, что каждый художник находил свои уникальные пути лаконичного выражения смысла, изолируя в качестве детали разнообразные и непредсказуемые аспекты изображения. В данной работе предполагается рассмотреть исторические и
современные примеры фрагментации художественного целого, выяснить степень и причины их появления, отличия способов фрагментации в искусстве разных стилей и школ, обусловленные различиями в мировоззренческом контексте. Одновременно и в современной, характерной для актуального искусства, гипертрофированной и преувеличенной художественной детали можно найти черты детали классической, с ее тенденцией останавливать внимание зрителя, нарушать равномерное развитие сюжета и изобразительного целого.
Сложно объяснить эволюцию стилей, их взаимодействие и взаимосвязь. На основе своей концепции Докучаев выделяет четыре типа стилей: традиционно-парадигматический (классицизм, социалистический реализм), нетрадиционно-парадигматический (реализм и постренессансный реализм), традиционно-непарадигматический (романтизм и барокко), нетрадиционно-непарадигматический (импрессионизм). Проблема морфологии искусства оказывается весьма аргументированно обоснованной. Выявляя историческую типологию общения, его процессуальный характер Илья Игоревич Докучаев практически осмысляет выбранную тему в русле истории культуры. По-новому отражено осмысление общения в античных памятниках, комплексно преодолен европоцентризм. Анализируя историю общения в науке, историография правомерно ограничена рамками Нового и Новейшего времени. Им показана близость понятий «общение» и «бытие», их связь и взаимозависимость, исторические типы функционального общения, а также интерперсональное и ролевое общение. С семиотических позиций постулируются основные компоненты общения: его участники, канал взаимодействия и код его организации. Автор подчеркивает главенствующее значение в нем кодов и каналов общения, связанных с соответствующими этапами культуры Докучаев показывает отличие классических знаковых систем от естественного языка, парадоксальность которого заключается в том, что с помощью ограниченного количества средств практически возможно передать неограниченное число информации, хотя здесь есть свои пределы выразительности. Именно благодаря этому естественный язык – идеальное средство общения, хотя в культуре он дополняется множеством других
языков. Логично поэтому рассмотрение характеристик общения людей в мире культуры. Представлена типология диалога культур. Автору удалось благодаря обширному материалу установить возникновение термина, показать модификации такого диалога. В связи с этим доказывается с приведением различных форм и видов, что не всегда общение ведет к общности общающихся. Уточняя типы каналов общения, автор вводит семиотические категории. Выделены метакоды и коды общения.
В настоящее время отмечается активизация словосложения, вызванная подвижными изменениями в языке, межъязыковыми связями. Кроме того,
особенность структуры сложных слов позволяет им реализовывать две основные тенденции языка – к экономии языковых средств (за счет способности сложного слова выражать две и более мысли одновременно) и к художественной выразительности. Первая тенденция широко проявляется в сложных словах-терминах, характерных для языка научно-технических текстов. Вторая тенденция – к выразительности, эмоциональной насыщенности – находит яркое воплощение в языке художественных произведений. Однако данная способность сложных слов, на мой взгляд, еще мало изучена.
Диалогическая (диалог) – первичная по происхождению форма речи. Имея ярко выраженную социальную направленность, она служит потребностям непосредственного живого общения [69, 120]. Диалог как форма речи состоит из реплик (отдельных высказываний), из цепи последовательных речевых реакций; он осуществляется или в виде чередующихся обращений, вопросов и ответов, или в виде разговора (беседы) двух или нескольких участников речевого общения. Диалог как форма речевого общения опирается на общность восприятия окружающего мира собеседниками, общность ситуации, знание предмета речи. В диалоге, наряду с собственно языковыми средствами звучащей речи, большую роль играют и невербальные компоненты – жест, мимика, а также средства интонационной выразительности. Указанные особенности определяют характер речевых высказываний в диалоге. Структура диалога допускает грамматическую неполноту, опускание отдельных элементов грамматически развернутого высказывания (эллипсы или элизии), наличие повтора лексических элементов в смежных репликах, употребление стереотипных конструкций разговорного стиля (речевые штампы).
Простейшие формы диалога (например, реплики-высказывания типа утвердительного или отрицательного ответа и т. и.) не требуют построения программы высказывания [42, 65, 69 и др.].
Связанные понятия (продолжение)
Логика разделения , сепарационная логика (англ. separation logic) в информатике — формальная система, предназначенная для верификации программ, содержащих изменяемые структуры данных и указатели, расширение логики Хоара. Разработана Джоном Рейнольдсом (англ. John C. Reynolds), Питером О’Хирном (англ. Peter O'Hearn), Самином Иштиаком (англ. Samin Ishtiaq) и Хонсёком Яном (англ. Hongseok Yang) на основе работ Рода Бёрстола (англ. Rod Burstall). Язык утверждений логики разделения является специальным...
Расширенная форма Бэкуса — Наура (расширенная Бэкус — Наурова форма (РБНФ)) (англ. Extended Backus–Naur Form (EBNF)) — формальная система определения синтаксиса, в которой одни синтаксические категории последовательно определяются через другие. Используется для описания контекстно-свободных формальных грамматик. Предложена Никлаусом Виртом. Является расширенной переработкой форм Бэкуса — Наура, отличается от БНФ более «ёмкими» конструкциями, позволяющими при той же выразительной способности упростить...
Теория языков программирования (англ. programming language theory, PLT) — раздел информатики, посвящённый вопросам проектирования, анализа, определения характеристик и классификации языков программирования и изучением их индивидуальных особенностей. Тесно связана с другими ветвями информатики, результаты теории используются в математике, в программной инженерии и лингвистике.
Описательные ло́гики или дескрипцио́нные ло́гики(сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что...
Подробнее: Дескрипционная логика
Байесовское программирование — это формальная система и методология определения вероятностных моделей и решения задач, когда не вся необходимая информация является доступной.
Метало́гика — изучение метатеории логики. В то время, как логика представляет собой исследование способов применения логических систем для рассуждения, доказательств и опровержений, металогика исследует свойства самих логических систем.
Исчисление процессов или алгебра процессов — семейство связанных подходов к формальному моделированию параллельных систем.
Метаязы́к — язык, предназначенный для описания другого языка, называемого объектным языком.
Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний. Первую систему многозначной логики предложил польский философ Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.
Ссылочная прозрачность и ссылочная непрозрачность — это свойства частей компьютерных программ. Выражение называется ссылочно прозрачным, если его можно заменить соответствующим значением без изменения поведения программы. В результате вычисления ссылочно прозрачной функции дает одно и то же значение для одних и тех же аргументов. Такие функции называются чистыми функциями.
Сравне́ние в программировании — общее название ряда операций над па́рами значений одного типа, реализующих математические отношения равенства и порядка. В языках высокого уровня такие операции, чаще всего, возвращают булево значение («истина» или «ложь»).
Логика Хоара (англ. Hoare logic, также Floyd—Hoare logic, или Hoare rules) — формальная система с набором логических правил, предназначенных для доказательства корректности компьютерных программ. Была предложена в 1969 году английским учёным в области информатики и математической логики Хоаром, позже развита самим Хоаром и другими исследователями. Первоначальная идея была предложена в работе Флойда, который опубликовал похожую систему в применении к блок-схемам (англ. flowchart).
Тип-сумма (англ. sum type; также Σ-тип, меченое объединение) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как дизъюнктное объединение исходных типов.
Интервальная арифметика — математическая структура, которая для вещественных интервалов определяет операции, аналогичные обычным арифметическим. Эту область математики называют также интервальным анализом или интервальными вычислениями. Данная математическая модель удобна для исследования различных прикладных объектов...
Символьные вычисления — это преобразования и работа с математическими равенствами и формулами как с последовательностью символов. Они отличаются от численных расчётов, которые оперируют приближёнными численными значениями, стоящими за математическими выражениями. Системы символьных вычислений (их так же называют системами компьютерной алгебры) могут быть использованы для символьного интегрирования и дифференцирования, подстановки одних выражений в другие, упрощения формул и т. д.
Дистрибути́вная сема́нтика — это область лингвистики, которая занимается вычислением степени семантической близости между лингвистическими единицами на основании их распределения (дистрибуции) в больших массивах лингвистических данных (текстовых корпусах).
Переписывание — широкий спектр техник, методов и теоретических результатов, связанных с процедурами последовательной замены частей формул или термов формального языка по заданной схеме — системе переписывающих правил.
Контекстно-свободная грамматика (КС-грамматика, бесконтекстная грамматика) — частный случай формальной грамматики (тип 2 по иерархии Хомского), у которой левые части всех продукций являются одиночными нетерминалами (объектами, обозначающими какую-либо сущность языка (например: формула, арифметическое выражение, команда) и не имеющими конкретного символьного значения). Смысл термина «контекстно-свободная» заключается в том, что есть возможность применить продукцию к нетерминалу, причём независимо...
Математическая абстракция — абстракция в математике, мысленное отвлечение. Типы абстрагирования, применяемых в математике: "чистое" отвлечение, идеализация и их различные вариации.
Тип-произведение (также Π-тип, произведение типов; англ. product type) — конструкция в языках программирования и интуиционистской теории типов, тип данных, построенный как декартово произведение исходных типов; другими словами — кортеж типов, или «кортеж как тип». Использованные типы и порядок их следования определяют сигнатуру типа-произведения; порядок следования объектов в создаваемом кортеже сохраняется на протяжении его времени жизни согласно заданной сигнатуре.
В логике логи́ческими опера́циями называют действия, вследствие которых порождаются новые понятия, с использованием уже существующих. В более узком смысле, понятие логической операции используется в математической логике и программировании.
Подробнее: Логическая операция
Каламбур типизации является прямым нарушением типобезопасности. Традиционно возможность построить каламбур типизации связывается со слабой типизацией, но и некоторые сильно типизированные языки или их реализации предоставляют такие возможности (как правило, используя в связанных с ними идентификаторах слова unsafe или unchecked). Сторонники типобезопасности утверждают, что «необходимость» каламбуров типизации является мифом.
Зависимый тип (англ. dependent type) в информатике и логике — тип, который зависит от некоторого значения. Зависимые типы играют ключевую роль в интуиционистской теории типов и построении функциональных языков программирования таких как ATS, Agda и...
Алгебраи́ческий тип да́нных — в информатике наиболее общий составной тип, представляющий собой тип-сумму из типов-произведений. Алгебраический тип имеет набор конструкторов, каждый из которых принимает на вход значения определённых типов и возвращает значение конструируемого типа. Конструктор представляет собой функцию, которая строит значение своего типа на основе входных значений. Для последующего извлечения этих значений из алгебраического типа используется сопоставление с образцом.
Сема́нтика в программировании — дисциплина, изучающая формализации значений конструкций языков программирования посредством построения их формальных математических моделей. В качестве инструментов построения таких моделей могут использоваться различные средства, например, математическая логика, λ-исчисление, теория множеств, теория категорий, теория моделей, универсальная алгебра. Формализация семантики языка программирования может использоваться как для описания языка, определения свойств языка...
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Абстра́ктный тип да́нных (АТД) — это математическая модель для типов данных, где тип данных определяется поведением (семантикой) с точки зрения пользователя данных, а именно в терминах возможных значений, возможных операций над данными этого типа и поведения этих операций.
Термин
рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций...
Формальный язык в математической логике и информатике — множество конечных слов (строк, цепочек) над конечным алфавитом. Понятие языка чаще всего используется в теории автоматов, теории вычислимости и теории алгоритмов. Научная теория, которая имеет дело с этим объектом, называется теорией формальных языков.
В математике и информатике подстановка — это операция синтаксической замены подтермов данного терма другими термами, согласно определённым правилам. Обычно речь идёт о подстановке терма вместо переменной.
Подробнее: Подстановка
Гомоикони́чность (гомоиконность, англ. homoiconicity, англ. homoiconic, от греч. ὁμός — равный, одинаковый + ср.-греч. εἰκόνα — «о́браз», «изображение») — свойство некоторых языков программирования, в которых структура программы похожа на его синтаксис, и поэтому внутреннее представление программы можно определить прочитав текстовую разметку. Если язык гомоиконичен, это означает, что текст программы имеет такую же структуру, как её абстрактное синтаксическое дерево (то есть AST и синтаксис являются...
Формальная верификация или формальное доказательство — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства.
Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.
Языково-ориентированное программирование (ЯОП) (англ. Language Oriented Programming), также Расходящаяся разработка (англ. middle out development), также метаязыковая абстракция, также Разработка, опирающаяся на предметно-специфичный язык (англ. DSL-Based Development) — парадигма программирования, заключающаяся в разбиении процесса разработки программного обеспечения на стадии разработки предметно-ориентированных языков (DSL) и описания собственно решения задачи с их использованием. Стадии могут...
Норма́льный алгори́тм (алгори́фм) Ма́ркова (НАМ, также марковский алгоритм) — один из стандартных способов формального определения понятия алгоритма (другой известный способ — машина Тьюринга). Понятие нормального алгоритма введено А. А. Марковым (младшим) в конце 1940-х годов в работах по неразрешимости некоторых проблем теории ассоциативных вычислений. Традиционное написание и произношение слова «алгорифм» в этом термине также восходит к его автору, многие годы читавшему курс математической логики...
Сопоставление с образцом (англ. Pattern matching) — метод анализа и обработки структур данных в языках программирования, основанный на выполнении определённых инструкций в зависимости от совпадения исследуемого значения с тем или иным образцом, в качестве которого может использоваться константа, предикат, тип данных или иная поддерживаемая языком конструкция.
Переменная типа (ти́повая переменная) в языках программирования и теории типов — переменная, которая может принимать значение из множества типов данных.
Каррирование (от англ. currying, иногда — карринг) — преобразование функции от многих аргументов в набор функций, каждая из которых является функцией от одного аргумента. Возможность такого преобразования впервые отмечена в трудах Готтлоба Фреге, систематически изучена Моисеем Шейнфинкелем в 1920-е годы, а наименование получило по имени Хаскелла Карри — разработчика комбинаторной логики, в которой сведение к функциям одного аргумента носит основополагающий характер.
Строковое ядро — это ядерная функция, определённая на строках, т.е. конечных последовательностях символов, которые не обязательно имеют одну и ту же длину. Строковые ядра можно интуитивно понимать как функции, измеряющие похожесть пар строк — чем больше похожи две строки a и b, тем больше значение строкового ядра K(a, b).
Ра́венство (отношение равенства) в математике — бинарное отношение, наиболее логически сильная разновидность отношений эквивалентности.
Логическая семантика — «Философский термин» — («рассуждение», «мысль», «разум») — раздел логики, в котором изучаются отношения языковых символов к обозначаемым ими объектам и выражаемому ими содержанию.
Мона́да — это абстракция линейной цепочки связанных вычислений. Монады позволяют организовывать последовательные вычисления.
По одной из классификаций, языки программирования неформально делятся на сильно и слабо типизированные (англ. strongly and weakly typed), то есть обладающие сильной или слабой системой типов. Эти термины не являются однозначно трактуемыми, и чаще всего используются для указания на достоинства и недостатки конкретного языка. Существуют более конкретные понятия, которые и приводят к называнию тех или иных систем типов «сильными» или «слабыми».
Подробнее: Сильная и слабая типизация
Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.
Упоминания в литературе (продолжение)
Способы выражения диалогических и других интенций субъекта чрезвычайно разнообразны. Наряду с открытым проявлением, когда интенция прямо обозначается, к примеру, соответствующим глаголом («обещаю помочь»), широко используются
различные способы косвенного, неявного выражения, в которых важны не столько языковые и невербальные средства, сколько условия коммуникации, психологические предпосылки и пр. (Новое в зарубежной…, 1986). Интенциональная выразительность речи огромна. Однако неявная передача интенций может приводить к расплывчатости содержания, допускающего различную интерпретацию. Эта неопределенность принципиальна в коммуникации. Позволяя вносить уточнения, подготавливать действия, она выступает предпосылкой тактичного ведения разговора.
1) на лексическом уровне – а)
использование нейтральных слов, языковых формул (в отличие от речевых штампов они, как правило, однозначны и не предназначены для усиления выразительности, например, Постановление вступило в законную силу), профессиональной терминологии; б) употребление архаизмов и историзмов; в) отсутствие многозначных слов, эмоционально-экспрессивной лексики и средств художественной выразительности;
Учебно-методическое пособие состоит из разделов, предусмотренных программой: «Работа над словом», «Работа над предложением», «Работа над связной речью». В первом классе данные направления реализуются параллельно. Однако форма уроков, их цели и содержание могут быть подчинены отработке отдельных компонентов: произносительных умений и навыков, технике и интонационной выразительности речи. Неотъемлемой частью становится формирование лексикона учащихся,
связной речи и усвоение соответствующих понятий.
В качестве одного из таких
можно привести Михаила Чехова, известного русского актера начала XX в. В своих попытках изучить и объяснить природу сценического действия, чтобы в совершенстве овладеть им, он активно изучал философию и психологию[59]. М. Чехов считал, что существует род движений, жестов, отличных от натуралистических и относящихся к ним, как общее к частному. Из них, как из источника, происходят все характерные, частные жесты. В повседневной жизни мы не пользуемся общими жестами, но они живут в каждом из нас как прообразы наших физических, бытовых жестов. «Они стоят за ними (как и за словами нашей речи), давая им смысл, силу и выразительность. В них невидимо жестикулирует наша душа. Это – „психологические жесты“»[60].
В целом можно сказать, что возникшие на рубеже XIX–XX вв. лингвофилософские концепции, рассматривающие язык как творческий процесс, предопределили не только развитие лингвистической поэтики в XX в., но и пути художественных исканий в новаторской литературе первой половины двадцатого столетия. Идеи В фон Гумбольдта, К. Фосслера, А. Потебни, А. Погодина, А. Ветухова, Д. Овсянико-Куликовского, И. Бодуэна де Куртенэ, А. Белого и др. сформировали взгляд на язык как, с одной стороны, на действенный инструмент художественного и научного творчества, и с другой – на самоценный объект художественного опыта. «Самодеятельность творческой силы языка» (Гумбольдт) была осознана как новый научный предмет, требующий тщательного изучения методами различных дисциплин, и как продуктивный художественный
метод, открывающий новые возможности выразительности.
Вопрос о различии экспрессивности и эмоциональности был поднят Е. М. Галкиной-Федорук [43] которая считала, что данные категории
имеют отличия как по функции, так и по средствам выражения. Эмоциональность выражается в речи лексическим значением (любовь, любящий и др.), суффиксами субъективной оценки (работничек и т. д.), междометиями, частицами, интонацией. Экспрессия проявляется не только в речи, но и в жесте, мимике, поведении человека, она шире – эмоциональности в языке. Но главное отличие в том, что эмоциональные элементы служат для выражения чувств человека, а экспрессивные – способствуют усилению выразительности и изобразительности как при выражении эмоций, воли, так и мысли. Выражение эмоции в языке всегда экспрессивно, но экспрессия в языке не всегда эмоциональна. Многие грамматические формы очень экспрессивны, но в них нет признака эмоциональности.
Выразительность – это качество речи, благодаря которому осуществляется воздействие на эмоции и чувства.
К речевым средствам выразительности относят тембр голоса, тон, интонацию, длительность и частоту пауз.
(л)
мера выразительности, то есть потенциальные возможности выбора. Ср. у К. Чуковского («Высокое искусство») о переводчиках: «Почему многие переводчики всегда пишут о человеке – худой, а не сухопарый, не худощавый, не щуплый, не тощий?» Этот признак выражается в интуитивно ощущаемой «банальности», «плоскости» речи;