Закревский А.Д. Логика распознавания №29. Изд. стереотип.

Оглавление

Введение

Как только не называют наш век – и веком электричества, и веком атомной энергии, и веком пластмасс, и даже веком очередей... Однако наиболее емким и обоснованным выглядит термин "информационный век".

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

Пользуясь автомобилем, мы передвигаемся быстрее в десятки раз, а с помощью самолета – в добрую сотню раз. Для информационных процессов эффект машинного ускорения гораздо выше: современная ЭВМ считает в миллион раз быстрее, чем человек, а перспективные лабораторные образцы – даже в миллиард раз!

Чтобы решить некоторую задачу на ЭВМ, надо прежде всего свести ее к вычислениям. Причем к вычислениям в расширенном смысле – не только арифметическим, но и логическим. Арифметические вычисления опираются на солидный фундамент вычислительной математики. С логическими вычислениями труднее – вычислительная логика находится в самом начале своего развития, закладываются лишь первые камни в ее основание. Тем не менее логическим вычислениям, логическому программированию в последнее время уделяется все большее внимание, поскольку они позволяют значительно расширить круг решаемых на ЭВМ задач, выйти за пределы традиционного применения ЭВМ.

Что же это за задачи?

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

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

Предметные области разнообразны, и их специфика должна учитываться при разработке эффективных ЭС. Однако при всем этом разнообразии практически все ЭС опираются в конечном счете на логику, которая едина, хотя и сильно разветвилась к настоящему времени.

Цель книги – познакомить читателя с логическими основаниями распознающих экспертных систем, ориентированных на относительно простые предметные области, описываемые в терминах булевой алгебры. К счастью, такими оказываются многие практически интересные области.

Изложение ведется на популярном уровне, для чтения книги вполне достаточно знаний в объеме средней школы.

Об авторе

Закревский Аркадий Дмитриевич

Известный ученый, специалист в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси с 1972 г., доктор технических наук (1967), профессор (1969). Окончил Томский государственный университет (1956). С 1959 по 1971 гг. работал в этом университете; был заведующим кафедрой математической логики и программирования. В 1971–1994 гг. заведующий лабораторией логического проектирования. С 1994 г. главный научный сотрудник Института технической кибернетики Национальной академии наук Беларуси, одновременно профессор Белорусского государственного университета информатики и радиоэлектроники. Последнее место работы: Объединенный институт проблем информатики НАН Беларуси (главный научный сотрудник).

Автор работ по теории автоматов, системному программированию, логико-комбинаторным методам в технике и информатике. Предложил язык программирования логических задач ЛЯПАС, на базе которого была создана серия систем автоматизированного проектирования дискретных устройств. Разработал серию практически эффективных алгоритмов минимизации булевых функций и систем, решения больших систем логических уравнений и переопределенных систем линейных логических уравнений с приложениями в логическом синтезе и защите информации. Автор более 400 научных работ, в том числе 11 монографий.