Эвристика

Эври́стика (от др.-греч. εὑρίσκω — «отыскиваю», «открываю») — отрасль знания, научная область, изучающая специфику творческой деятельности.

Под эвристикой понимают совокупность приёмов и методов, облегчающих и упрощающих решение познавательных, конструктивных, практических задач.

Эвристика связана с психологией, физиологией высшей нервной деятельности, кибернетикой. Как наука эвристика развивается на стыке философии, психологии, теории искусственного интеллекта, структурной лингвистики, теории информации, математики и физики.

Источник: Википедия

Связанные понятия

Формализа́ция — представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации, научных теорий) в виде формальной системы или исчисления.

Обобще́ние поня́тий — логическая операция, посредством которой в результате исключения видового признака получается другое понятие более широкого объема, но менее конкретного содержания; форма приращения знания путём мысленного перехода от частного к общему в некоторой модели мира, что обычно соответствует и переходу на более высокую ступень абстракции. Результатом логической операции обобщения является гипероним.

Вывод (лат. conclusio) в логике — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Вывод может проводиться в несколько этапов—умозаключений.

Тео́рия приня́тия реше́ний — область исследования, вовлекающая понятия и методы математики, статистики, экономики, менеджмента и психологии с целью изучения закономерностей выбора людьми путей решения проблем и задач, а также способов достижения желаемого результата.

Эмпирические исследования – наблюдение и исследование конкретных явлений, эксперимент, а также обобщение, классификация и описание результатов исследования эксперимента, внедрение их в практическую деятельность человека.

Упоминания в литературе

Приемы обучения в современной лингводидактике. Приемы как компоненты традиционных методов могут быть использованы на различных дидактических этапах современного урока. В первую очередь это различные виды бесед (воспроизводящих, эвристических, обобщающих). Напомним, что эвристика (от греч. heurisko – отыскиваю, открываю) – наука, изучающая продуктивное творческое мышление, предоставляет в пользование дидактики специфичные способы обучения, ведущие к открытию через активную творческую деятельность, направленную на познание. Значимость организации бесед в процессе обучения так велика, что в дидактике обращение к ним характеризуется как метод. Восходящий к Сократу, этот способ направлен на актуализацию, извлечение скрытых в человеке знаний с помощью наводящих вопросов.

Ольга Стычева, Методика школьного курса русского языка, 2013

Как отмечает Ю. К. Корнилов (глава 6), значительная часть содержания опыта скрывается в так называемом «невербализуемом», или «молчаливом», знании. Так, например, профессиональная проблема, определяемая для одного специалиста простым словом, может иметь совсем иное значение для другого работника. Важно отметить, что при вербализации речь идет не только о свойствах объектов, но и о выполняемых с ними профессиональных действиях. Все это делает трудной практическую задачу раскрытия составляющих когнитивного опыта профессионала, которые только частично могут быть переданы в речи. Это плохо вербализуемое индивидуальное знание, а также связанное с навыками неосознаваемое стереотипное знание, эвристики, стратегии оценки, контекстные знания и т. д. В. А. Барабанщиков подчеркивает, что когнитивный опыт представляет собой сложнейшую по своей организации развивающуюся систему категорий (глава 4). Именно благодаря способности относить единичные вещи и явления к классам определенных предметов или событий человек гибко ориентируется и действует в бесконечном разнообразии жизненных ситуаций. Главная задача авторов книги – показать возможность не только качественного, но и количественного анализа вербального материала (главы 11, 15–16), а также определить способы помочь профессионалу выразить в речи свое «молчаливое» знание (главы 10, 17).

Коллектив авторов, Технологии сохранения и воспроизведения когнитивного опыта, 2016

Что касается предмета исследования, то ошибкой было бы понимать его как сторону объекта, которая фиксируется и изучается в исследовании. На самом деле в объекте предмета нет, точнее, их (предметов) может быть столько, сколько предлагается разных познавательных схем. Предмет создается социологом на основе методологической эвристики, представляющей собой аппроксимацию уже имеющегося знания для получения нового. Это то, что называется «теория на входе». В предмет исследования могут включаться идеализированные объекты, а также ненаблюдаемые явления и латентные факторы. Веберовский «идеальный тип» можно рассматривать и как способ конструирования предмета исследования с использованием методологического принципа «отнесения к ценности». Данный принцип, по замыслу автора, должен помочь отделить существенное (значимое) от несущественного, усилить его и сделать основополагающим в предмете исследования.

С. А. Шавель, Общественная миссия социологии, 2010

Последовательная смена моделей обусловлена не аномальными наблюдаемыми фактами, а теоретическими и математическими затруднениями самой программы. Именно их разрешение и составляет суть «позитивной эвристики», по И. Лакатосу. Ученые, работающие в рамках конкретной исследовательской программы, справедливо рассчитывают, что конструктивное решение задач, определяемых «позитивной эвристикой», может привести к объяснению непонятных в данное время фактов. Это придает устойчивость развитию науки.

Николай Васильевич Михалкин, История и философия науки. Учебное пособие для аспирантов юридических специальностей, 2013

В рамках психоаналитической ориентации изучались вопросы О. и взаимоотношений людей, связанные с их мотивационно-потребностной сферой и опытом отношений в семье. В. Шутц исследовал возрастные особенности идентификации, последствия не реализованных в детстве потребностей в любви, включения в группу и особенностей контроля со стороны взрослых на О. и взаимодействие индивида с др. людьми. В. Беннис и Г. Шепард обратили внимание на значение ряда аспектов групповой культуры. Они исследовали принципы доверительного О. и установили важность феноменов «размораживания», «сбрасывания фасада» и др. Согласно теории трансактного анализа Э. Берна, в О. и отношениях людей следует учитывать их эго-состояние, тип и содержание ситуации, называемой сценарием. Когнитивисткая ориентация включает в себя теории, в к-рых объясняются закономерности социальной перецепции, специфика межличностной и массовой коммуникции. Были выявлены механизмы баланса и транзитивности отношений, конгруэнтности, законы категоризации и стереотипизации (Ф. Хайдер, Л. Фестингер, Т. Ньюком, Ч. Осгуд, П. Танненбаум, С. Эш, Д. Креч, Р. Крачфилд и др.). В число исследований, связанных с данным направлением, входит отмеченная Нобелевской премией работа Д. Каннемана, – обнаруженные им эффекты эвристики, репрезентативности, якорный эффект и эффект приспособления имеют большое практическое значение, позволяя прогнозировать стратегии взаимодействия человека с др. людьми.

Коллектив авторов, Психология общения. Энциклопедический словарь, 2011

Итак, одной предложенной эвристики недостаточно для решения поставленной задачи, нужны и еще какие-то (как минимум одна). Соответственно здесь встает задача координации выполнения этих эвристик во времени и пространстве (ведь поднять руку надо в нужный момент, находясь на нужной дистанции, с нужной скоростью). Все вместе это требует значительно более сложного аппарата, чем предлагаемая элементарная эвристика. Она одна оказывается неадекватной.

Александр Поддьяков, Компликология. Создание развивающих, диагностирующих и деструктивных трудностей, 2014

Эвристика – приемы и методы принятия решений, использующие интуицию и опыт специалистов в решении аналогичных проблем.

Анна Сергеевна Литвинюк, Экономический анализ

Связанные понятия (продолжение)

Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».

Реше́ние зада́ч — процесс выполнения действий или мыслительных операций, направленный на достижение цели, заданной в рамках проблемной ситуации — задачи; является составной частью мышления.

Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.

Ме́тод проб и оши́бок (в просторечии также: метод (научного) тыка) — является врождённым эмпирическим методом мышления человека. Также этот метод называют методом перебора вариантов.

Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.

Теория информации — раздел прикладной математики, радиотехники (теория обработки сигналов) и информатики, относящийся к измерению количества информации, её свойств и устанавливающий предельные соотношения для систем передачи данных. Как и любая математическая теория, теория оперирует математическими моделями, а не реальными физическими объектами (источниками и каналами связи). Использует, главным образом, математический аппарат теории вероятностей и математической статистики.

Форма́льная систе́ма (форма́льная тео́рия, аксиоматическая теория, аксиоматика, дедуктивная система) — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других.

Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.

Деду́кция (лат. deductio — выведение, также дедуктивное умозаключение, силлогизм) — метод мышления, следствием которого является логический вывод, в котором частное заключение выводится из общего. Цепь умозаключений (рассуждений), где звенья (высказывания) связаны между собой логическими выводами.

Подробнее: Дедуктивное умозаключение

Инду́кция (лат. inductio — наведение, от лат. inducere — влечь за собой, установить) — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.Объективным основанием индуктивного умозаключения является всеобщая связь явлений в природе.

Подробнее: Индуктивное умозаключение

Многозна́чная ло́гика — тип формальной логики, в которой допускается более двух истинностных значений для высказываний. Первую систему многозначной логики предложил польский философ Ян Лукасевич в 1920 году. В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.

Модальная логика (от лат. modus — способ, мера) — логика, в которой кроме стандартных логических связок, переменных и/или предикатов есть модальности (модальные операторы).

Конструктивная математика — абстрактная наука о конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных объектах.

Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...

Логика второго порядка в математической логике — формальная система, расширяющая логику первого порядка возможностью квантификации общности и существования не только над переменными, но и над предикатами. Логика второго порядка несводима к логике первого порядка. В свою очередь, она расширяется логикой высших порядков и теорией типов.

Детерминированность (от лат. determinans — определяющий) — определяемость. Детерминированность может подразумевать определяемость на общегносеологическом уровне или для конкретного алгоритма. Под жёсткой детерминированностью процессов в мире понимается однозначная предопределённость, то есть у каждого следствия есть строго определённая причина. В таком смысле является антонимом стохастичности. Но детерминированность не всегда тождественна предопределённости. Например, может быть детерминированность...

Алгебра логики (алгебра высказываний) — раздел математической логики, в котором изучаются логические операции над высказываниями. Чаще всего предполагается, что высказывания могут быть только истинными или ложными, то есть используется так называемая бинарная или двоичная логика, в отличие от, например, троичной логики.

Темпоральная логика (англ. temporal (от лат. tempus) logic) — это логика, в высказываниях которой учитывается временной аспект. Используется для описания последовательностей явлений и их взаимосвязи по временной шкале.

Крите́рий (др.-греч. κριτήριον — способность различения, средство суждения, мерило) — признак, основание, правило принятия решения по оценке чего-либо на соответствие предъявленным требованиям (мере). Особо выделяют критерии истинности знания. Различают логические (формальные) и эмпирические (экспериментальные) критерии истинности. Формальным критерием истины служат логические законы: истинно всё, что не заключает в себе противоречия, логически правильно. Эмпирическим критерием истинности служит...

Байесовская вероятность — это интерпретация понятия вероятности, используемая в байесовской теории. Вероятность определяется как степень уверенности в истинности суждения. Для определения степени уверенности в истинности суждения при получении новой информации в байесовской теории используется теорема Байеса.

Аксио́ма (др.-греч. ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.

Отображение онтологий (англ. ontology alignment или ontology matching) — это процесс установления соответствий между понятиями (концептами) нескольких онтологий. Множество таких соответствий и называется «отображением». Термин имеет разное значение в компьютерной, когнитивной областях и философии.

Классическая логика — термин, используемый в математической логике по отношению к той или иной логической системе, для указания того, что для данной логики справедливы все законы (классического) исчисления высказываний, в том числе закон исключения третьего.

Автоматическое доказательство (англ. Automated Theorem Proving, ATP, а также Automated deduction) — доказательство, реализованное программно. В основе лежит аппарат математической логики. Используются идеи теории искусственного интеллекта. Процесс доказательства основывается на логике высказываний и логике предикатов.

Обуче́ние с учи́телем (англ. Supervised learning) — один из способов машинного обучения, в ходе которого испытуемая система принудительно обучается с помощью примеров «стимул-реакция». С точки зрения кибернетики, является одним из видов кибернетического эксперимента. Между входами и эталонными выходами (стимул-реакция) может существовать некоторая зависимость, но она неизвестна. Известна только конечная совокупность прецедентов — пар «стимул-реакция», называемая обучающей выборкой. На основе этих...

Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию (применяемую над натуральным рядом) на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.

Посылка — это утверждение, предназначенное для обоснования или объяснения некоторого аргумента. В логике аргумент — это множество предложений (или «суждений») одни из которых являются посылками, а другие утвердительные предложения (или суждения) — логическими выводами.

Некоторые модели человеческого поведения в общественных науках предполагают, что поведение людей может быть описано в предположении, что люди ведут себя как «рациональные» существа (смотри, например, теорию рационального выбора). Во многих экономических моделях полагается, что люди гиперрациональны и никогда не делают чего бы то ни было, что противоречит их интересам. Концепция ограниченной рациональности подвергает эти положения сомнению с целью учесть, что в действительности совершенно рациональные...

Подробнее: Ограниченная рациональность

Представление знаний — вопрос, возникающий в когнитологии (науке о мышлении), в информатике и в исследованиях искусственного интеллекта.

Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.

Обучение без учителя (самообучение, спонтанное обучение, англ. Unsupervised learning) — один из способов машинного обучения, при котором испытуемая система спонтанно обучается выполнять поставленную задачу без вмешательства со стороны экспериментатора. С точки зрения кибернетики, это является одним из видов кибернетического эксперимента. Как правило, это пригодно только для задач, в которых известны описания множества объектов (обучающей выборки), и требуется обнаружить внутренние взаимосвязи, зависимости...

Зада́ча — проблемная ситуация с явно заданной целью, которую необходимо достичь; в более узком смысле задачей также называют саму эту цель, данную в рамках проблемной ситуации, то есть то, что требуется сделать. В первом значении задачей можно назвать, например, ситуацию, когда нужно достать предмет, находящийся очень высоко; второе значение слышно в указании: «Ваша задача — достать этот предмет». Несколько более жёсткое понимание «задачи» предполагает явными и определёнными не только цель, но и...

Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил. Будучи основателем формальной логики как науки, Аристотель называл её «аналитика», термин же «логика» прочно вошёл в обиход уже после его смерти в III веке до нашей эры.

Ана́лиз (др.-греч. ἀνάλυσις «разложение, расчленение») — в философии, в противоположность синтезу, анализом называют логический приём определения понятия, когда данное понятие раскладывают по признакам на составные части, чтобы таким образом сделать познание его ясным в полном его объёме.

Эмпирические данные (от др.-греч. εμπειρία «опыт») — данные, полученные через органы чувств, в частности, путём наблюдения или эксперимента. В философии после Канта полученное таким образом знание принято называть апостериорным. Оно противопоставляется априорному, доопытному знанию, доступному через чисто умозрительное мышление.

Верифика́ция (от лат. verum «истинный» + facere «делать») в различных сферах деятельности человека может подразумевать...

Агентное моделирование (англ. agent-based model (ABM))— метод имитационного моделирования, исследующий поведение децентрализованных агентов и то, как такое поведение определяет поведение всей системы в целом. В отличие от системной динамики аналитик определяет поведение агентов на индивидуальном уровне, а глобальное поведение возникает как результат деятельности множества агентов (моделирование «снизу вверх»).

Статистическое модели́рование — исследование объектов познания на их статистических моделях. «Статистические модели необходимы для теоретического изучения влияния флуктуаций, шумов и т.п. на процессы. При учёте случайных процессов движение системы будет подчиняться уже не динамическим законам, а законам статистики. В соответствии с этим могут быть поставлены вопросы о вероятности того или иного движения, о наиболее вероятных движениях и о других вероятностных характеристиках поведения системы».Оценка...

Теория вычислимости, также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...

Предме́тная о́бласть — множество всех предметов, свойства которых и отношения между которыми рассматриваются в научной теории. В логике — подразумеваемая область возможных значений предметных переменных логического языка.

Теория типов — математически формализованная база для проектирования, анализа и изучения систем типов данных в теории языков программирования (раздел информатики). Многие программисты используют это понятие для обозначения любого аналитического труда, изучающего системы типов в языках программирования. В научных кругах под теорией типов чаще всего понимают более узкий раздел дискретной математики, в частности λ-исчисление с типами.

Фа́кторный анализ — многомерный метод, применяемый для изучения взаимосвязей между значениями переменных. Предполагается, что известные переменные зависят от меньшего количества неизвестных переменных и случайной ошибки.

Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при необходимости...

Комбина́торная ло́гика — направление математической логики, занимающееся фундаментальными (то есть не нуждающимися в объяснении и не анализируемыми) понятиями и методами формальных логических систем или исчислений. В дискретной математике комбинаторная логика тесно связана с лямбда-исчислением, так как описывает вычислительные процессы.

Доказательство — это процесс (метод) установления истины, логическая операция обоснования истинности утверждения с помощью фактов и связанных с ними суждений. С помощью совокупности логических приёмов истинность какого-либо суждения обосновывается исходя из других истинных суждений.

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я