Министерство Науки и Образования Украины
Севастопольский Национальный Технический Университет
Контрольная работа
п о дисциплине: «Экспертные системы»
Выполнил:
студент группы М-43 з.с.
Мазур И.В.
Проверил:
Шахов А.М.
Севастополь
2011 г.
Задание № 1
Сформировать семантическую сеть запроса для варианта сети № 3 для определения фамилии командира дивизии, в которой командиром полка служит Иванов.
Семантическая сеть №3
 |
Сеть запроса:
 |
Задание № 2
Необходимо по заданному конкретному фрейму сформировать фрейм запроса и описать процесс извлечения знаний. Конкретные значения атрибутов фрейма запроса выбираются самостоятельно.
Конкретный фрейм
{ <авиаперевозки >
{<рейс>;<номер><1465,3425,1646, 564,562,8912>;
<тип><ан-24, ту-154, ту-134, ил-96,а-з40, ту-154>;
<аэропорт-вылета><симферополь,киев,москва, москва, москва, симферополь >;
<аэропорт_назначения><киев, москва, самара, симферополь, париж, самара >;
<время вылета><19-00, 12-45, 17-05,14-00, 8-30, 21-50>;
<price><180, 200, 900,1950, 8000, 500,>; <валюта>}
{<валюта>;< продукция >
< (1) (аэропорт_вылета = симферополь)or (аэропорт_вылета = киев); true Þ print(‘’оплата в гривнях’’).
(2) аэропорт_вылета = москва; true Þ print(‘’оплата в рублях’’). >}}.
Сформировать фрейм запроса для выбора нужного рейса и определения валюты платежа.
Фрейм запроса для выбора нужного рейса.
{ <авиаперевозки >
{<рейс>;<номер><?>;
<тип><_>;
<аэропорт-вылета><москва>;
<аэропорт_назначения><симферополь>;
<время вылета><?>;
<price><?>; <валюта>}}
Задание № 3
Необходимо по заданным исходным данным о проблемной ситуации разработать системы с прямой и обратной цепочкой рассуждений, подобные рассмотренным выше. Для случая прямой цепочки рассуждений построить блок-схему. Дать краткое описание работы систем вывода.
Имеется шесть человек: Иванов, Петров, Сидоров, Федоров, Сергеев и Павлов. Известно, что Федоров, Сергеев и Павлов - инженеры, т.к. имеют диплом. Петров и Сидоров - студенты, т.к. имеют студенческий билет. Павлов и Иванов владеют игрой на гитаре. Сидоров и Федоров владеют английским.
Программа с обратной цепочкой рассуждения
domains
predicates
identify(symbol)
its(symbol)
confirm(symbol,symbol)
denied(symbol,symbol)
check_if(symbol,symbol)
remember(symbol,symbol,symbol)
guess
database
db_confirm(symbol,symbol)
db_denied(symbol,symbol)
clauses
guess:- identify(X),write("Искомый человек - ",X),!.
identify(sidorov):- its(student), confirm(have, english),!.
identify(fedorov):- its(engineer), confirm(have, english),!.
identify(sergeev):- its(engineer), not(confirm(have, english)),
not(confirm(have, guitar)),!.
identify(pavlov):- its(engineer), confirm(have, guitar),!.
identify(ivanov):- not(its(engineer)),not(its(student)),confirm(have, guitar),!.
identify(petrov):- its(student), not(confirm(have, english)),!.
its(engineer):- confirm(have, diplom),!.
its(student):- confirm(have, stud_bilet),!.
confirm(X,Y):- db_confirm(X,Y),!.
confirm(X,Y):- not(denied(X,Y)),! and check_if(X,Y).
denied(X,Y):- db_denied(X,Y),!.
check_if(X,Y):-write("He ",X," ",Y," y/n),readln(Reply),remember(X,Y,Reply).
remember(X,Y,y):-asserta(db_confirm(X,Y)).
remember(X,Y,n):-asserta(db_denied(X,Y)),fail.
goal guess.
Блок-схема к программе с прямой цепочкой рассуждения
