- •1. Яка потреба в інтелектуалізації комп’ютерних технологій?
- •2. Назвіть кілька відомих інтелектуальних задач. Опишіть їхні спільні риси та відмінності.
- •3. У чому полягає основна проблема при автоматизації логічних побудов?
- •8. Сформулюйте визначення кібернетичної системи.
- •9. Сформулюйте визначення підсистеми. Наведіть приклади.
- •10. Наведіть класифікацію кібернетичних систем.
- •11. До якого типу належать:
- •12. Охарактеризуйте задачу керування складними системами. У чому полягає принципова відмінність у керуванні простими, складними та дуже складними системами?
- •13. Опишіть принцип зворотного зв’язку, наведіть приклади позитивного і негативного зворотнього зв’язку.
- •14. Охарактеризуйте алгоритмічний і декларативний способи керування; наведіть їх формалізований опис.
- •15. Що таке первинні інструкції, чому може виникати необхідність їх поповнення? Наведіть приклади.
- •16. У чому полягає принципова відмінність між поповненням первинних інструкцій за алгоритмічного і декларативного підходів?
- •17. Поясніть, чому реалізація декларативного способу керування пов'язана з втратою визначеності результату.
- •18. Що таке квазіалгоритм; у чому полягає відмінність квазіалгоритмічної процедури від алгоритмічної?
- •19. Охарактеризуйте інтелектуальну систему як самокеровану кібернетичну систему. Яким чином пов'язані найважливіші зворотні зв'язки з прагненням досягти певної мети?
- •20. Що виступає метою інтелектуальної системи при чисто зовнішньому керуванні нею?
- •21. Опишіть типову схему функціонування інтелектуальної системи.
- •22. Чому сприйняття зовнішнього світу інтелектуальною системою повинно бути вибірковим?
- •23. Охарактеризуйте основні риси інтелектуальної системи: самокерованість, наявність знань про світ, здатність досягати мети, здатність планувати свої дії, здатність до поповнення знань.
- •24. Охарактеризуйте біологічний і прагматичний напрями досліджень у галузі штучного інтелекту.
- •25. Дайте загальну характеристику символьного і конекціоністського підходів до створення систем штучного інтелекту.
- •26. Охарактеризуйте вербально-дедуктивний підхід до опису поняття "знання". Чи є він єдино можливим?
- •27. Наведіть інтуїтивне визначення поняття "знання".
- •28. Наведіть вербально-дедуктивне визначення знань. Що означають поняття "факти", "правила виведення" та "процедури" в цьому визначенні?
- •29. Що означають екстенсіональна та інтенсіональна частини бази знань?
- •30. Наведіть визначення експертної системи
- •31. Охарактеризуйте поняття "інформаційна одиниця"
- •32. Які існують зв'язки між інформаційними одиницями?
- •33. Що таке псевдофізичні логіки?
- •34. Охарактеризуйте поняття "агрегація".
- •35. Опишіть поняття "узагальнення".
- •36. Опишіть поняття "клас" та "екземпляр класу".
- •37. Охарактеризуйте принцип логічного виведення за успадкуванням.
- •38. Наведіть власні приклади ієрархії класів.
- •39. Чим відрізняється відношення "екземпляр — клас" від відношення "підклас — клас"?
- •40. Охарактеризуйте відношення "підклас — клас" як відношення часткового порядку.
- •41. Чим відрізняється відношення "екземпляр — клас" від відношення "елемент — множина"?
- •42. Охарактеризуйте проблему винятків. Як вона пов'язана з монотонністю логічного виведення?
- •43. Що таке канонічна форма складної системи (за Бучем)?
- •45.Перелічіть моделі задання знань.
- •46.Перелічіть області знань, характерні для діалогових експертних систем.
- •47.У чому полягає необхідність у виокремленні областей і рівнів знань?
- •48.Опишіть поняття “концептуальна одиниця”.
- •49.Яким чином можна розкласти деякий складний предикат на бінарні предикати?
- •50.Яким чином можна перетворити унарний предикат на бінарний? Наведіть приклади.
- •51.Охарактеризуйте поняття “об’єкт-атрибут-значення”.
- •52.Що означає “постулат замкненості світу” ?
37. Охарактеризуйте принцип логічного виведення за успадкуванням.
Саме з відношенням "Є" пов'язаний один з основних відомих механізмів логічного виведення — механізм виведення за успадкуванням (інша назва — виведення за наслідуванням). Суть цього механізму можна сформулювати так: якщо деяка умова виконується для всього класу, то вона виконується і для кожного представника цього класу, а також для всіх підкласів цього класу (якщо інше не задано явним чином). Інакше кажучи, екземпляри успадковують властивості класів, підкласи успадковують властивості надкласів. В усіх системах керування базами знань повинна бути забезпечена належна підтримка успадкування.
38. Наведіть власні приклади ієрархії класів.
Ієрархія класів задається відношенням узагальнення, ієрархія агрегації — відношенням агрегації.
Дійсно, з одного боку, такі об'єкти, як "ручки", "рами" та інші, утворюють новий об'єкт — "вікно". "Вікна", "двері" тощо не об’єкти, які утворюють новий об'єкт: "аудиторію", Таким чином, можна розглядати певну ієрархію об’єктів. З іншого ж боку, всі ці об’єкти є екземплярами своїх класів. Так, конкретне вікно належить до класу „Вікна”. Клас „Вікна, є підкласом класу "Дерев'яні вироби"...
39. Чим відрізняється відношення "екземпляр — клас" від відношення "підклас — клас"?
"екземпляр — клас". Екземпляри успадковують властивості своїх класів, але сааме відношення "екземпляр — клас" не є транзитивним. Так, якщо "Студент 4-го курсу" є екземпляром класу "повнолітні", а "Андрій" є екземпляром класу "Студент 4-го курсу", то "Андрій " у жодному разі не є екземпляром класу "повнолітні".
40. Охарактеризуйте відношення "підклас — клас" як відношення часткового порядку.
"клас — підклас", є відношенням часткового порядку (як правило, строгого). Відтак, для цього відношення виконуються всі властивості часткового (строгого або нестрогого) порядку, зокрема транзитивність;
41. Чим відрізняється відношення "екземпляр — клас" від відношення "елемент — множина"?
"екземпляр — клас". Екземпляри успадковують властивості своїх класів, але саме відношення "екземпляр — клас" не є транзитивним.Так, якщо "Ластівка " є екземпляром класу "Види, які вивчаються натуралістами", а "Юкко" є екземпляром класу "Ластівка", то "Юкко" у жодному разі не є екземпляром класу "Види, які вивчаються натуралістами " (хоча б тому, що "Юкко " взагалі не є видом).
Множина передбачає певну сукупність об'єктів. З іншого боку, клас характеризує набір властивостей, які мають бути притаманні екземплярам цього класу. Клас об'єднує однотипні елементи, множина — необов'язково.
Варто виокремити такі типи множин:
екстенсіонал класу — множина екземплярів класу; можна розглядати ті чи інші підмножини множини екземплярів класу;
агрегатна множина — множина, яка складається з різнотипних елементів.
Звідси — відношення "елемент — множина" належить до агрегації, і не до узагальнення.