- •Таганрог 2001
- •Содержание
- •Введение
- •1. Принципы логического программирования
- •1.1. Базовые понятия
- •1.2. Терминология
- •1.3. Сложные термы, или структуры
- •1.4. Синтаксис строк
- •1.5. Утверждения
- •1.6. Запросы
- •1.7. Ввод программ
- •1.8. Унификация
- •1.9. Арифметические выражения
- •1.10. Вычисление арифметических выражений
- •1.11. Сравнение результатов арифметических выражений
- •Контрольные вопросы и упражнения
- •2. Структуры данных на языке пролог
- •2.1. Списки
- •2.2. Бинарные деревья
- •2.3. Механизм возврата и процедурная семантика
- •3. Представление моделей знаний
- •3.1. Процесс представления знаний
- •3.2. Семантические сети
- •3.3. Фреймы
- •3.4. Механизм наследования в Прологе
- •3.5. Создание динамических баз данных
- •3.6. Представление задач в виде и/или – графов
- •4. Экспертные системы
- •4.1. Системы экспертных консультаций
- •Этап идентификации
- •Этап концептуализации
- •Этап формализации
- •Этап выполнения
- •Этап тестирования
- •Этап опытной эксплуатации
- •Экспертные системы, параллельные и последовательные решения
- •Пример эс, основанной на правилах логического вывода и действующую в обратном порядке
- •Часть 1.
- •Часть 2.
- •Часть 3.
- •Часть 4.
- •Часть 5.
- •4.2. Запоминание пути вывода
- •5. Пример задачи на представление знаний
- •6. Заключение
- •Литература
- •Представление знаний и логическое программирование в системах искусственного интеллекта Учебное пособие
6. Заключение
Оперативное изменение комплекса программ обычно наталкивается на естественные ограничения самого процесса программирования. Принцип типа "Эта программа может все" общеизвестен; он стимулирует хорошее качество программ, однако другой принцип "Все можно запрограммировать" можно назвать более важным и действенным, поскольку он утверждает необходимость алгоритмического знания, навсегда вошедшего в нашу жизнь. Тем не менее практика все чаще подбрасывает нам примеры существенных недостатков процедурного программирования, которые стимулировали сегодня интеллектуализацию применения компьютеров:
некоторые знания "плохо формализуются" с помощью алгоритмов,
не все виды знаний можно представить программой,
некоторые знания или запросы неопределенны частично или полностью,
с увеличением размеров программы теряется ее гибкость,
программы не могут определять или доопределять понятия,
программы выводят только запланированные результаты или ошибочные ситуации, а альтернативные решения не предусматриваются,
для конкретного применения важны объективность (ориентация на общие знания) и субъективность программ (ориентация на конкретную организацию).
Решение каждой из этих проблем требует перепрограммирования, что по стоимости часто равносильно созданию новых программ. Необходим иной подход к разрешению запросов пользователя с учетом главной проблемы – использование компьютера силами самого пользователя, не обладающего знаниями в области программирования, но хорошо ориентирующегося в своих прикладных областях, и владеющего специфическими профессиональными знаниями. Перечисленные недостатки формируют требования к новому подходу, который кроме этого обязан учитывать и возможности, присущие традиционному процедурному программированию.
Таким образом, данное учебное пособие можно рассматривать как практическое введение в интеллектуальное программирование, в данном случае на языке Пролог.
Литература
Ю.В. Чернухин. Искусственный интеллект и нейрокомпьютеры. – Таганрог, ТРТУ, 1997.
И. Братко. Программирование на языке Пролог для искусственного интеллекта. – М., «Мир», 1990.
А.А. Красилов. Экспертные системы. – М., Радио и связь, 1996.
Дж. Малпас. Реляционный язык Пролог и его применение: Пер. с англ. /Под ред. В.Н. Соболева. – М.: Наука. Гл. ред. физ.-мат. лит., 1990.
Г. Хансен, Д. Хансен. Базы данных: разработка и управление: Пер. с англ. – М.: ЗАО «Издательство БИНОМ», 1999.
Справочник. Искусственный интеллект. В 3-х книгах. 1. Системы общения и экспертные системы. 2. Модели и методы. 3. Программные и аппаратные средства. – М., Радио и связь, 1990.
С.Л. Сотников. Основы проектирования систем с искусственным интеллектом. – Днепродзержинск, 1997.
Чернухин Юрий Викторович Гузик Вячеслав Филиппович
Костюк Андрей Иванович
Представление знаний и логическое программирование в системах искусственного интеллекта Учебное пособие
Ответственный за выпуск Костюк А.И.
Редактор Беловаа Л.Ф.
Корректор Пономарева Н.В.
ЛР № 020565 Подписано к печати __________.
Формат 60x84 1/16. Бумага офсетная.
Офсетная печать. Усл. п. л. – 4.0. Уч.-изд. л. – 3.8.
Заказ № ___. Тираж 500 экз.
“С”
____________________________________________________________________
Издательство Таганрогского государственного радиотехнического университета
ГСП 17А, Таганрог, 28, Некрасовский, 44
Типография Таганрогского государственного радиотехнического университета ГСП 17А, Таганрог, 28, Энгельса, 1
