
- •4.1. Знання і деякі підходи до їх подання
- •4.2. Вербально-дедуктивне визначення знань
- •4.3. Експертні системи
- •4.4. Дані та знання
- •4.5. Зв'язки між інформаційними одиницями
- •4.6. Проблема винятків
- •4.7. Властивості знань
- •4.8. Неоднорідність знань. Області і рівні знань
- •4.9. База знань як об'єднання простіших одиниць
- •4.10. Бінарні предикати і тріада
- •4.11. Проблема неточних і неповних знань
- •5Л. Визначення та класифікація семантичних мереж
- •5.2. Семантичні мережі в пам'ті людини
- •5.3. Трирівнева архітектура семантичних мереж
- •5.4. Асиміляція нових знань на основі семантичних мереж
- •5.5. Різні способи задання семантичних мереж
- •5.6. Логічне виведення на семантичних мережах
- •5.7. Процедурні і роздалені семантичні мережі
- •Фрейми та слоти: базові поняття
- •Конкретизація, ієрархія та наслідуваніїя фреймів
- •6.3. Поповнення первинних описів на основі фреймових моделей
- •0.10 * (Кількість_уроків - 1)), (Коли, _ ), (Хто,_),
- •0.10 * (Кількість_уроків - 1)), (Коли, вчора), (Хто, Петро),
- •6.4. Мережі подібностей і відмінностей
- •6.5. Фрейми та об'єктно-орієнтоване програмування
- •6.6. Поняття про мову uml
- •7Л. Логічні побудови та логічні моделі
- •7.2. Короткий вступ до числення предикатів
- •7.3. Фразова форма запису логічних формул
- •7.4. Аналіз і доведення теорем
- •7.5. Побудова теорії певної області знань
- •7.6. Від формальної логіки до логічного програмування
- •Будь-який терм зіставляється сам з собою. Наприклад, дві фрази
- •Різні константи не зіставляються одна з одною, тому фрази
- •Змінна може бути замінена константою або іншим термом. Так, фрази
- •7.7. Мова Пролог і логічне програмування
- •7.8. Основні ідеї Прологу
- •7.9. Як працює Пролог
- •8.1. Характеристика продукіцйиих моделей
- •8.2. Продукції та мережі виведення
- •8.3. Типова схема роботи експертної системи на базі продукцій
- •8.4. Пряме та зворотне виведення
- •8.5. Типові дисципліїш виконання продукцій
- •8.6. Основні стратегії вирішешія конфліктів у продукіцйііих системах
6.6. Поняття про мову uml
Мова UML, розроблена Г. Бучем, Дж. Рамбо та А. Джекобсо- ном, є мовою семантичного моделювання предметних областей та подальшого проектування відповідних програмних засобів. В основі цієї мови лежить об'єктно-орієнтований аналіз, тобто виокремлення класів та опис їх характеристик і взаємозв'язків між ними. У 1997 р. ця мова була прийнята консорціумом OMG (Object Management Group) як стандарт.
Основним елементом опису предметної області на основі UML є діаграма класів, яка, в свою чергу, виступає описом класів і відношень між ними. У мові UML визначені формалізовані правила такого опису. Діаграма класів може бути легко реалізована в об'єктно-орієнтованих мовах програмування.
Згідно з авторським описом [32] у мові UML визначено такі основні типи відношень між класами: залежність, узагальнення, асоціація.
Асоціація описує структурні взаємозв'язки між класами. Важливим частковим випадком асоціації є агрегація.
Узагальнення реалізується відношенням "Є" (клас-підклас).
Залежність є відношенням, яке описує вплив однієї сутності щодо іншої.
Діаграми об'єктів дозволяють моделювати екземпляри сутностей, що описуються діаграмами класів.
Крім діаграм класів та об'єктів, в UML визначено ряд інших елементів, опис яких можна знайти в [32].
КОНТРОЛЬНІ ЗАПИТАННЯ
Охарактеризуйте визначення фрейма як структури даних для опису певного поняття.
Що означає мінімальність опису у визначенні фрейму, що було дано М. Мінським?
Яким чином можна описати об'єкт на основі фреймової моделі?
Яким чином описи конкретних об'єктів утворюються з описів відповідних фреймів?
Опишіть схему поповнення первинних описів на основі фреймових моделей.
Що таке приєднана процедура?
Що таке демон?
Що таке мережі подібностей і відмінностей? Опишіть їх можливі застосування.
9. У чому полягає зв'язок між семантичними мережами і фреймами?
Що таке сценарій?
Опишіть послідовність подій з деякої предметної області у вигляді сценарію, що залежить від ролей і змінних.
Поясніть зв'язок між фреймовими моделями та об'єктно-орієнтовани- ми моделюванням і програмуванням.
Дайте визначення об'єкта та класу за Г. Бучем.
Перелічіть та охарактеризуйте основні властивості об'єктів і класів.
Дайте загальну характеристику мови UML.
Що таке діаграма класів?
Перелічіть основні відношення між класами, визначені в UML. ТЕМИ ДЛЯ ОБГОВОРЕННЯ
Чому фреймові структури відіграють важливу роль у розумінні, зокрема текстів?
Яким чином відношення узагальнення, асоціації та залежності можуть бути реалізовані в конкретних мовах програмування?
Розділ 7
ЛОГТЧНІ МОДЕЛІ ТА МЕТОД РЕЗОЛЮЦІЙ
— Підемо шляхом логіки...
— Підемо разом...
З кінофільму "Іронія долі, або З легким паром!"