Лабораторная работа №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 г.