Добавил:

korayakov Опубликованный материал нарушает ваши авторские права? Сообщите нам.

Вуз:

Национальный исследовательский университет «МИЭТ»

Предмет:

Экспертные системы

Файл:

docs / PROLAB6

.DOC

Скачиваний:

Добавлен:

17.04.2013

Размер:

17.55 Кб

Скачать

☆

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ ИНСТИТУТ ЭЛЕКТРОННОЙ ТЕХНИКИ

Кафедра Проектирования И Конструирования Интегральных МикроСхем

Курс: Экспертные системы в САПР СБИС

Лабораторная работа N 6

Создание динамических баз данных в оперативной памяти и

на внешних носителях в Турбо-прологе.

Подготовил: Авдеев Е.В.

Москва, 2000 г.

Цель работы: изучение и практическое освоение возможностей применения среды "Turbo-prolog" для создания реляционной базы знаний экспертной системы САПР.

Введение. Некоторые средства и методы Турбо-пролога.

Раздел database предназначен для описания предикатов динамической базы данных, тогда как предикаты статической базы данных описываются в разделе predicates.

В динамической БД содержатся только факты, но не правила. Динамическая БД состоит из резидентной части (находящейся в оперативной памяти) и долговременной части (находящейся в файле).

Встроенные предикаты для работы с динамической БД:

asserta(Clause) - занесение нового факта в резидентную часть ДБД перед всеми уже внесенными утверждениями данного предиката,

assertz (Clause) - занесение нового факта в резидентную часть ДБД после всех уже внесенных утверждений данного предиката,

retract(Clause) - удаление из резидентной части ДБД одного из ранее внесенных туда утверждений,

save(Dos_file_name) - перенос резидентной части ДБД в долговременную, т.е. из оперативной памяти в файл,

consult(Dos_file_name) - перенос долговременной части ДБД в резидентную, т.е. из файла в оперативную память,

readterm(dom, b(A1,A2,...,An)) - чтение из открытого файла значений аргументов A1,A2,...An данного домена dom, описанного в разделе domains как, например,.

A1 = string

A2 = integer

. . .

An = real

dom = b(A1, A2, ..., An),

findall(Variable_name, Predicate_expression, List_name) - сбор данных, относящихся к аргументу

Variable_name входного предиката Predicate_expression, из ДБД в список List_name.

Лабораторные средства:

каталог LRPR2000 с подкаталогом GEOLAB и файлами

prolog.exe - экспертная оболочка "Тurbo-prolog",

prolog.cfg - текущая конфигурация системы,

prolog.err - расшифровка диагностических кодов,

prolog.hlp - описание системы "Turbo-prolog",

prolog.lib, prolog.ovl - вспомогательные подсистемы "Тurbo-prolog".

prolab1-..-8.doc - описания лабораторных работ 1-..-8.

work2-..-8.pro - рабочие файлы, содержащие на языке "Тurbo-prolog" примеры программ

ТИПОВАЯ ПОСЛЕДОВАТЕЛЬНОСТЬ ВЫПОЛНЕНИЯ ЛАБОРАТОРНОЙ РАБОТЫ 6:

1) Распаковать на диск D файл prolog00.arj с созданием каталога LRPR2000

arj x -r prolog00.arj d:\

Изучить лабораторное задание prolab6.doc и войти в оболочку prolog.exe

Изучить структуру и функции программы БАЗА ЗНАНИЙ, реализующую резидентный вариант на языке Турбо-пролог в файле work6.pro, скомпилировать и выполнить ее в диалоге.

Разработать, ввести, скомпилировать и исполнить в диалоге на примерах программу, реализующую вариант индивидуального задания, получив у преподавателя номер своего варианта.

Сдать лабораторную работу 6, предъявив результаты диалога с созданной по пункту 4) программой, на примерах преподавателя и сохранить нужные Вам файлы в Вашем Рабочем Каталоге.

Уничтожить созданный Вами каталог TPROLOG на диске D со всем содержимым.

ВАРИАНТЫ ЛАБОРАТОРНОГО ЗАДАНИЯ 6

Создать базу знаний - динамическую базу данных в долговременном варианте

1. Абонентов Локальной Вычислительной Сети.

2. Графических компонент пользовательского интерфейса САПР.

3. Логических элементов БИС.

4. Склада запчастей ПЭВМ.

5. Схемотехнических компонентов принципиальных схем.

6. Топологических компонентов ИМС.

7. Генераторов тригонометрических функций.

8. Неисправностей электронного оборудования.

9. Программных компонентов САПР.

10. Интеллектуального тестера для обнаружения неисправностей

в электрической цепи.

11. Системы размещения топологии и геометрических требований.

12. Системы анализа задержек для заданной топологии.

13. Библиотеки микросхем.

14. Абонентов Локальной Вычислительной Сети.

15. Графических компонент пользовательского интерфейса САПР.

16. Логических элементов БИС.

17. Склада запчастей ПЭВМ.

18. Схемотехнических компонентов принципиальных схем.

19. Топологических компонентов ИМС.

20. Генераторов тригонометрических функций.

21. Неисправностей электронного оборудования.

22. Программных компонентов САПР.

23. Интеллектуального тестера для обнаружения неисправностей

в электрической цепи.

24. Системы размещения топологии и геометрических требований.

25. Системы анализа задержек для заданной топологии.

26. Библиотеки микросхем.

Авдеев Е.В. 01.09.00 г.

mPHуЮh€ъN`enDю(prд

L-=!aКБ–г

Обычный

Основной шрифт абзаца

сновнойРHрифтР0бзацаЀ

3урбанскийР4митрийЖC:\TPROLOG\PROLAB6.DOC

C:\TPROLOG\PROLAB6.DOC