- •Методичні матеріали
- •6.080.400 “Інтелектуальні системи прийняття рішень”)
- •Питання, що виносяться на екзамен з дисципліни.
- •Приклади типових завдань, що виносяться на іспит.
- •2.1. Способи опису семантичних мереж і логічний висновок:
- •Навчальна карта самостійної роботи студентів.
- •Порядок поточного і підсумкового оцінювання знань з дисципліни.
- •Особливості поточного контролю знань студентів заочної форми навчання.
- •Зразок екзаменаційного білета.
- •Список рекомендованої літератури. Основна література
- •Додаткова література
- •23. Машинне навчання.
- •26. Числення предикатів.
- •28. Семантичні мережі.
-
Приклади типових завдань, що виносяться на іспит.
2.1. Способи опису семантичних мереж і логічний висновок:

DOMAINS
name,name2, addr1,addr2=string
Facts - general
child(name,addr1,addr2)
Predicates
female(name)
male(name)
douthers()
sons()
mothers()
fathers()
grand_fath_m()
grand_fath_f()
grand_moth_m()
grand_moth_f()
married(name,name2)
parents()
aunt_fath()
aunt_moth()
uncle_fath()
uncle_moth()
sp()
CLAUSES
female("Елена Афонасьева").
female("Ольга Афонасьева").
female("Нелия Касаева").
……………..
male("Никита Кирпа").
male("Андрей Кирпа").
male("Алексей Кирпа").
…………..
child("Веталий Кирпа","Арсентий Кирпа","Чуб Евдокия").
child("Геннадий Кирпа","Арсентий Кирпа","Чуб Евдокия").
married("Елена Афонасьева","Геннадий Кирпа").
……………………..
fathers():-
child(Name, Name1, Name2),
Y=Name1,male(Y),
write ("Father=", Name1, ",child=", Name, "\n"), fail.
grand_fath_f():-
child(Name, Name1, Name2), X=Name1,child(X, Name11,Name12),Y=Name11,male(Y),
write ("Grandfather_by_father_line=",Name11 ,", Per=", Name , "\n"), fail.
grand_fath_m():-
child(Name, Name1, Name2), X=Name2,child(X, Name11,Name12),Y=Name11,male(Y),
write ("Grandfather_by_mother_line=",Name11 , ", Per=", Name , "\n"), fail.
grand_moth_f():-
………………………………..
goal
grand_fath_f();
grand_fath_m();
sp();
aunt_moth();
uncle_fath();
sp().
-
Навчальна карта самостійної роботи студентів.
з дисципліни «Системи штучного інтелекту (бази знань, експертні системи)» для студентів-бакалаврів спеціальності 6.080.400
|
Види самостійної роботи |
Планові терміни виконання |
Форми контролю та звітності |
Максимальна кількість балів |
|
Денна форма навчання |
|||
|
1. Обов’язкові |
|||
|
Виконання лабораторної роботи №1 |
Відповідно до робочої навчальної програми |
Активна участь в семінарських (практичних) заняттях |
10 балів |
|
Виконання лабораторної роботи №2 |
Відповідно до робочої навчальної програми |
Активна участь в семінарських (практичних) заняттях |
10 балів |
|
Виконання лабораторної роботи №3 |
Відповідно до робочої навчальної програми |
Активна участь в семінарських (практичних) заняттях |
10 балів |
|
Виконання лабораторної роботи №4 |
Відповідно до робочої навчальної програми |
Захист лабораторної роботи №2 на ПЕОМ
|
10 балів |
|
Разом бал за обов’язкові види СРС - 40 |
|||
|
2. Вибіркові |
|||
|
Підготовка до наукових студентських конференцій |
Відповідно до робочої навчальної програми |
Виступ з доповіддю з питань створення, використання, перспектив розвитку інформаційних технологій в сфері ШІ |
10 балів |
|
Разом бал за вибіркові види СРС - 10 |
|||
|
Всього максимальна кількість балів за СРС - 50 |
|||
|
Заочна форма навчання |
|||
|
1. Обов’язкові |
|||
|
Підготовка до практичних, (№1) занять |
Відповідно до робочої навчальної програми |
Виконання контрольної роботи |
20 балів |
|
Виконання модульної роботи №1 (Вибірково)
|
Відповідно до робочої навчальної програми |
Активна участь в семінарських (практичних) заняттях |
10 балів |
|
Разом максимальний бал за обов’язкові види СРС - 20 |
|||
