2

Контрольная работа

\

по дисциплине: Информационные системы в экономике

2007

Задание 1:

2

Создаем папку на диске «D», запускаем программу VISUAL PROLOG PROJECT (VPP). Открываем File > New, Project > New, пишем на английском языке в Project Name «pravnuk». Выбираем диск «D» и свою папку. Edit > Select All удалить. Нажать правую кнопку мыши, выбрать Font > набор символов > Кириллица. Найти на главном меню Options > Project > Compiler Options, выбрать Warnings (предупреждение), поставить точку у Nondeterm. Затем описываем алгоритм.

domains

n=string

m=n*

k=integer

predicates

родитель (n, n)

мужчина (n)

женщина (n)

правнук (n)

clauses

мужчина ("Иван").

мужчина ("Петр").

мужчина ("Сергей").

мужчина ("Федя").

женщина ("Марья").

женщина ("Майя").

женщина ("Лия").

женщина ("Катя").

женщина ("Лена").

родитель ("Иван","Марья").

родитель ("Петр","Майя").

родитель ("Петр","Лия").

родитель ("Сергей","Федя").

родитель ("Федя","Лена").

родитель ("Лия","Федя").

родитель ("Марья","Майя").

родитель ("Марья","Лия").

родитель ("Майя","Катя").

правнук (Y): - мужчина (Y), родитель (X,Y), родитель (X,Y),

родитель (Y,_).

goal

правнук (Y).

Ответ:

правнук (Y) = Федя.

Задание 2:

Вспомогательные функции:

; функция ask-question задает пользователю вопрос, получаемый в

; переменной ?question, и получают от пользователя ответ, который

; принадлежит списку допустимых ответов, заданных в $?allowed-values

; (дозволенные переменные).

(deffunction ask-question (?question $?allowed-values)

(printout t ?question)

(bind ?answer (read))

(if (lexemep ?answer)

then

(bind ?answer (lowcase ?answer)))

(while (not (member ?answer ?allowed-values)) do

(printout t ?question)

(bind ?answer (read))

(if (lexemep ?answer)

then

(bind ?answer (lowcase ?answer)))) ?answer)

; функция yes-or-no-p задает пользователю вопрос, полученный в переменной

; ?question и получает от пользователя ответ yes (y) или no (n). В случае

; положительного ответа (yes) функция получает значение TRUE (истина),

; при отрицательном - FALSE (ложь).

(deffunction yes-or-no-p (?question)

(bind ?response (ask-question ?question yes no y n) )

(if (or (eq ?response yes) (eq ?response y) )

then

TRUE

else

FALSE)

Таблица 1. Поле знаний

	Marlboro	Kent	Winston	Vork	Максим	Glamur	Прима	Captan Black
с фильтром	Y	Y	Y	Y	Y	Y	N	N
с ментолом	Y	N	N	Y	N	Y	N	N
импортные	Y	Y	Y	Y	N	Y	N	Y
женские	N	N	N	Y	N	Y	N	N
дорогие	Y	Y	N	Y	N	N	N	Y

Запускаем программу CLIPSWin.

(deffunction ask-question (?question $?allowed-values)

(printout t ?question)

(bind ?answer (read))

(if (lexemep ?answer)

then

(bind ?answer (lowcase ?answer)))

(while (not (member ?answer ?allowed-values)) do

(printout t ?question)

(bind ?answer (read))

(if (lexemep ?answer)

then

(bind ?answer (lowcase ?answer))))?answer)

;------------------------------------------------------------------------

(deffunction yes-or-no-p (?question)

(bind ?response (ask-question ?question yes no y n) )

(if (or (eq ?response yes) (eq ?response y) )

then

TRUE

else

FALSE))

;--------------------------------------------------------------------------

(defrule neznaju ""

(declare (salience -10))

(not (z ?))

=>

(assert (z "I don't know.")))

;-----------------------------------------------------------------------------

(defrule print-z ""

(declare (salience 10) )

(z ?item)

=>

(printout t crlf crlf)

(printout t "Your sigarets:")

(printout t crlf crlf)

(format t " %s%n%n%n" ?item))

;----------------------------------------------------------------------

(defrule system-banner ""

(declare (salience 10) )

=>

(printout t crlf crlf)

(printout t "****************************************" crlf)

(printout t "* Sigarets *" crlf)

(printout t "****************************************" crlf)

(printout t crlf crlf))

;--------------------------------------------------------------------------------

(defrule determine-with_filter ""

(not (with_filter ?))

(not(z ?))

=>

(if (yes-or-no-p "Have the sigarets with_filter (yes/no)? ")

then (assert(with_filter yes))

else (assert (with_filter no))))

;----------------------------------------------------------------------------------------

(defrule determine-with_mentol ""

(not (with_mentol ?))

(not(z ?))

=>

(if (yes-or-no-p "Is the sigarets with_mentol (yes/no)? ")

then (assert(with_mentol yes))

else (assert (with_mentol no))))

;------------------------------------------------------------------------------------------

(defrule determine-import ""

(not (import ?))

(not(z ?))

=>

(if (yes-or-no-p "Have the sigarets import)? ")

then (assert(import yes))

else (assert (import no))))

;-----------------------------------------------------------------------------------------------

(defrule determine-female ""

(not (female ?))

(not(z ?))

=>

(if (yes-or-no-p "Is the sigarets female)? ")

then (assert(female yes))

else (assert (female no))))

;---------------------------------------------------------------------------------------------

(defrule determine-dear ""

(not (dear ?))

(not(z ?))

=>

(if (yes-or-no-p "Is the sigarets dear (yes/no)? ")

then (assert(dear yes))

else (assert (dear no))))

;-----------------------------------------------------------------------------------------------

(defrule marlboro ""

(with_filter yes)

(with_mentol yes)

(import yes)

(female no)

(dear yes)

(not(z ?))

=>

(assert (z marlboro)))

;-------------------------------------------------------------------------------------------------

(defrule kent ""

(with_filter yes)

(with_mentol no)

(import yes)

(female no)

(dear yes)

(not(z ?))

=>

(assert (z kent)))

;-------------------------------------------------------------------------------------------------

(defrule winston ""

(with_filter yes)

(with_mentol no)

(import yes)

(female no)

(dear no)

(not(z ?))

=>

(assert (z winston)))

;-------------------------------------------------------------------------------------------------

(defrule vork ""

(with_filter yes)

(with_mentol yes)

(import yes)

(female yes)

(dear yes)

(not(z ?))

=>

(assert (z vork)))

;--------------------------------------------------------------------------------------------------

(defrule maksim ""

(with_filter yes)

(with_mentol no)

(import no)

(female no)

(dear no)

(not(z ?))

=>

(assert (z maksim)))

;--------------------------------------------------------------------------------------------------

(defrule glamur ""

(with_filter yes)

(with_mentol yes)

(import yes)

(female yes)

(dear no)

(not(z ?))

=>

(assert (z glamur)))

;------------------------------------------------------------------------------------------------

(defrule prima ""

(with_filter no)

(with_mentol no)

(import no)

(female no)

(dear no)

(not(z ?))

=>

(assert (z prima)))

;-------------------------------------------------------------------------------------------------

(defrule captain_black ""

(with_filter no)

(with_mentol no)

(import yes)

(female no)

(dear no)

(not(z ?))

=>

(assert (z captain_black)))