Книга посвящена созданию системного программного обеспечения ЭВМ пятого поколения с использованием элементов искусственного интеллекта. Особое внимание уделено сопоставлению языков логического программирования Лисп, Пролог с новым языком, близким к языку объектно-ориентированного типа. Реализация языка рассмотрена на уровнях архитектуры виртуальной Смолток-машины и микропрограмм. Описаны также СБИС, реализующие эти микропрограммы.
Для научных рабтников и инженеров, создающих информационно-программное обеспечение, а также студентов, специализирующихся в области вычислительной техниики.

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

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

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

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

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

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

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

Книга посвящена изложению статистической теории распознавания образов. В первой части книги задача распознавания образов рассматривается с точки зрения проблемы минимизации среднего риска. Показано, как далеко можно продвинуться в решении задачи обучения распознаванию образов, следуя по каждому из существующих в статистике путей минимизации риска, и к каким алгоритмам они приводят. Вторая часть посвящена исследованию математических проблем обучения. Изложена теория равномерной сходимости частот появлений событий к их вероятностям, которая является предельным обобщением теоремы Гливенко. Третья часть посвящена алгоритмам построения линейных и кусочно-линейных решающих правил.
Книга рассчитана на студентов старших курсов, аспирантов, инженеров и научных сотрудников, занятых в области теоретической и технической кибернетики. Она будет также интересна специалистам по теории вероятностей и математической статистике.

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

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

Сборник работ зарубежных специалистов, отражающий современное состояние в новом направлении программирования, тесно связанном с математической логикой. Это направление активно развивается как в теоретическом, так и в практическом плане, включая в себя новые языки (Пролог, Логлисп и др.), методы реализации и проекты машинных архитектур. В сборник включен специально написанный обзор литературы по логическому программированию. Среди авторов известные зарубежные специалисты: Б. Домелки, П. Середи (ВНР), А. Колмероэ (Франция), Дж. Робинсон (США), Р.Ковальский (Великобритания).
Для математиков-прикладников, программистов, аспирантов и студентов университетов.