логика прикладная

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

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». И.Т. Касавин. 2009.