- •Кафедра Информационных систем и вычислительной техники Национального минерально-сырьевого университета «Горный"
- •Содержание
- •История развития и современное состояние языка prolog
- •Тенденции в истории развития языка Prolog
- •Области применения языка Prolog
- •Современные реализации языка Prolog
- •Поддержка веб-технологий в реализацях Prolog
- •Основы разработки prolog-программ
- •Общие сведения о языке Prolog
- •Понятие факта, правила, запроса и процедуры
- •Механизм сопоставления и поиска с возвратом
- •Основные элементы языка Prolog
- •Среда разработки программ pie и система swi-prolog
- •Основы работы в консоли Prolog
- •Основы работы с программными файлами
- •Справка и помощь в среде swi-Prolog
- •Основы трассировки и отладки в среде pie и swi- Prolog
- •Графические интерфейсы на базе swi-Prolog/xpce
- •Загрузка и запуск программ swi-Prolog'a
- •Использование ярлыков для запуска программ
- •Использование командных и скриптовых сценариев
- •Среда разработки turbo-prolog
- •Структура программы на Turbo Prolog'e
- •Оболочка системы Turbo Prolog
- •Отладка и трассировка программ
- •Работа с простейшими программами в Turbo Prolog'e
- •Работа с графикой в Turbo Prolog'e
- •Среда разработки visual prolog
- •Интегрированная среда разработки
- •Разработка консольного проекта
- •Разработка gui проекта на Visual Prolog'e
- •Prolog — язык логического программирования
- •Системы основанные на знаниях
- •Логические модели и логическое программирование
- •Простейшие конструкции языка предикатов
- •Предикатные формулы
- •Определение правильно построенной формулы
- •Логический вывод
- •6.6.1. Правило резолюции для простых предложений
- •Правило резолюции для сложных предложений
- •Простая резолюция сверху вниз
- •Общая резолюция сверху вниз
- •Унификаторы и примеры унификации
- •Решение задач и извлечение ответа
- •Приложение 1. Запуск Turbo-Prolog в ос Windows 7
- •1. Стандартные предикаты ввода данных.
- •Предикаты преобразования данных
- •Предикаты работы с окнами.
- •Предикаты работы с файлами.
- •Предикаты управления экраном.
- •Предикаты обработки строк.
- •Предикаты работы с графикой.
- •Разные предикаты.
- •Правила вычисление атрибутов экрана.
- •Приложение 3. Пример программы построения дерева синтаксического анализа
- •Интеллектуальные информационные системы prolog - язык разработки интеллектуальных и экспертных систем
Prolog — язык логического программирования
Системы основанные на знаниях
Человек, понимая речь, изображение, образы и иную информацию, для решения возникающих задач использует знания о конкретной предметной области. Для выполнения той же работы компьютером необходимо знания представить в некоторой стандартной форме и составить программу их обработки. При использовании структурных языков программирования необходимые знания помещаются непосредственно в прикладную программу и составляют с ней единое целое.
Однако такой подход затрудняет понимание того, каким образом используются знания, и какую роль они выполняют. Знания, заложенные в программу, и программа их обработки оказываются жестко связанными между собой и представляют возможность получать только те выводы из имеющихся знаний, которые предусмотрены программой их обработки.
Знания
СОЗ
Функции решения за-
|
База знаний |
◄ |
1 ► |
Механизм вывода |
|
|
У ▲ |
|
|
|
|
Определение ] Модифицикация~] Пополнение ]
Рис. 6.1. Структура систем, основанных на знаниях.
Принципиальной особенностью систем, основанных на знаниях является тот факт, что в любой из систем этого класса
• знания представляются в конкретной форме базы знаний, которая позволяет знания легко определять, модифицировать и пополнять;
• функции решения задач реализуются автономным механизмом логических выводов, делаемых на знаниях, которые хранятся в базе.
Знания представляют собой совокупность информации и правил вывода (у индивидуума, общества или системы ИИ) о мире, свойствах объектов, закономерностях процессов и явлений, а также правилах использования их для принятия решений. Основное отличие знаний от данных состоит в их структурности и активности. Появление новых фактов или установление новых связей может стать источником изменений в принятии решений.
База знаний (knowledge base) в информатике и исследованиях по ИИ - это особого рода база данных, разработанная для оперирования знаниями (метаданными). База знаний содержит структурированную информацию, покрывающую некоторую область знаний, для использования человеком или кибернетическим устройством с конкретной целью. Современные базы знаний работают совместно с системами поиска информации, имеют классификационную структуру и формат представления знаний.
В современных информационных системах используют различные модели представления знаний - это продукционные, фреймовые или байесовские модели, а также системы на базе семантических сетей, логики предикатов, нечеткой логики и ряд других.
