Аналитика: методология, технология и организация информационно-аналитической работы - [29]

Отсутствие такой детализации не позволяло обучаемым увидеть практическую значимость ДМ и философии в целом, в то время как во всем мире ДМ широко используется различными аналитическими школами. Даже на простейший вопрос: «Что значит мыслить диалектически?» абсолютное большинство окончивших вузы не могло дать вразумительного ответа. Из этого можно сделать вывод, что преподавание философии было (и часто остается) схоластическим и оторванным от реальности.

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

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

Логика

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

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

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

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

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