Системы искусственного интеллекта (С.Н. Павлов, 2002 г., 93 с.)

Лабораторная работа №1
Задание №1
Для его выполнения необходимо использовать кванторы ∀ и ∃ и операции математической логики: ∼,∨,∧,⊃ и перевести предложения с русского на язык предикатов.

Варианты задания 1
Вариант 1:
Для всякого х неверно А(х).
Никто не есть А.

Вариант 2:
Не при всяком х (верно) А(х).
Для некоторых х не (верно) А(х).

Вариант 3:
Все суть S или P .
Нет никакого х, такого, что А(х).

Вариант 4:
Все суть S или все суть Р.
А(х) не выполняются ни для каких х.

Вариант 5:
А не всегда верно.
Нет х, такого, что А(х).

Вариант 6:
Если S, то для некоторых х(верно) Р(х).
А(х) всегда ложно.

Вариант 7:
А(х) оказывается истинным не для всех х.
Никто не есть А.

Вариант 8:
Все суть S или все суть Р.
Что-то не обладает свойством А.

Вариант 9:
Если S, то для некоторого х (верно) Р(х).
Не все обладают свойством А.

Вариант 10:
А(х) всегда ложно.
Нечто есть S и Р.

Задание №2
Для выполнения необходимо из системы продукций выбрать цель, т.е. одно утверждение, состоящее в правой части, и построить цепочки вывода для прямой и обратной цепочек рассуждений.

Варианты задания 2
База данных: A, C, D, E, G, H, K, L, M, J.

База правил:
K ∧ L ∧ M → I
I ∧ L ∧ J → Q
C ∧ D ∧ E → B
A ∧ B → Q
L ∧ N ∧ O ∧ P → Q
C ∧ H → R
R ∧ J ∧ M → S
F ∧ H → B
K → P
G → F
I → H
B ∧ Q → O
L → G

1. I O
2. Q H
3. B F
4. R P
5. S B
6. B S
7. P R
8. F B
9. H Q
10. O I

Лабораторная работа №2
Методические указания
Задание №1
Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.

Варианты задания 1
Вариант 1:
Если 9 марта будет тепло, то Джон поедет в Сан-франциско или в ЛасВегас. Кейт поедет туда же, куда и Джон. Если Мери поедет в Лас-Вегас, то и Джон поедет в Лас-Вегас. Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско. Если 8 марта будет холодно, то 9 марта будет тепло. Если 8 марта будет холодно, то Мери не поедет в Лас-Вегас. 8 марта будет холодно.
Вопрос: поедет ли Кейт в Сан-Франциско?

Вариант 2:
Никакой сладкоежка не откажется от вкусного торта. Некоторые люди, которые отказываются от вкусного торта, не любят сладкого. Справедливо ли утверждение: некоторые люди, не любящие сладкого, не являются сладкоежками.

Вариант 3:
Шар 2 находится всегда в том месте, где находится шар 1. Шар 3 находится в месте А. Если шар 3 находится в месте А, то шар 1 находится в месте В. Где находится шар 2?

Вариант 4:
Если спрос больше предложения, то цена на данный товар возрастет.
Когда цена растет и на данный товар есть заменители, покупатели берут товары-заменители. Когда покупатели берут товары-заменители, спрос на данный товар падает. Спрос больше предложения. Для данного товара есть товары-заменители.
Вопрос: упадет ли спрос на товар?

Вариант 5:
Если команда А выигрывает в футбол, то город А’ торжествует, а если выигрывает команда В, то торжествовать будет город В’. Выигрывает или А или В. Однако, если выигрывает А, то город В’ не торжествует, а если выигрывает В, то не будет торжествовать город А’. Следовательно, город В’ будет торжествовать тогда и только тогда, когда не будет торжествовать город А’.

Вариант 6:
Любой студент хочет закончить институт. Некоторые студенты обладают особыми способностями.
Доказать следующее утверждение: студенты, обладающие особыми способностями, хотят закончить институт.

Вариант 7:
Сегодня тучи. Если сегодня тучи, то будет дождь. Если будет дождь, то вырастут грибы.
Доказать следующее утверждение: вырастут грибы.

Вариант 8:
Если не работает лифт, я пойду по лестнице пешком. Лифт не работает. Если я пойду пешком по лестнице, то я не куплю стол. Доказать следующее утвердение: Не куплю ли я стол?

Вариант 9:
Если некто бизнесмен, то он любит считать деньги. Если он любит считать деньги, то деньги у него есть. Олег мужчина. Если он мужчина, то у него черная машина. Если у него есть деньги, то у него дорогая машина. Олег бизнесмен. Если дорогая машина, то Феррари. Если он выберет черную машину, то это будет или Феррари, или Волга.
Доказать следующее утверждение: у Олега черная Феррари.

Вариант 10:
Все первокурсники встречаются со всеми второкурсниками. Ни один первокурсник не встречается ни с одним студентом предпоследнего курса. Существуют первокурсники. Следовательно, ни один второкурсник не является студентом предпоследнего курса.

Задание 2.
Методические указания
Для его выполнения необходимо рассчитать коэффициент уверенности (КУ) условия, задать КУ всего правила и подсчитать КУ заключения.

Варианты задания 2
Вариант 1:
Если А (КУ=0.1) и В (КУ=0.5), то С (КУ=0.6).
Если А (КУ=0.3) или В (КУ=0.4), то С (КУ=0.7).
Если А=(КУ=0.5) или В (КУ=0.6), то D (КУ=0.7).

Вариант 2:
Если А (КУ=0.6) или В (КУ=0.3), то С (КУ=0.8).

Вариант 3:
Если А (КУ=0.3) и В (КУ=0.4) и С (КУ=0.5), то С (КУ=0.7).

Вариант 4:
Если А (КУ=0.3) или В (КУ=0.5), то С (КУ=0.6).

Вариант 5:
Если А (КУ=0.5) и В (КУ=0.6), то С (КУ=0.8).

Вариант 6:
Если А (КУ=0.3) или В (КУ=0.4), то С (КУ=0.9).

Вариант 7:
Если В(КУ=0.5) или F(КУ=0.3), то С(КУ=0.9).

Вариант 8:
Если А (КУ=0.3) и В(КУ=0.3) или Р(КУ=0.5), то С (КУ=0.7).

Вариант 9:
Если А (КУ=0.3) и В (КУ=0.7), то С (КУ=1).

Вариант 10:
Если А (КУ=0.3) или В (КУ=0.4) и D(КУ=0.5) или E(КУ=0.4), то С=0.6).

Задание №3
Варианты задания 1-3:
U=V={1,2,3,4}

F(⊂U) маленькие 1/1 + 0.6/0.2 + 0.1/3 + 0/4
G(⊂V) большие 0/1 + 0.1/2 + 0.6/3 + 1/4
Задав F′, определить ν при условии:

Вариант 1:
Если u маленькое, то ν большое;
u около 3.

Вариант 2:
Если u маленькое, то ν большое;
u около 2.

Вариант 3:
Если u маленькое, то V большое;
u около 4.

Варианты задания 4-5:
U=V={10,20,30,40,50}
F(⊂U) маленькие 1/10+0.8/20+0.3/30
G(⊂V) большие 0.5/30 + 1/40 + 0.5/30
Задав F′, определить ν при условии:

Вариант 4:
Если u маленькое, то ν большое;
u около 10.

Вариант 5:
Если u маленькое, то ν большое;
u около 20.

Варианты задания 6-8:
U=V={30,40,50,60}
F(⊂U) средний 0.5/30 + 1/40 + 0.5/50
G(⊂V) старый 0.4/50 + 0.8/60
Задав F′, определить ν при условии:

Вариант 6:
Если u средний, то ν старый;
u около 30.

Вариант 7:
Если u средний, то ν старый;
u около 40.

Вариант 8:
Если u средний, то ν старый;
u около 50.

Варианты задания 9-10:
U=V={5,10,15,20}
F(⊂U) средние 0.1/5 + 0.3/10 + 1/15 + 0/20
G(⊂V) большие 0.8/15 + 1/20 + 0/10 + 0/5
Задав F′, определить ν при условии:

Вариант 9:
Если u средние, то ν большие;
u около 15.

Вариант 10:
Если u средние, то ν большие;
u около 10.

Контрольная работа
Методические указания для проведения контрольной работы по дисциплине 'Системы искусственного интеллекта'
Цель: Освоить технологию разработки экспертных систем с помощью программы «эксперт», приобрести опыт использования коэффициентов доверия и байесовских правил при решении задач.
Методика выполнения
Для выполнения работы необходимо выполнить следующее:
1) составить и ввести базу знаний:
a) выбрать предметную область (ПО);
b) определить цели в выбранной ПО - вопросы на которые должна будет отвечать экспертная система;
c) выбрать тип используемой нечеткой логики, если номер вашей зачетной книжки четный, то используйте логику на основе коэффициентов уверенности и при записи базы знаний задайте коэффициенты уверенности фактов и правил, если нет – логику на основе вероятностей. Необходимые вероятности будут запрошены у пользователя в ходе работы программы;
d) записать правила и факты, позволяющие экспертной системе отвечать на определенные вопросы, в файл с именем rules.txt;
2) используя программу 'эксперт', проверить составленную базу знаний.





ОТПРАВИТЬ ЗАЯВКУ
(уточните наименование работ: ТКР, ЛР, ККР, КП, ЭКЗ,
2 последние цифры пароля
к какому числу нужно выполнить работы)

Имя

Email



© 2009-2024 TusurBiz