Проекты. Осмысленная обработка информации

Заключение

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

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

Именно в работе компьютера наиболее ярко и выразительно выявились принципиальные ограничения формальной логики. Логичные и однозначные процедуры компьютерных программ попадают в самые разнообразные контексты: взаимодействия между собой и разными частями программы; взаимодействия с другими программами; взаимодействия как с внутренним оборудованием, так и с окружением; контексты, которые возникают при взаимодействии самих контекстов... Это приводит к тому, что в сложных системах неминуемо проявляется синергетический эффект. Как только система переходит определенный уровень сложности, она начинает терять управляемость. Исправление ошибок в функционировании системы вызывает появление новых ошибок. Этот эффект проявляется во всех областях человеческой деятельности. Именно поэтому существует объективная, принципиальная вероятность получения абсолютно непредсказуемых результатов при решении таких вопросов как безопасность атомных электростанций (вспомним аварию на Чернобыльской АЭС), надежность космических полетов (катастрофа Ariane-5, космических челноков "Челленджер" и "Колумбия"), надежность авиаперелетов (примеры здесь можно приводить десятками), разрешение социальных, политических, военных конфликтов (Ирак, Палестина) и многих других.

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

По мнению авторов, необходимо, опираясь на формальную логику (логику Платона, Аристотеля), переходить к инструментальному виду логики, которую не останавливают противоречия, а которая оперирует противоречиями (Кант, Гегель). Это станет возможным, если в качестве базового элемента логики использовать не "процедуры" формальной логики, а "понятия". Если научиться инструментально оперировать "понятием" как базовым элементом, появится возможность управлять процессом становления и развития сложных систем.

В этой работе на примере информационных поисковых систем сделана попытка перейти от оперирования "процедурами" к оперированию "понятиями". Это позволяет:

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

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

С. Александров, инженер
П. Фадеев, инженер

г. Минск, Беларусь, 2000 г.

Основные термины

• Аналогия - подобие понятий по каким-либо определенным свойствам.
• Аналогия субъектно-ориентированная - подобие понятий по свойствам, имманентно характерным для этих понятий, и существенным для человека.
• Контекст - задает определенность смысла понятий в границах системы.
• Контекст процедурный - задает определенность противоречий системы и определяет конкретику (процедуру) выхода системы за свои границы.
• Контекст времени - задает определенность противоречий системы при ее взаимодействии с другими системами.
• Модуль элементарного смысла - конкретное представление понятия в его свойствах и аналогиях.
• Понятие - отражение предметов и явлений в их существенных свойствах и повторениях.
• Процедура - порядок действий.
• Система - нечто конечное со свойственными ему границами и противоречиями, которые выводят это нечто за свои границы и образуют нечто себя-другое.
• Слово - обозначение существенных понятий в их устойчивых повторениях.

Литература

1. Александров С.Э., Фадеев П.Э., Рейтинг-анализ. Учебное пособие; Мн., 1997.
2. Альтшуллер Г.С., Найти идею. Введение в теорию решения изобретательских задач. Новосибирск: 1991.
3. Ачасова С.М., Алгоритмы синтеза автоматов на программируемых матрицах; М., 1987.
4. Блинов А.Л., Теоретико-игровой подход к семантике естественного языка // Логика и онтология; М., 1978.
5. Будущее искусственного интеллекта; М., 1991.
6. Варшавская А.И., Смысловые отношения в структуре языка; Л., 1984.
7. Винер Н., Кибернетика или управление и связь в животном и машине; М., 1983.
8. Виноград Т., Программа, понимающая естественный язык; М., 1976.
9. Гегель, Наука логики; Т. 5. М., Государственное социально-педагогическое издательство.
10. Жинкин Н.И., Речь как проводник информации; М., 1982.
11. Загика Е.А., Алгоритмы лингвистической обработки словарей // Вопросы информационной теории и практики, No. 53, 1985.
12. Звегинцев В.А., Значение и понимание с точки зрения машины // Теоретические проблемы прикладной лингвистики; М., 1965.
13. Кандрашина Е.Ю., Литвинцева Л.В., Поспелов Д.А., Представление знаний о времени и пространстве в интеллектуальных системах; М., 1989.
14. Карпов В.А., Язык как система; Мн., 1992.
15. Ковальски Р., Логика в решении проблем; М., 1990.
16. Кулешов В.А., Аналогии: Отношение аналогии моделей; Мн., 1992.
17. Ленат Д.Б., Искусственный интеллект // Современный компьютер; М., 1986.
18. Ленин В.И., Избранные сочинения; Т. 5, Часть II Философские тетради; М., 1986.
19. Любарский Ю.А., Интеллектуальные информационные системы; М., 1990.
20. Мартынов В.В., Универсальный семантический код. Грамматика. Словарь. Тексты. Мн., 1977.
21. Мартынов В.В., Универсальный семантический код УСК-3; Мн., 1984.
22. Мартынов В.В., Универсальный семантический код УСК-4; Мн., 1988.
23. Мельчук И.А., Опыт теории лингвистических моделей "смысл<-->текст"; М., 1974.
24. Мичи Д., Джонстон Р., Компьютер-творец; М., 1987.
25. Налимов В.В., Вероятностная модель языка (о соотношениях естественных и искусственных языков); М., 1979.
26. Осуга С., Обработка знаний; М., 1989.
27. Павиленис Р.Й., Проблема смысла. Современный логико-философский анализ языка; М., 1983.
28. Попов Э.В., Экспертные системы; М., 1987.
29. Попов Э.В., Фоминых И.Б., Кисель Е.Б., Шапот М.Д., Статические и динамические экспертные системы; М., 1996.
30. Представление и использование знаний; М., 1989.
31. Приобретение знаний; М., 1990.
32. Пропп В.А., Морфология сказки; М., 1969.
33. Пуанкаре А., О науке; М., 1983.
34. Расторгуев С.П., Инфицирование как способ защиты жизни. Вирусы: биологические, социальные, психические, компьютерные; М., 1996.
35. Русский семантический словарь. Т. 2. Синтаксис; М., 1982.
36. Теньер Л., Основы структурного синтаксиса; М., 1988.
37. Уотермен Д., Руководство по экспертным системам; М., 1989.
38. Фадеев П.Э., Фадеева Т.Б., Прикладная теория драматургии; Мн., 1992.
39. Филлмор Ч., Дело о падеже // Новое в зарубежной лингвистике; М., 1981.
40. Хоггер К., Введение в логическое программирование; М., 1988.
41. ЭВМ пятого поколения. Концепции, проблемы, перспективы; М., 1984.
42. Яковишин В.С., Формальный язык: теория, грамматика, применение; Мн., 2000.