Лаба и контрольная / Отчет по лабораторной
.docМОСКОВСКИЙ ИНСТИТУТ РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ
(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)
ОТЧЕТ
О выполнении лабораторной работы
по дисциплине:
"Системы Искусственного Интеллекта"
Тема: "Решение проблем покупки компьютера"
Выполнил
Студент: Купцов Г.Г.
Группа: ВТ-2-99
Москва 2004 г.
Постановка задачи……………………………………………………………………………….3
Описание построенной модели…………………………………………………………………3
Описание базы правил…………………………………………………………………………...5
Примеры анализа различных ситуаций………………………………………………………...8
ПОСТАНОВКА ЗАДАЧИ:
Решение проблем покупки компьютера
ОПИСАНИЕ ПОСТРОЕННОЙ МОДЕЛИ:
Основа Базы Знаний - это концептуальная модель предметной области которая формализуется следующим образом:
Мпо = {X, C, R, G}, где:
X - множество объектов предметной области;
C - множество существенных свойств всех объектов;
R - множество существенных отношений между объектами
G - множество допустимых (необходимых) действий над объектами.
Для рассматриваемой предметной области была создана следующая модель:
В процессе анализа задачи было выявлено множество решений, которые могут приниматься в данной предметной области. Из них было сформировано множество G:
G = { Бюджетная_модель_предпочтительна_для_покупателя,
Достаточное_количество_денег_у_покупателя,
Компьютер_для_бюджетной_модели,
Компьютер_для_последней_модели,
Компьютер_для_средней_модели,
Недостаточное_количество_денег_у_покупателя,
Последняя_модель_предпочтительна_для_покупателя,
Средняя_модель_предпочтительна_для_покупателя }
По ходу раскрытия содержания каждого действия, т.е. в процессе выявления и исследования множества ситуаций, в которых может приниматься то или иное решение, и анализа влияния каждого из действий на состояние модели предметной области, были выделены соответствующие множества объектов, их свойств, и отношений между ними.
X = { Компьютер,
Магазин,
Покупатель }
C = { Монитор [ Тип свойства: Строковый ],
Процессор [ Тип свойства: Строковый ],
Тип [ Тип свойства: Строковый ],
Тип_компьютера [ Тип свойства: Строковый ],
Жесткий_диск [ Тип свойства: Строковый ],
Предпочтение [ Тип свойства: Строковый ],
Цена [ Тип свойства: Числовой ],
Сумма [ Тип свойства: Числовой ],
Привод [ Тип свойства: Строковый ],
Видеокарта [ Тип свойства: Строковый ] }
Перечисленные свойства описывают объекты следующим образом:
Объект "Компьютер":
-- Жесткий_диск; Множество значений: {Любые буквенно-числовые последовательности }
-- Монитор; Множество значений: {Любые буквенно-числовые последовательности }
-- Процессор; Множество значений: {Любые буквенно-числовые последовательности }
-- Привод; Множество значений: {Любые буквенно-числовые последовательности }
-- Видеокарта; Множество значений: {Любые буквенно-числовые последовательности }
-- Тип; Множество значений: {Любые буквенно-числовые последовательности }
Объект "Магазин":
-- Тип_компьютера; Множество значений: {Любые буквенно-числовые последовательности }
-- Цена; Множество значений: {Все действительные числа }
Объект "Покупатель":
-- Сумма; Множество значений: {Все действительные числа }
-- Предпочтение; Множество значений: {Любые буквенно-числовые последовательности }
Для решения задачи потребовалось установить следующие отношения между объектами:
R = { Выбор_компьютера(Покупатель, Компьютер, Магазин),
Достаточное_количество_денег(Покупатель),
Правильное_предпочтение(Покупатель, Компьютер) }
Объединяя информацию о свойствах объектов и отношениях между ними,
получаем набор фактов, которые должны входить в рабочую базу данных (РБД) интеллектуальной системы:
РБД = { Компьютер.Видеокарта [ Тип факта: Строковый; Начальное значение = Не задано ],
Компьютер.Жесткий_диск [ Тип факта: Строковый; Начальное значение = Не задано ],
Компьютер.Монитор [ Тип факта: Строковый; Начальное значение = Не задано ],
Компьютер.Привод [ Тип факта: Строковый; Начальное значение = Не задано ],
Компьютер.Процессор [ Тип факта: Строковый; Начальное значение = Не задано ],
Компьютер.Тип [ Тип факта: Строковый; Начальное значение = Не задано ],
Магазин.Тип_компьютера [ Тип факта: Строковый; Начальное значение = Не задано ],
Магазин.Цена [ Тип факта: Числовой; Начальное значение = Не задано ],
Покупатель.Предпочтение [ Тип факта: Строковый; Начальное значение = Не задано ],
Покупатель.Сумма [ Тип факта: Числовой; Начальное значение = Не задано ],
Выбор_компьютера(Покупатель, Компьютер, Магазин) [ Тип факта: Логический; Начальное значение = Ложь],
Достаточное_количество_денег(Покупатель) [ Тип факта: Логический; Начальное значение = Ложь],
Правильное_предпочтение(Покупатель, Компьютер) [ Тип факта: Логический; Начальное значение = Ложь] }
Далее, посредством построения отображения F - множества состояний на множество действий,
описание которого здесь опускается, но которое, тем не менее, должно быть в Вашем отчете,
была создана База Правил.
ОПИСАНИЕ БАЗЫ ПРАВИЛ
База Правил содержит следующие правила:
A) Правила, эквивалентные действиям над объектами предметной области:
A.1)
ИМЯ ПРАВИЛА: "Бюджетная_модель_предпочтительна_для_покупателя"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Бюджетная модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ЛОЖЬ ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Магазин.Тип_компьютера := офисный компьютер
Магазин.Цена := 500
Покупатель.Сумма := Покупатель.Сумма - 500
Правильное_предпочтение(Покупатель, Компьютер) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Для покупателя предпочтительна бюджетная модель
A.2)
ИМЯ ПРАВИЛА: "Достаточное_количество_денег_у_покупателя"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ЛОЖЬ ) И
( Покупатель.Сумма => 1500 ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Достаточное_количество_денег(Покупатель) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Отсутствуют
Заключение: Достаточное количество денег у покупателя для покупки компьютера
A.3)
ИМЯ ПРАВИЛА: "Компьютер_для_бюджетной_модели"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Бюджетная модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ИСТИНА ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Компьютер.Тип := маломощный
Компьютер.Процессор := Intel Celeron 1,6
Компьютер.Жесткий_диск := 40 Гбайт
Компьютер.Видеокарта := Radeon 9200
Компьютер.Привод := CD-ROM
Компьютер.Монитор := ЭЛТ 15"
Выбор_компьютера(Покупатель, Компьютер, Магазин) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Выбор компьютера для бюджетной модели
A.4)
ИМЯ ПРАВИЛА: "Компьютер_для_последней_модели"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Последняя модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ИСТИНА ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Компьютер.Тип := высокой производительности
Компьютер.Процессор := Intel 3,2
Компьютер.Жесткий_диск := 120 Гбайт
Компьютер.Видеокарта := Radeon 9800 XT
Компьютер.Привод := DVD-ROM/CD-RW
Компьютер.Монитор := TFT 17"
Выбор_компьютера(Покупатель, Компьютер, Магазин) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Выбор компьютера для последней модели
A.5)
ИМЯ ПРАВИЛА: "Компьютер_для_средней_модели"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Средняя модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ИСТИНА ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Компьютер.Тип := средней производительности
Компьютер.Процессор := Intel 2,0
Компьютер.Жесткий_диск := 60 Гбайт
Компьютер.Видеокарта := Radeon 9600 Pro
Компьютер.Привод := CD-RW
Компьютер.Монитор := ЭЛТ 17"
Выбор_компьютера(Покупатель, Компьютер, Магазин) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Выбор компьютера для средней модели
A.6)
ИМЯ ПРАВИЛА: "Недостаточное_количество_денег_у_покупателя"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Покупатель.Сумма < 1500 ) И
( Достаточное_количество_денег(Покупатель) = ЛОЖЬ ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Кредит_банка := 1500 - Покупатель.Сумма
Покупатель.Сумма := Покупатель.Сумма + Кредит_банка
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Недостаточное количество денег у покупателя для покупки компьютера
A.7)
ИМЯ ПРАВИЛА: "Последняя_модель_предпочтительна_для_покупателя"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Последняя модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ЛОЖЬ ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Магазин.Тип_компьютера := последний писк
Магазин.Цена := 1500
Покупатель.Сумма := Покупатель.Сумма - 1500
Правильное_предпочтение(Покупатель, Компьютер) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Для покупателя предпочтительна последняя модель
A.8)
ИМЯ ПРАВИЛА: "Средняя_модель_предпочтительна_для_покупателя"
СОДЕРЖАНИЕ ПРАВИЛА :
ЕСЛИ ( Достаточное_количество_денег(Покупатель) = ИСТИНА ) И
( Покупатель.Предпочтение = Средняя модель ) И
( Правильное_предпочтение(Покупатель, Компьютер) = ЛОЖЬ ) И
( Выбор_компьютера(Покупатель, Компьютер, Магазин) = ЛОЖЬ )
ТО ВЫПОЛНИТЬ СЛЕДУЮЩИЕ ОПЕРАЦИИ:
Магазин.Тип_компьютера := домашний компьютер
Магазин.Цена := 1000
Покупатель.Сумма := Покупатель.Сумма - 500
Правильное_предпочтение(Покупатель, Компьютер) := ИСТИНА
ДОПОЛНИТЕЛЬНАЯ ИНФОРМАЦИЯ О ПРАВИЛЕ:
Приоритет: 0
Локальные переменные: Кредит_банка
Заключение: Для покупателя предпочтительна средняя модель
B) Вспомогательные правила - отсутствуют
ПРИМЕРЫ АНАЛИЗА РАЗЛИЧНЫХ СИТУАЦИЙ
Ситуация №1
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := false
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := Значение неизвестно
Магазин.Цена := Значение неизвестно
Правильное_предпочтение(Покупатель, Компьютер) := false
**********************************
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение -- Значение неважно
Покупатель.Сумма -- Значение неважно
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) = true
Достаточное_количество_денег(Покупатель) -- Значение неважно
Компьютер.Видеокарта -- Значение неважно
Компьютер.Жесткий_диск -- Значение неважно
Компьютер.Монитор -- Значение неважно
Компьютер.Привод -- Значение неважно
Компьютер.Процессор -- Значение неважно
Компьютер.Тип -- Значение неважно
Магазин.Тип_компьютера -- Значение неважно
Магазин.Цена -- Значение неважно
Правильное_предпочтение(Покупатель, Компьютер) -- Значение неважно
********************************
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
ПРИМЕНЯЕМ Правило-Действие: "Недостаточное_количество_денег_у_покупателя":
Недостаточное количество денег у покупателя для покупки компьютера
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1500
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := false
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := Значение неизвестно
Магазин.Цена := Значение неизвестно
Правильное_предпочтение(Покупатель, Компьютер) := false
*************************************************
ПРИМЕНЯЕМ Правило-Действие: "Достаточное_количество_денег_у_покупателя":
Достаточное количество денег у покупателя для покупки компьютера
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1500
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := true
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := Значение неизвестно
Магазин.Цена := Значение неизвестно
Правильное_предпочтение(Покупатель, Компьютер) := false
*************************************************
ПРИМЕНЯЕМ Правило-Действие: "Бюджетная_модель_предпочтительна_для_покупателя":
Для покупателя предпочтительна бюджетная модель
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1000
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := true
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := 'офисный компьютер'
Магазин.Цена := 500
Правильное_предпочтение(Покупатель, Компьютер) := true
*************************************************
ПРИМЕНЯЕМ Правило-Действие: "Компьютер_для_бюджетной_модели":
Выбор компьютера для бюджетной модели
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1000
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := true
Достаточное_количество_денег(Покупатель) := true
Компьютер.Видеокарта := 'Radeon 9200'
Компьютер.Жесткий_диск := '40 Гбайт'
Компьютер.Монитор := 'ЭЛТ 15"'
Компьютер.Привод := 'CD-ROM'
Компьютер.Процессор := 'Intel Celeron 1,6'
Компьютер.Тип := 'маломощный'
Магазин.Тип_компьютера := 'офисный компьютер'
Магазин.Цена := 500
Правильное_предпочтение(Покупатель, Компьютер) := true
*************************************************
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Бюджетная модель'
Покупатель.Сумма := 1000
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := true
Достаточное_количество_денег(Покупатель) := true
Компьютер.Видеокарта := 'Radeon 9200'
Компьютер.Жесткий_диск := '40 Гбайт'
Компьютер.Монитор := 'ЭЛТ 15"'
Компьютер.Привод := 'CD-ROM'
Компьютер.Процессор := 'Intel Celeron 1,6'
Компьютер.Тип := 'маломощный'
Магазин.Тип_компьютера := 'офисный компьютер'
Магазин.Цена := 500
Правильное_предпочтение(Покупатель, Компьютер) := true
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 16 мс
Ц Е Л Е В А Я С И Т У А Ц И Я Д О С Т И Г Н У Т А.
===== Параметры УЧЕТА =====
Видеокарта.Объем_видеопамяти := 128
Жесткий_диск.Объем_жесткого_диска := 40
Материнская_плата.Частота_системной_шины := 400
Монитор.Разрешение_экрана := '1024х768'
Память.Объем_памяти := 128
Привод.Тип_привода := 'CD-ROM/DVD-ROM'
Процессор.Тактовая_частота := 2200
===== Параметры АНАЛИЗА =====
Достаточный_объем(Видеокарта) := true
Достаточный_объем(Жесткий_диск) := true
Качественная(Материнская_плата) := true
Качественный(Монитор) := true
Качественный(Процессор) := true
Компьютер.Требования := 'Проведена успешная модернизация компьютера'
Модернизация(Компьютер) := true
Производительная(Память) := true
Универсальный(Привод) := true
П Р О Ц Е С С П О И С К А Р Е Ш Е Н И Я З А К О Н Ч Е Н.
Время работы = 401 мс
Ситуация №2
*** Описание исходной ситуации ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Средняя модель'
Покупатель.Сумма := 100
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := false
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := Значение неизвестно
Магазин.Цена := Значение неизвестно
Правильное_предпочтение(Покупатель, Компьютер) := false
**********************************
*** Шаблон целевой ситуации ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение -- Значение неважно
Покупатель.Сумма -- Значение неважно
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) = true
Достаточное_количество_денег(Покупатель) -- Значение неважно
Компьютер.Видеокарта -- Значение неважно
Компьютер.Жесткий_диск -- Значение неважно
Компьютер.Монитор -- Значение неважно
Компьютер.Привод -- Значение неважно
Компьютер.Процессор -- Значение неважно
Компьютер.Тип -- Значение неважно
Магазин.Тип_компьютера -- Значение неважно
Магазин.Цена -- Значение неважно
Правильное_предпочтение(Покупатель, Компьютер) -- Значение неважно
********************************
НАЧИНАЕМ ПРОЦЕСС ЛОГИЧЕСКОГО ВЫВОДА
ПРИМЕНЯЕМ Правило-Действие: "Недостаточное_количество_денег_у_покупателя":
Недостаточное количество денег у покупателя для покупки компьютера
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Средняя модель'
Покупатель.Сумма := 1500
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := false
Компьютер.Видеокарта := Значение неизвестно
Компьютер.Жесткий_диск := Значение неизвестно
Компьютер.Монитор := Значение неизвестно
Компьютер.Привод := Значение неизвестно
Компьютер.Процессор := Значение неизвестно
Компьютер.Тип := Значение неизвестно
Магазин.Тип_компьютера := Значение неизвестно
Магазин.Цена := Значение неизвестно
Правильное_предпочтение(Покупатель, Компьютер) := false
*************************************************
ПРИМЕНЯЕМ Правило-Действие: "Достаточное_количество_денег_у_покупателя":
Достаточное количество денег у покупателя для покупки компьютера
*** После применения правила имеем ситуацию ***
===== Параметры УЧЕТА =====
Покупатель.Предпочтение := 'Средняя модель'
Покупатель.Сумма := 1500
===== Параметры АНАЛИЗА =====
Выбор_компьютера(Покупатель, Компьютер, Магазин) := false
Достаточное_количество_денег(Покупатель) := true