Южно-Уральский профессиональный институт
Контрольная работа по дисциплине
«Системы искусственного интеллекта»
Вариант 10
Выполнил: студент гр. ПСЗ-1-10 Шукман А.В.
Проверил: преподаватель
«» _________ 2013
Челябинск
ЗАДАНИЕ №1.
МОДЕЛЬ ПРЕДМЕТНОЙ ОБЛАСТИ
Авторизация на WEB сервере
Предметная область - Web-сервер со страницей авторизации пользователей: человек, страница доступа к панели авторизации, запрос авторизации, база данных пользователей, результат авторизации.
Задача: построить программу для того, чтобы человек (Ч), открыл страницу доступа к панели авторизации (СД), ввел запрос на авторизацию (ЗА) к базе данных пользователей (БД), выбрал способ авторизации(С) и система выдала ему результат авторизации (РА) на странице доступа (СД).
Множество объектов:
Х = <Ч, СД, ЗА, С, БД, РА>
Множество элементарных действий:
G =<g1- открыть, g2 - ввести, g3 - выбрать, g4 - выдать>
Множество свойств:
C = <КООРДИНАТА (a, b)>
Множество отношений:
R = <ОТКРЫТ, , ВВЕДЕН, , ВЫБРАН, , ВЫДАН, >
ОТКРЫТ (Ч, СД) - человек открыл страницу доступа к панели авторизации;
ВВЕДЕН (ЗА, БД) - введен запрос к базе данных пользователей;
ВЫБРАН (С, БД) – выбран способ авторизации в настройках доступа панели авторизации.
ВЫДАН (РА, СД) – просмотрен результат авторизации в интерфейсе панели авторизации;
Состояния:
S(t) = (К(Ч), К(СД), Φ, Θ, Ψ, Ω)
Φ = Θ =
Ψ = Ω =
Начальное состояние: SН = <a, b, 0, 0, 0, 0> - а – координаты человека, b – координаты страницы с панелью авторизации.
Целевое состояние: SЦ = <b, b, 1, 1, 1, 1>, т.е. координаты человека и страницы с панелью авторизации совпадают, панель авторизации открыта, запрос на авторизацию создан, способ авторизации выбран, результат авторизации выдан.
Правила:
(b, b, 0, 0, 0, 0) à g1 à (b, b, 1, 0, 0, 0) - открыть страницу с панелью авторизации;
(b, b, 1, 0, 0, 0) à g2 à (b, b, 1,1, 0, 0) - создать запрос к базе данных пользователей;
(b, b, 1, 1, 0, 0) à g3 à (b, b, 1, 1, 1, 0) - выбрать способ авторизации;
(b, b, 1, 1, 1, 0) à g4 à (b, b, 1, 1, 1, 1) - выдать результат авторизации.
ЗАДАНИЕ №2
Продукционная модель предметной области
Рабочая база данных (РБД)
В РБД содержаться следующие факты:
F1: НО (Ч,СД) – человек не открыл страницу с панелью авторизации;
F2: О (Ч,СД) – человек открыл страницу с панелью авторизации;
F3: НСЗ (ЗА,БД) - не создан запрос к базе данных пользователей;
F4: СЗ (ЗА,БД) – создан запрос к базе данных пользователей;
F5: НВ (С, СД) - не выбран способ авторизации в настройках доступа панели авторизации;
F6: В (С,СД) - выбран способ авторизации в настройках доступа панели авторизации;
F7: НВД (РА, СД) - не выдан результат авторизации в интерфейсе панели авторизации;
F8: ВД (РП,ТД) - выдан результат авторизации в интерфейсе панели авторизации;
База знаний
П1:
ЕСЛИ (Ч (НО) Ù ЗА (НСЗ) Ù С (НВ) Ù РА (НВД))
ТО (ОТКРЫТЬ (Ч, СД) Ù ИСКЛЮЧИТЬ Ч(НО) Ù ДОБАВИТЬ Ч (О))
П2:
ЕСЛИ (Ч (О) Ù ЗА (НСЗ) Ù С (НВ) Ù РА (НВД))
ТО (СОЗДАТЬ (ЗА,БД) Ù ИСКЛЮЧИТЬ ЗА(НСЗ) Ù ДОБАВИТЬ ЗА (СЗ))
П3:
ЕСЛИ (Ч (О) Ù ЗА (СЗ) Ù С (НВ) Ù РА (НВД))
ТО (ВЫБРАТЬ(С,СД) Ù ИСКЛЮЧИТЬ С(НВ) Ù ДОБАВИТЬ С(В))
П4:
ЕСЛИ (Ч (О) Ù ЗА (СЗ) Ù С (В) Ù РА (НВД))
ТО (ВЫДАТЬ(РА,СД) Ù ИСКЛЮЧИТЬ РА(НВД) Ù ДОБАВИТЬ РА(ВД))
ЗАДАНИЕ №3
Исчисление высказываний
Высказывания:
A – Человек открыл страницу с панелью авторизации;
B – создан запрос к базе данных пользователей;
C – выбран способ авторизации в настройках доступа;
D – выдан результат авторизации;
Построим фрагмент предметной области на языке исчисления высказываний:
D ® B - Если выдан результат авторизации, то сделан запрос к базе данных;
® - Если не выбран способ авторизации, то не выдан результат авторизации;
D ® (A Ù B) - Если выдан результат авторизации, то человек открыл страницу с панелью авторизации и создал запрос к базе.
Докажем методом опровержения, что следующая формула выводима:
( Ù ) ® - если запрос не создан и не выбран способ авторизации, то результат авторизации не выдан.
При этом вышеописанные формулы образуют выражение логического вывода в виде:
(D ® B) Ù ( ® ) Ù (D ® (A Ù B)) Ù ≡ Л
Приведем к конъюнктивно-нормальной форме:
D ® B = B
® = C
D ® (A Ù B) = ( A) Ù ( B)
= Ù Ù D
Получили:
( B) Ù (C ) Ù ( A) Ù ( B) Ù Ù Ù D ≡ Л
Запишем систему элементарных дизъюнктов:
1. B
2. C
3. A
4. B
5.
6.
7. D
Резольвенты:
8. (5, 2):
9. (7, 8): □ – получили пустой дизъюнкт.
Таким образом, выводимость данной формулы доказана. Высказывание верно.
ЗАДАНИЕ №4
Исчисление предикатов
Индивидуальные константы
· человек (Ч);
· страница доступа (СД);
· запрос к базе (ЗА);
· база данных поисковой системы (БД);
· результат авторизации(РА);
· т. а – местоположение панели доступа.