ПРИКЛАДНАЯ ЛОГИКА


ПРИКЛАДНАЯ ЛОГИКА
ПРИКЛАДНАЯ ЛОГИКА
    ПРИКЛАДНАЯ ЛОГИКАлогический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность, алгоритмизированность использования.
    Первым и наиболее известным примером прикладной логики является использование логики в теории и практике аргументация. Необходимость защиты своих интересов в суде, обоснование следствий из имеющихся знаний, толкование религиозных текстов требовало систематического применения логики. При этом трудности, с которыми сталкивалась прикладная логика, служили мощным стимулом для развития и появления новых областей исследования в самой логике. Первые логические парадоксы связаны именно с практикой аргументации. Попытки разрешения логических парадоксов привели к строгому доказательству ряда фундаментальных теорем, проливающих свет на возможности человеческого познания и имеющих большое значение для философии.
    Следующий этап развития прикладной логики связан с использованием аппарата алгебры логики для проектирования контактно-релейных схем. Если вначале речь шла всего лишь о проектировании относительно простых электрических цепей, то сейчас с помощью этого аппарата проектируются различные электронные микросхемы, имеющие большую степень сложности.
    С появлением компьютеров значительно выросло число задач, для решения которых используется логика. Высокая сложность программ, выполняемых на компьютерах, потребовала разработки средств проверки их корректности. Это послужило толчком для активной разработки динамических логик. Как частный их случай стали разрабатываться и находить применение т. н. логики программ.
    Объединение большого числа компьютеров в единые сети потребовало изучения условий их взаимодействия. Проблема в том, что каждый из компьютеров в этой сети хранит лишь небольшую часть совокупной информации. По каким правилам должен протекать обмен информацией в сети, чтобы взаимодействие было корректным? Для решения этой задачи используется многосубьектная эпистемическая логика. Такая же проблема возникла при построении многопроцессорных суперкомпьютеров, реализующих параллельные вычисления. Во всем мире для накопления и хранения разнообразной информации используются специальные программы, называемые базами данных. Чтобы накопленная информация была доступна для использования, необходимо уметь ее извлекать. Для этого используются специальные языки запросов к базам данных. В основе таких языков лежит логика вопросов (и ответов).
    Одним из подходов к написанию программ является т. н. логическое программирование. Стандартный процедурный подход определяет программу в виде последовательности действий, которые должен выполнить компьютер для решения конкретной задачи. Такой подход довольно трудоемок и имеет много недостатков. С точки зрения логического программирования достаточно .лишь описать с помощью логически-ориентированного языка предметную область. Это и есть программа. Для ее выполнения пользователь просто формулирует запросы к предметной области. Значительными преимуществами таких программ является их понятность и модульность. Наиболее известным языком логического программирования является Prolog. В нем ответ на запрос находится как побочный результат некоторого логического вывода. Интересным подходом в рамках логического программирования является т. н. семантическое программирование. В этом случае для ответа на запрос строится модель, выполняющая логическое описание предметной области и запрос к ней. В основе лежит уже не логический вывод, а верификация формулы в модели (см. Моделей теория).
    Не все задачи могут быть решены по точным алгоритмам. Напр., задача медицинской диагностики заболеваний выходит за рамки строгого описания. Тем не менее особые алгоритмы решения таких задач существуют, и относятся они к области искусственного интеллекта. Вполне естественно, что значительная часть таких алгоритмов базируется на логике. Как правило, системы искусственного интеллекта имеют базу знаний и механизм извлечения этих знаний с целью решения конкретных задач. Иногда говорят также о рассуждениях над базами знаний. Для задания баз знаний и рассуждений над ними используется логика. Интересно то, что в зависимости от типа предметной области приходится использовать различные формализованные языки и различные правила логического вывода (см. Вероятностная логика, Паранепротиворечивая логика, Многозначные логики).
    В настоящее время системы искусственного интеллекта способны не только оперировать имеющимся знанием, но и накапливать новое. В свои права вступает индуктивная логика и логика правдоподобных рассуждений. Путем анализа информации, хранящейся в базах данных, ищутся новые закономерности, которые в свою очередь используются уже для решения практических задач.
    Сложность современной математики вынуждает прибегать к помощи компьютеров при доказательстве или проверке новых теорем. Аксиоматический подход (см. Аксиоматический метод} в математике напрямую связан с использованием логики. Самостоятельная область исследований искусственного интеллекта — автоматическое доказательство теорем. В этой области получены очень сильные результаты, но идут споры о статусе математических теорем, для доказательства которых в той или иной степени используется компьютер. Тем не менее тенденция обозначила себя и вряд ли удастся противостоять ей.
    Многочисленные приложения логики в других областях пока не имеют систематического характера, но дают основание предположить, что использование прикладной логики не ограничится приведенными выше примерами.
    В. И. Шалак

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


.

Смотреть что такое "ПРИКЛАДНАЯ ЛОГИКА" в других словарях:

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • логика трансцендентальная —         ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ один из наиболее важных и известных разделов «Критики чистого разума» И. Канта, который, наряду с трансцендентальной эстетикой, составляет трансцендентальное учение о началах. Л. т. распадается на… …   Энциклопедия эпистемологии и философии науки

  • логика прикладная —         ЛОГИКА ПРИКЛАДНАЯ понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п.… …   Энциклопедия эпистемологии и философии науки

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

  • Логика — (греч. λογική логика) 1) Способность правильно мыслить. 2) Учение о последовательности и методах познания. Учения о логич. аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую Л. Прикладная Л. охватывает учение об… …   Российский гуманитарный энциклопедический словарь

  • Математическая логика — (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… …   Википедия

  • Нечёткая логика — (англ. fuzzy logic) и теория нечётких множеств раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечёткой логики было впервые введено профессором Лютфи Заде в 1965 году. В его статье понятие множества… …   Википедия

  • Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

Книги

Другие книги по запросу «ПРИКЛАДНАЯ ЛОГИКА» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.