Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

Лабораторная работа №1

Построение модели предметной области методом исчисления высказываний.

Определяем количество объектов и свойств.

Создадим таблицу обозначений высказываний.

1.

2.

3.

4.

Преобразуем формулы:

1.

2.

3.

4.

Докажем выводимость следующей формулы:

Для доказательства выводимости формулы используем метод резолюций:

5.

F1:

F2:

F3:

F4:

F5:

F6:

F7 : (F3, F4) :

F8: (F5, F7) : [ _] Формула выводима

Лабораторная работа №2

Построение модели предметной области методом исчисления предикатов.

Функциональные переменные:

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 г.

Характеристики

Тип файла документ

Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.

Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.

Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.

Список файлов лабораторной работы