Рефераты | Рефераты по информатике, программированию | Система "Посредник" |
Кабель АВВГ |
Иркутсккабель |
700 |
1200 |
0.9 |
8 |
При применении первого критерия выбираются фирмы “Стройсервис” и “Всё для дома”, поскольку цена, по которой они предлагают товар, больше, чем у фирмы “Уникомтех” и следовательно доход посредника будет больше. На втором этапе из этих двух фирм выбирается “Стройсервис”, поскольку у неё меньше срок поставки.
6. логическая модель представления знаний на языке многосортного исчисления предикатов и на языке Пролог
Логическая модель – это описание предметной области на каком-либо логическом языке. Одним из таких логических языков является многосортное исчисление предикатов. При представлении логических моделей на этом языке классы сущностей предметной области интерпретируются, как имена сортов.
Для примера введём следующие имена сортов: Договор, Поставщик, Покупатель, Продукция, Производитель, Количество, Цена, Срок, Тип_Произв, а так же следующие функции и предикаты:
пост:Договор
Поставщик, покуп:Договор
Покупатель,
прод:ДоговорПродукция, произв:ДоговорПроизводитель,
кол:ДоговорКоличество, цена: ДоговорЦена, срок:ДоговорСрок
тип_произв: ПроизводительТип_Произв
российский: Тип_Произв, европейский: Тип_Произв
:Количество
КоличествоT
:Количество КоличествоT
Выражения 1-4 сотавляют сигнатуру и имеют следующий смысл:
Задаёт несколько функций, например прод (продукция), которые будучи применимы к объекту е сорта Договор, дают например продукцию прод(е), участвующую в операции е.
Задаёт функцию, значениями которой служат типы производителя.
Задаёт константы, принадлежащие сорту Тип_Произв.
Задаёт двухместные предикаты на объектах сорта Количество.
Сигнатура – это множество функций вида f: A1
A2… An
B, где A1, A2,…,An – аргументы, B – значение функции. Множества аргументов и значений функций образуют соответственно сорта A и B. В частном случае, если B=T, причём T={1,0} – особый сорт, то сигнатура имеет вид P: A1 A2… AnT, причём P называют предикатом.
Сигнатура задает структурные связи между понятиями предметной области, представленными предикатами и функциями. Логические связи между этими понятиями задаются формулами, которые записываются в сигнатуре. Структурные и логические связи выражают некоторое знание о предметной области. Таким образом, сигнатура формально представляет одну часть знания о предметной области, а формулы, записанные в этой сигнатуре, представляют другую часть знания.
Графическое представление сигнатуры показано на рис.4, а модельной структуры – на рис.5.
Рис.4. Графическое представление сигнатуры
Логическая модель в Прологе представляется в виде предикатов и баз данных database. Например:
database – договор
дог(Поставщик, Покупатель)
Функцию пост (поставщик) можно реализовать так
пост (N):– дог(Покупатель,Поставщик), N=Поставщик.
Функцию можно представить следующим образом:
(Количество1,Количество2):–Количество1
P
P autoload:-
P makewindow(2,74,79,"ОШИБКА",6,18,8,40), P cursor(2,10), P write("Нет базы на диске"), P sound(70,294), P removewindow, P !.
P
P
P/* Главное меню */
P
P main_menu:-
P repeat, P cursor(7,0), P write(" 0 - О системе... "),nl, P write(" 1 - Корректировка данных"),nl, P write(" 2 - Уничтожение записей"),nl, P write(" 3 - Просмотр баз данных"),nl, P write(" 4 - Заключение договоров"),nl, P write(" 5 - Интерактивный режим"),nl, P write(" 6 - Выход из программы"),nl, P write(" =>"),
readint(C),
clearwindow,
working(C),
clearwindow,
C = 6,
retractall(_),
removewindow.
/* Вывод данных о создателе программы */
Рекомендуем скачать другие рефераты по теме: персонал реферат, реферат модель.
