URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Закревский А.Д. Логика распознавания
Id: 15739
 
255 руб.

Логика распознавания. Изд.2

URSS. 2003. 144 с. Мягкая обложка. ISBN 5-354-00469-1.

 Аннотация

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

Предназначена для читателей, интересующихся современными проблемами кибернетики.


 Оглавление

Введение
Глава 1. Надежное распознавание -- основа разумных действий
Глава 2. Связи в пространстве признаков
Глава 3. Закономерности и их выявление
Глава 4. Силлогистическая модель мира
Глава 5. Распознавание как логический вывод
Глава 6. Когда измерения частичны
Глава 7. Представления в пространстве многозначных признаков
Глава 8. База знаний и ее упрощение
Глава 9. Дедуктивный вывод в конечных предикатах

 Введение

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

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

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

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

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

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

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

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

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

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


 Об авторе

ЗАКРЕВСКИЙ Аркадий Дмитриевич (р. 22.5.1928, Ленинград) -- ученый в области технической кибернетики и информатики. Член-корреспондент Национальной академии наук Беларуси с 1972 г., доктор технических наук (1967), профессор (1969).

Окончил Томский гос. университет (1956), В 1959--71 гг. ассистент, старший научный сотрудник, заведующий лабораторией счетно-решающих устройств, профессор, заведующий кафедрой математической логики и программирования в Томском университете. В 1971--94 гг. заведующий лабораторией логического проектирования, с 1994 г. главный научный сотрудник Института технической кибернетики Национальной АН Беларуси, одновременно профессор Белорусского государственного университета информатики и радиоэлектроники.

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

Автор более 400 научных работ, в т. ч. 11 монографий. Основные труды: LYaPAS: A programming language for logic and coding algorithms (with M. A. Gavrilov). Academic Press, N.-Y., L., 1969; Алгоритмы синтеза дискретных автоматов. М., 1971; Логический синтез каскадных схем. М, 1981; Логические уравнения. Мн., 1975; Boolesche Gleichungen: Theorie, Anwendung, Algorithmen (mit D. Bochmann und Ch. Posthoff). VEB Verlag Technik, Berlin, 1984; Логика распознавания. Мн., 1988; Параллельные алгоритмы логического управления. Мн., 1999; Полиномиальная реализация частичных булевых функций и систем. Мн., 2001 (совм. с Н. Р. Тороповым).

 
© URSS 2016.

Информация о Продавце