Нить Ариаднеса (логика) - Ariadnes thread (logic) - Wikipedia

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

Выполнение

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

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

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

Отличие от проб и ошибок

Термины «нить Ариадны» и »методом проб и ошибок "часто используются как взаимозаменяемые, что не обязательно правильно. У них есть два отличия:

  • «Метод проб и ошибок» подразумевает, что каждое «испытание» дает определенную ценность, которую необходимо изучить и улучшить, удаляя «ошибки» из каждой итерации, чтобы повысить качество будущих испытаний. В нити Ариадны такого механизма нет, поэтому все принимаемые решения произвольны. Например, научный метод это метод проб и ошибок; решение головоломок - это нить Ариадны.
  • Подходы проб и ошибок редко связаны с тем, как много Решение проблемы может существовать, и зачастую предполагается, что существует только одно правильное решение. Нить Ариадны не делает такого предположения и способна найти все возможные решения чисто логической проблемы.

Короче методом проб и ошибок подходы желаемое решение; Нить Ариадны слепо исчерпывает пространство поиска полностью, находя любые без исключения решения. У каждого есть свое собственное применение. Их можно использовать в тандеме - например, хотя редактирование статьи в Википедии, возможно, является процессом проб и ошибок (учитывая то, как теоретически оно приближается к идеальному состоянию), истории статей предоставляют запись, для которой можно применить ветку Ариадны. , отменить вредные изменения и восстановить статью до самой последней безошибочной версии, из которой можно попробовать другие варианты.

Приложения

Очевидно, нить Ариадны может применяться для решения лабиринтов точно так же, как и легенда; в качестве записи можно использовать настоящую нить, или нанести мелом или аналогичным маркером места для этикеток. Если лабиринт на бумаге, нить вполне может быть карандаш.

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

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

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

Смотрите также

Рекомендации

  • Решение судоку Пошаговое руководство Майкла Мефама; включает историю треда Ариадны и демонстрацию применения
  • Создание судоку Блок-схема показывает, как построить и решить судоку с помощью нити Ариадны (метод обратного отслеживания).
  • Ариадна и Минотавр: культурная роль философии риторики[постоянная мертвая ссылка ] Статья Андреа Баттистини, детализирующая нить Ариадны как философскую метафору
  • Философия в лабиринтах Изучение логики и значения лабиринтов; включает довольно буквальные интерпретации нити Ариадны.
  • Мазо, Кэрол (2012). Мать и дитя: роман. Беркли, Калифорния: Counterpoint Press. п.129. ISBN  978-1-58243-818-4.