Методические указания к лабораторным занятиям Интеллектуальные системы обработки информации и машинное обучение Ставрополь, 2017

Nereid: 
Система 
поддержки 
принятия 
решений 
для 
оптимизации работы с валютными опционами. Фирма: NTT Data, The 
Tokai Bank, Science University of Tokyo. Система облегчает дилерскую 
поддержку для оптимального ответа как один из возможных 
представленных вариантов; более практична и дает лучшие решения, 
чем обычные системы принятия решений. Краткие характеристики: 
система разработана с использованием фреймовой системы CLP, 
которая легко интегрирует финансовую область в приложение ИИ. 
Предложен смешанный тип оптимизации, сочетающий эвристические 
знания с техникой линейного программирования. Система работает на 
Sun-станциях. 
PMIDSS: Система поддержки принятия решений при 
управлении портфелем. Разработчики: Финансовая группа Нью-
Йоркского университета. Решаемые задачи: выбор портфеля ценных 
бумаг; 
долгосрочное 
планирование 
инвестиций. 
Краткие 
характеристики: 
смешанная 
система 
представления 
знаний, 
использование 
разнообразных 
механизмов 
вывода: 
логика, 
направленные семантические сети, фреймы, правила. 
1.4. Инструментальное средство представления знаний 
 
– язык ПРОЛОГ 
Общие сведения о языке ПРОЛОГ. 
В русском языке слово "пролог" многозначно. В древности на 
Руси прологом называли специальный вид дидактической литературы. 
В наше время, под прологом 
3
9 

---

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

---

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