Перспективные направления развития искусственного интеллекта

1. Развитие нейрокомпьютеров в различных областях:

· Нейрокомпьютеры общего назначения

· Нейрокомпьютеры для обработки изображений

· Нейрокомпьютеры для управления динамическими системами

· Нейрокомпьютеры для обработки сигналов

· Нейрокомпьютеры в информационных и экспертных системах

· Нейрокомпьютеры в финансовой деятельности

· Нейрокомпьютеры и мягкие вычисления

· Элементная база нейрокомпьютеров

· Перспективные технологии нейрокомпьютеров

· Теория нейронных сетей

· Нейроматематика

· Нейробиологические модели нейронных сетей

2. Развитие естественно-языковых систем для анализа (распознавания) и синтеза текстовых сообщений, речевых сообщений; систем перевода текса (речи) с одного языка на другой

3. Развитие гибридных информационных и экспертных систем

4. Развитие адаптивных систем управления на базе мягких вычислений

5. Развитие инструментальных средств и языков программирования для создания систем искусственного интеллекта

6. Экспертные системы реального времени

7. Развитие генетических алгоритмов и технологии генетического программирования

Литература

1.Комарцова Л.Г., Максимов А.В. Нейрокомпьютеры: Учеб. пособие для вузов. -2-ое изд. Перераб. И доп.-М.: Изд-во МГТУ им. Н.Э. Баумана, 2004.-400с.

2. Галушкин А.И. Нейрокомпьютеры. Кн.3: Учеб. пособие для вузов./Общая ред. А.И. Галушкина.-М.: ИПРЖР, 2000-528 с.

Приложение А

Примеры решения задачи по логическому выводу на основе исчисления высказываний и исчисления предикатов

С использованием метода резолюций исчисления высказываний проверить выводимость цели (С) из логических предложений (П1-П4) с использованием трех стратегий логического вывода: предпочтение единичным элементам, опорного множества и «сначала вширь».

П1: Если я пойду завтра на первое занятие, то должен встать рано

ПЗ à ВР

П2: Если я пойду вечером на дискотеку, то лягу спать поздно.

ВДàЛП

П3: Если я лягу спать поздно и встану рано, то буду вынужден

довольствоваться 5 часами сна

ЛП & ВР à5ЧС

П4: Я просто не в состоянии довольствоваться 5 часами сна

~ 5ЧС

С: Я должен или не ходить на дискотеку или пропустить первое занятие

~ ПЗ V ~ ВД

требования к решаемой задачи:

1. представить правила на языке логики высказываний.

2. выполнить приведение дизъюнктов к конъюнктивной нормальной форме с пояснением применяемых формул преобразования.

3. выполнить сопоставление дизъюнктов по методу резолюции для трех заданных стратегий логического вывода.

4. сравнить результаты вывода по каждой стратегии.

Решение

1.Привести предложения к конъюнктивной нормальной форме и выполнить отрицание цели

1. ПЗ à ВР = ~ ПЗ V ВР

2. ВДàЛП = ~ ВД V ЛП

3. ЛП & ВР à5ЧС = ~ ЛП V ~ ВР V 5ЧС

4. ~ 5ЧС

5. ~ ПЗ V ~ ВД = ПЗ & ВД

2. Выписать дизъюнкты для выполнения метода резолюции

1. ~ ПЗ V ВР

2. ~ ВД V ЛП

3. ~ ЛП V ~ ВР V 5ЧС

4. ~ 5ЧС

5. ПЗ

6. ВД

3. ВЫПОЛНИТЬ СОПОСТАВЛЕНИЕ ДИЗЪЮНКТОВ И ФОРМИРОВАНИЕ РЕЗОЛЬВЕНТ

Имя	Предложение	Основание
П1	~ ПЗ V ВР	Задано
П2	~ ВД V ЛП	Задано
П3	~ ЛП V ~ ВР V 5ЧС	Задано
П4	~ 5ЧС	Задано
П5	ПЗ	Отрицание цели
П6	ВД	Отрицание цели
П7	ВР	R[П1, П5]
П8	~ ЛП V ~ ВР	R[П3, П4]
П9	~ ЛП	R[П7, П8]
П10	ЛП	R[П2, П6]
П11	Пустой дизъюнкт (#)	R[П9, П10]

4. Получено противоречие. следовательно, цель является логическим следствием предложений П1-П4.

Пример решения задачи по логическому выводу на основе исчисления предикатов