Покупка_компьютера (Лаба и контрольная на тему покупки компьютера)
Описание файла
Файл "Покупка_компьютера" внутри архива находится в следующих папках: Лаба и контрольная на тему покупки компьютера, Для Купцова. Документ из архива "Лаба и контрольная на тему покупки компьютера", который расположен в категории "". Всё это находится в предмете "вычислительная техника" из 6 семестр, которые можно найти в файловом архиве РТУ МИРЭА. Не смотря на прямую связь этого архива с РТУ МИРЭА, его также можно найти и в других разделах. Архив можно найти в разделе "лабораторные работы", в предмете "вычислительная техника" в общих файлах.
Онлайн просмотр документа "Покупка_компьютера"
Текст из документа "Покупка_компьютера"
Лабораторная работа №1
Построение модели предметной области методом исчисления высказываний.
Определяем количество объектов и свойств.
| Объeкты | Свойства |
| Магазин | Цена Наличие Продажа |
| Компьютер | Тип |
| Покупатель | Сумма |
Создадим таблицу обозначений высказываний.
| Высказывание | Обозначение |
| У магазина высокая цена покупки компьютера | A |
| В магазине большое количество компьютеров | B |
| Офисный компьютер | C |
| У покупателя большая сумма | D |
| Продажа компьютеров целиком | E |
1. 
2. 
3. 
4. 
Преобразуем формулы:
1. 
2. 
3. 
4. 
Докажем выводимость следующей формулы: 
Для доказательства выводимости формулы используем метод резолюций:
5. 
F1: 
F2: 
F3: 
F4: 
F5: 
F6: 
F7
: (F3, F4) : 
F8: (F5, F7) : [
_] Формула выводима
Лабораторная работа №2
Построение модели предметной области методом исчисления предикатов.
| Предикат | Обозначение |
| Высокая(Магазин, Цена) | A(m, c) |
| Большое(Магазин, Количество) | B(m, k) |
| Офисный(Компьютер, Тип) | C(km, t) |
| Большая(Покупатель, Сумма) | D(p, s) |
| Целиком(Магазин, Продажа) | E(m, pr) |
Функциональные переменные:
m, c, k, km, t, p, s, pr;
Константы и функции отстутствуют.
Система формул:
1. 
2. 
3. 
4. 
Проверим на выводимость формулу: 
Применяем метод резолюций:
Преобразуем формулы:
1. 
2. 
3. 
4. 
Подстановка переменных
m=m1; c=c1;
k=k1; km=km1;
t=t1; od=od1;
p=p1; s=s1;
1. 
2. 
3. 
4. 
5. 
6. 
7
.(1,2) : 
8. (6, 7) [_] = Формула выводима.
Error: Reference source not found 
Лабораторная работа №3
Построение семантической сети
Error: Reference source not found
Pred
1
Pred
Pred
1
Pred
1
1
2
2
2
3
2
1
3
2
Pred
Р1 – Магазин продает компьютеры в сборке
Р2 – Покупатель покупает в магазине компьютер
Р3 – В магазине складируются компьютеры
Р4 - Покупатель нуждается в компьютере
Р5 – Магазин предлагает покупателям компьютеры
Лабораторная работа №4
Построение фреймовой модели
Error: Reference source not found
F1 Компьютер
Тип
Процессор
Жесткий диск
Видеокарта
Привод
Монитор
F5
Магазин
Компьютеры
Цена
Наличие
Покупатели
F6
F1
F2
F7
F3
F7
F8
F4
F9
F4 Покупатель
Сумма
Предпочтение
F10
F11
Лабораторная работа №4
Построение фреймовой модели
F2 F3
F1 F4
F1: Отправляется F2: Достаток F3: Выбрать
Субъект ПОКУПАТЕЛЬ
Объект МАГАЗИН
Условие Не пошел(Покупатель, Магазин)
Следовать F2
Субъект МАГАЗИН
Объект КОМПЬЮТЕР
Условие Не достаточное количество (Магазин, Компьютер)
Следовать F3
Субъект ПОКУПАТЕЛЬ
Объект КОМПЬЮТЕР
Условие Невыбран (Покупатель,
Компьютер)
Следовать F4
F4: Покупает
Субъект ПОКУПАТЕЛЬ
Объект КОМПЬЮТЕР
Условие Некуплен (Покупатель, Компьютер )
МОСКОВСКИЙ ИНСТИТУТ РАДИОТЕХНИКИ, ЭЛЕКТРОНИКИ И АВТОМАТИКИ
(ТЕХНИЧЕСКИЙ УНИВЕРСИТЕТ)
Контрольная работа
по дисциплине:
"Системы Искусственного Интеллекта"
Тема: "Решение проблем покупки компьютера"
Выполнил
Студент: Купцов Г.Г.
Группа: ВТ-2-99
.
Москва 2004 г.
