Національний університет Львівська політехніка

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ Протокол № 1 від 28.08.11

Білет №1
1. Предмет ШІ. Сфери застосування СШІ.
2. Вербально-дедуктивний підхід до подання знань в СШІ.
3. Семантичні мережі. Тріади і подання знань в семантичних мережах.
4. Фатичний діалог.
5. Проблема винятків.
6. Модальні логіки.
7. Записати таблицю істинності для диз’юнкції в логіці Лукасевича.
8. Основні принципи роботи з неточними твердженнями в СШІ.
9. Дати інтерпретацію елементів матриці виграшів (ризиків).
10. Поняття нечіткої множини. Використання для формулювання баз знань СШІ.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №2
1. Знання і підходи до їх подання.
2. Фреймові моделі
3. Використання математичної логіки до подання знань і доведення тверджень
4.Екстенсіональна і інтенсіональна частини баз знань.
5.Експертні системи і їх використання.
6. Алетичні логіки і їх використання в СШІ.
7. Реалізація кон’юнкції за допомогою модельного нейрона
8. Основні аксіоми логіки знання.
9. Міри неточності складного твердження
10. Функція належності до нечіткої множини.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №3
1. Бази знань інтелектуальних систем
2. Логіка предикатів в СШІ
3. Основні задачі СШІ
4. Трирівнева архітектура семантичних мереж
5.Концептуальний граф
6. Виведення при заданні нечітких продукційних правил
7. Записати таблицю істинності для кон’юнкції в логіці Лукасевича.
8. Наведіть основні аксіоми логіки знання.
9. Як задається міра неточності висновку, якщо відомі міра неточності умови і правила виведення
10. Методи оцінки ризиків.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №4
1. Кон’юнктивні та диз’юнктивні нормальні форми і їх використання в логічних виведеннях
2.Фрейми та слоти.
3. Зв’язки між інформаційними одиницями. Узагальнення та агрегація
4.Бінарні предикати і тріада.
5.Алгоритми і квазіалгоритми.
6. Основні операції над нечіткими множинами.
7. Що таке повна група подій.
8. Функція комбіування свідоцтв.
9. Прийняття рішення за умов невизначеності.
10. Назвіть приклади використання нейронів.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №5
1.Чи можна дати повне визначення інтелекту і, зокрема ШІ.
2.Квантори існування і узагальнення. Їх використання в логічних системах подання знань
3.Яка потреба в інтелектуалізації комп’ютерних технологій.
4.Константи і функції Сколема.
5.Дані та знання.
6. Встановлення інтервалу невизначеності висновку за відомим коефіцієнтом упевненості продукцій­ного правила і передумови
7. Означення рівності, включення, перетину і об’єднання нечітких множин
8. Охарактеризуйте тризначну логіку Лукасевича.
9. Основи теорії можливостей
10. Приклади використання нейронів

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №6
1.Зв’язки інформаційними одиницями типу “Has_Part” і “Is_Part”.
2.Моделі знань в СШІ.
3.Фразова форма запису логічних формул.
4.Фрази Хорна.
5.Фрейми і подання знань в СШІ.
6. Таблиця істинності заперечення у логіці Лукасевича.
7. Логіка знання. Основні аксіоми.
8. Поняття про неточне логічне виведення.
9. Основні аксіоми логіки знання
10. Оцінка ризику прийняття рішення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №7
1.Усунення імплікацій і тотожностей за допомогою тотожних перетворень. Використання для автоматизації виведення теорем.
2.Що таке псевдофізичні логіки. Їх використання в СШІ
3.Демони і їх значення у фреймових моделях подання знань.
4.Покажіть зв’язок між бінарним фактом, тріадою і елементами концептуального графу.
5.Наведіть приклад використання предикатів для формування бази знань.
6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину
7. Квантори модальних логік.
8. Епістемічні логіки. Основні аксіоми.
9. Реалізувати диз’юнкцію за допомогою модельного нейрона.
10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №8
1. Інтерпретація формул в логіці першого порядку.
2.Позитивні і негативні атомарні формули. Фразова форма логіки предикатів.
3.Подання знань в СШІ
4.Наведіть приклад семантичної мережі.
5.Фрейми і екземпляри фреймів.
6. Дати означення нечіткої множини.
7. Інтерпретація коефіцієнтів матриці ризику.
8. Міра неточності складного твердження.
9. Твердження у логіці Лукасевича.
10. Квантори можливості та необхідності.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №9
1.Усунення кванторів існування і узагальнення. Як ця процедура використовується в СШІ
2.Фрази Хорна. Правила де Моргана.
3.Основні правила виведення в логіці предикатів.
4.Що таке штучний інтелект?.
5.Назвіть приклади де СШІ продуктивніші за природній інтелект.
6. Основи теорії можливостей.
7. Використання основних понять теорії ймовірностей при неточному виведенні.
8. Основні властивості функції належності нечіткої множини.
9. Нечітке логічне виведення.
10. Записати таблицю істинності Лукасевича для заперечення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №10
1. Фатичний діалог
2. Вербально-дедуктивний підхід до подання знань в СШІ.
3. Семантичні мережі. Тріади і подання знань в семантичних мережах.
4. Предмет ШІ. Сфери застосування СШІ..
5. Проблема винятків.
6. Алетичні та епістемічні логіки.
7. Запишіть твердження «Якщо F є необхідним, то його заперечення є неможливим»
8. Запишіть таблицю істинності для диз’юнкції у логіці Лукасевича.
9. Дайте означення повної групи подій.
10. Запишіть аксіоми логіки знання.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №11
1. Експертні системи і їх використання.
2. Фреймові моделі
3. Знання і підходи до їх подання.
4. Використання математичної логіки до подання знань і доведення тверджень
5. Екстенсіональна і інтенсіональна частини баз знань.
6. Модальні квантори необхідності та можливості.
7. Записати таблицю істинності для диз’юнкції в логіці Лукасевича.
8. Основні принципи роботи з неточними твердженнями в СШІ.
9. Дати інтерпретацію елементів матриці виграшів (ризиків).
10. Поняття нечіткої множини. Використання для формулювання баз знань СШІ.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №12
1. Логіка предикатів в СШІ
2. Основні задачі СШІ
3. Бази знань інтелектуальних систем
4. Концептуальний граф
5. Трирівнева архітектура семантичних мереж
6. Алетичні логіки і їх використання в СШІ.
7. Реалізувати заперечення за допомогою модельного нейрона.
8. Основні аксіоми логіки знання.
9. Міри неточності складного твердження
10. Функція належності до нечіткої множини.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №13
1. Фрейми та слоти.
2. Кон’юнктивні та диз’юнктивні нормальні форми і їх використання в логічних виведеннях
3. Узагальнення та агрегація. Зв’язки між інформаційними одиницями.
4.Бінарні предикати і тріада.
5.Алгоритми і квазіалгоритми.
6. Виведення при заданні нечітких продукційних правил
7. Записати таблицю істинності для кон’юнкції в логіці Лукасевича.
8. Наведіть основні аксіоми логіки знання.
9. Як задається міра неточності висновку, якщо відомі міра неточності умови і правила виведення
10. Методи оцінки ризиків.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №14
1. Яка потреба в інтелектуалізації комп’ютерних технологій.
2. Дані та знання.
3. Чи можна дати повне визначення інтелекту і, зокрема ШІ.
4.Константи і функції Сколема.
5. Квантори існування і узагальнення. Їх використання в логічних системах подання знань
6. Основні операції над нечіткими множинами.
7. Що таке повна група подій.
8. Функція комбінування свідоцтв.
9. Оцінка прийняття рішення за умов невизначеності.
10. Приклади використання нейронних мереж.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №15
1. Фрази Хорна.
2. Фрейми і подання знань в СШІ.
3.Фразова форма запису логічних формул.
4. Зв’язки інформаційними одиницями типу “Has_Part” і “Is_Part”.
5. Моделі знань в СШІ.
6. Встановлення інтервалу невизначеності висновку за відомим коефіцієнтом упевненості продукцій­ного правила і передумови
7. Означення рівності, включення, перетину і об’єднання нечітких множин
8. Охарактеризуйте тризначну логіку Лукасевича.
9. Основи теорії можливостей
10. Методи оцінки ризиків.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №16
1. Покажіть зв’язок між бінарним фактом, тріадою і елементами концептуального графу.
2. Наведіть приклад використання предикатів для формування бази знань.
3.Демони і їх значення у фреймових моделях подання знань.
4. Усунення імплікацій і тотожностей за допомогою тотожних перетворень. Використання для автоматизації виведення теорем.
5. Що таке псевдофізичні логіки. Їх використання в СШІ
6. Таблиця істинності заперечення у логіці Лукасевича.
7. Логіка знання. Основні аксіоми.
8. Поняття про неточне логічне виведення.
9. Реалізувати заперечення за допомогою модельного нейрона.
10 Оцінка ризику прийняття рішення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №17
1. Подання знань в СШІ
2.Позитивні і негативні атомарні формули. Фразова форма логіки предикатів.
3. Інтерпретація формул в логіці першого порядку.
4.Наведіть приклад семантичної мережі.
5.Фрейми і екземпляри фреймів.
6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину
7. Квантори модальних логік.
8. Епістемічні логіки. Основні аксіоми.
9. Основні поняття теорії можливостей.
10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №18
1. Що таке штучний інтелект?.
2.Фрази Хорна. Правила де Моргана.
3.Основні правила виведення в логіці предикатів.
4. Усунення кванторів існування і узагальнення. Як ця процедура використовується в СШІ
5.Назвіть приклади де СШІ продуктивніші за природній інтелект.
6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину
7. Квантори модальних логік.
8. Епістемічні логіки. Основні аксіоми.
9. Основні поняття теорії можливостей.
10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №19
1. Предмет ШІ. Сфери застосування СШІ.
2. Вербально-дедуктивний підхід до подання знань в СШІ.
3. Семантичні мережі. Тріади і подання знань в семантичних мережах.
4.Фатичний діалог.
5. Проблема винятків.
6. Основи теорії можливостей.
7. Використання основних понять теорії ймовірностей при неточному виведенні.
8. Основні властивості функції належності нечіткої множини.
9. Нечітке логічне виведення.
10. Записати таблицю істинності Лукасевича для заперечення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №20
1. Знання і підходи до їх подання.
2. Фреймові моделі
3. Використання математичної логіки до подання знань і доведення тверджень
4.Екстенсіональна і інтенсіональна частини баз знань.
5.Експертні системи і їх використання.
6. Алетичні та епістемічні логіки.
7. Запишіть твердження «Якщо F є необхідним, то його заперечення є неможливим»
8. Запишіть таблицю істинності для диз’юнкції у логіці Лукасевича.
9. Наведіть приклади нечіткої множини.
10. Запишіть аксіоми логіки знання.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №21
1. Бази знань інтелектуальних систем
2. Логіка предикатів в СШІ
3. Основні задачі СШІ
4. Трирівнева архітектура семантичних мереж
5.Концептуальний граф
6. Навчання нейронів.
7. Записати таблицю істинності для диз’юнкції в логіці Лукасевича.
8. Основні принципи роботи з неточними твердженнями в СШІ.
9. Дати інтерпретацію елементів матриці виграшів (ризиків).
10. Поняття нечіткої множини.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №22
1. Кон’юнктивні та диз’юнктивні нормальні форми і їх використання в логічних виведеннях
2.Фрейми та слоти.
3. Зв’язки між інформаційними одиницями. Узагальнення та агрегація
4.Бінарні предикати і тріада.
5.Алгоритми і квазіалгоритми.
6. Алетичні логіки і їх використання в СШІ.
7. Реалізуйте функцію заперечення за допомогою модельного нейрона
8. Основні аксіоми логіки знання.
9. Міри неточності складного твердження
10. Функція належності до нечіткої множини.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

№23
1.Чи можна дати повне визначення інтелекту і, зокрема ШІ.
2.Квантори існування і узагальнення. Їх використання в логічних системах подання знань
3.Яка потреба в інтелектуалізації комп’ютерних технологій.
4.Константи і функції Сколема.
5.Дані та знання.
6. Виведення при заданні нечітких продукційних правил
7. Принцип роботи модельного нейрона
8. Наведіть основні аксіоми логіки знання.
9. Як задається міра неточності висновку, якщо відомі міра неточності умови і правила виведення
10. Методи оцінки ризиків.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №24
1.Зв’язки інформаційними одиницями типу “Has_Part” і “Is_Part”.
2.Моделі знань в СШІ.
3.Фразова форма запису логічних формул.
4.Фрази Хорна.
5.Фрейми і подання знань в СШІ.
6. Основні операції над нечіткими множинами.
7. Основні принципи навчання нейронів.
8. Функція комбінування свідоцтв.
9. Оцінка прийняття рішення за умов невизначеності.
10. Назвіть самостійні приклади використання СШІ.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №25
1.Усунення імплікацій і тотожностей за допомогою тотожних перетворень. Використання для автоматизації виведення теорем.
2.Що таке псевдофізичні логіки. Їх використання в СШІ
3.Демони і їх значення у фреймових моделях подання знань.
4.Покажіть зв’язок між бінарним фактом, тріадою і елементами концептуального графу.
5.Наведіть приклад використання предикатів для формування бази знань.
6. Встановлення інтервалу невизначеності висновку за відомим коефіцієнтом упевненості продукцій­ного правила і передумови
7. Означення рівності, включення, перетину і об’єднання нечітких множин
8. Охарактеризуйте тризначну логіку Лукасевича.
9. Основи теорії можливостей
10. Теорії ймовірності і міри достовірності.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №26
1. Інтерпретація формул в логіці першого порядку.
2.Позитивні і негативні атомарні формули. Фразова форма логіки предикатів.
3.Подання знань в СШІ
4.Наведіть приклад семантичної мережі.
5.Фрейми і екземпляри фреймів.
6. Методи попередньої обробки зображень
7. Логіка знання. Основні аксіоми.
8. Поняття про неточне логічне виведення.
9. Функція належності до нечіткої множини.
10. Оцінка ризику прийняття рішення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №27
1.Усунення кванторів існування і узагальнення. Як ця процедура використовується в СШІ
2.Фрази Хорна. Правила де Моргана.
3.Основні правила виведення в логіці предикатів.
4.Що таке штучний інтелект?.
5.Назвіть приклади де СШІ продуктивніші за природній інтелект.
6. Навести приклад нечіткого твердження і побудувати відповідну нечітку множину
7. Квантори модальних логік.
8. Кодування зображень
9. Основні поняття теорії можливостей.
10. Комбінування свідоцтв. Використання при неточному логічному виведенні.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №28
1. Фатичний діалог
2. Вербально-дедуктивний підхід до подання знань в СШІ.
3. Семантичні мережі. Тріади і подання знань в семантичних мережах.
4. Предмет ШІ. Сфери застосування СШІ..
5. Проблема винятків.
6. Дати означення нечіткої множини.
7. Інтерпретація коефіцієнтів матриці ризику.
8. Міра неточності складного твердження.
9. Дискретизація (оцифровування) в задачах обробки зображень.
10. Зв’язок кванторів можливості та необхідності.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №29
1. Експертні системи і їх використання.
2. Фреймові моделі
3. Знання і підходи до їх подання.
4. Використання математичної логіки до подання знань і доведення тверджень
5. Екстенсіональна і інтенсіональна частини баз знань.
6. Основи теорії можливостей.
7. Використання основних понять теорії ймовірностей при неточному виведенні.
8. Основні властивості функції належності нечіткої множини.
9. Нечітке логічне виведення.
10. Методи формування первинних ознак зображення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №30
1. Логіка предикатів в СШІ
2. Основні задачі СШІ
3. Бази знань інтелектуальних систем
4. Концептуальний граф
5. Трирівнева архітектура семантичних мереж
6. Нейрони і їх використання.
7. Запишіть твердження «Якщо F є необхідним, то його заперечення є неможливим»
8. Запишіть таблицю істинності для диз’юнкції у логіці Лукасевича.
9. Дайте означення повної групи подій.
10. Запишіть аксіоми логіки знання.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №31
1. Фрейми та слоти.
2. Кон’юнктивні та диз’юнктивні нормальні форми і їх використання в логічних виведеннях
3. Узагальнення та агрегація. Зв’язки між інформаційними одиницями.
4.Бінарні предикати і тріада.
5.Алгоритми і квазіалгоритми.
6. Кодування зображень
7. Записати таблицю істинності для диз’юнкції в логіці Лукасевича.
8. Основні принципи роботи з неточними твердженнями в СШІ.
9. Дати інтерпретацію елементів матриці виграшів (ризиків).
10. Поняття нечіткої множини. Використання для формулювання баз знань СШІ.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №32
1. Яка потреба в інтелектуалізації комп’ютерних технологій.
2. Дані та знання.
3. Чи можна дати повне визначення інтелекту і, зокрема ШІ.
4.Константи і функції Сколема.
5. Квантори існування і узагальнення. Їх використання в логічних системах подання знань
6. Алетичні логіки і їх використання в СШІ.
7. Функція активації нейрона.
8. Основні аксіоми логіки знання.
9. Міри неточності складного твердження
10. Функція належності до нечіткої множини.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №33
1. Фрази Хорна.
2. Фрейми і подання знань в СШІ.
3.Фразова форма запису логічних формул.
4. Зв’язки інформаційними одиницями типу “Has_Part” і “Is_Part”.
5. Моделі знань в СШІ.
6. Виведення при заданні нечітких продукційних правил
7. Записати таблицю істинності для кон’юнкції в логіці Лукасевича.
8. Наведіть основні аксіоми логіки знання.
9. Як задається міра неточності висновку, якщо відомі міра неточності умови і правила виведення
10. Реалізація основних логічних функцій на основі модельного нейрона.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №34
1. Покажіть зв’язок між бінарним фактом, тріадою і елементами концептуального графу.
2. Наведіть приклад використання предикатів для формування бази знань.
3.Демони і їх значення у фреймових моделях подання знань.
4. Усунення імплікацій і тотожностей за допомогою тотожних перетворень. Використання для автоматизації виведення теорем.
5. Що таке псевдофізичні логіки. Їх використання в СШІ
6. Основні операції над нечіткими множинами.
7. Що таке повна група подій.
8. Функція комбінування свідоцтв.
9. Оцінка прийняття рішення за умов невизначеності.
10. Назвіть самостійні приклади використання.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №35
1. Подання знань в СШІ
2.Позитивні і негативні атомарні формули. Фразова форма логіки предикатів.
3. Інтерпретація формул в логіці першого порядку.
4.Наведіть приклад семантичної мережі.
5.Фрейми і екземпляри фреймів.
6. Встановлення інтервалу невизначеності висновку за відомим коефіцієнтом упевненості продукцій­ного правила і передумови
7. Означення рівності, включення, перетину і об’єднання нечітких множин
8. Що таке модальні логіки
9. Основи теорії можливостей
10. Теорії ймовірності і міри достовірності.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Національний університет "Львівська політехніка"

Дисципліна ДКСШІ, КСШІ

Протокол № 1 від 28.08. 11

Білет №36
1. Що таке штучний інтелект?.
2.Фрази Хорна. Правила де Моргана.
3.Основні правила виведення в логіці предикатів.
4. Усунення кванторів існування і узагальнення. Як ця процедура використовується в СШІ
5.Назвіть приклади де СШІ продуктивніші за природній інтелект.
6.Таблиця істинності заперечення у логіці Лукасевича.
7. Логіка знання. Основні аксіоми.
8. Поняття про неточне логічне виведення.
9. Ймовірність подій. Поняття умовної ймовірності.
10. Оцінка ризику прийняття рішення.

Викладач Куриляк Д.Б. Зав. кафедрою Мельник А.О.

Дата добавления: 2015-09-28