- •Визначити сутність біонічного та програмно-прагматичного напрямків дослідження в галузі штучного інтелекту.
- •У чому принципова різниця методів пізнання – дедукції та індукції?
- •Поняття виводу в численні предикатів. Правило modes ponens.
- •Що таке непрямі методу доказу?
- •Поняття виводу методом резолюцій. Правило резолюції.
- •Пояснить призначення предикатів управління перебором ! та fail.
- •Пояснить механізм роботи Прологу – співставлення з ціллю, зв’язування та звільнення змінних, відкат.
- •Пояснить поняття функтору в Пролозі. Наведіть приклади.
- •Поясніть метод розв’язування завдань рекурсивним способом.
- •Яке призначення секції Прологу – Predicates. Наведіть приклади.
- •Яке призначення секції Прологу – Clauses. Наведіть приклади.
- •Яке призначення секції Прологу – Domains. Наведіть приклади.
- •Опис та операції зі списками в Пролозі.
- •Яка ознака змінних в Пролозі? Що таке анонімні змінні, вільні та зв’язані змінні?
- •Які правила опису фактів та правил в Пролозі?
- •Пояснить сутність семантичної сеті (графа), як моделі знань.
Які правила опису фактів та правил в Пролозі?
У Пролозі зв'язок між об'єктами називається фактом. Факти можуть виражати як властивості, так і відношення.
Правила визначають, які висновки можна зробити з даних фактів.
Факти - це відношення, або ж властивості, про які ви, програміст, знаєте, що вони істинні.
У Пролозі відношення між об'єктами називається фактом (fact). У природній мові ставлення встановлюється у реченні. У логіці предикатів, використовуваної Прологом, ставлення відповідає простої фрази (факту), що складається з імені відносини і об'єкта або об'єктів, укладених в круглі дужки. Як і пропозицію, факт завершується крапкою (.).
Нижче представлено кілька пропозицій на природній мові з відношенням "любить" (likes):
Білл любить собак. (Bill likes dogs) - likes (bill, dogs).
Факти, крім відносин, можуть виражати і властивості. Так, наприклад, речення природної мови "Kermit is green "(Керміт зелений) - green (kermit).
Пояснить сутність семантичної сеті (графа), як моделі знань.
Семантична мережа — інформаційна модель предметної області, що має вигляд орієнтованого графа, вершини якого відповідають об'єктам предметної області, а ребра задають відносини між ними. Об'єктами можуть бути поняття, події, властивості, процеси[1].
Таким чином, семантична мережа є одним із способів представлення знань.
У назві сполучені терміни з двох наук: семантика у мовознавстві вивчає сенс одиниць мови, а мережа в математиці є різновидом графу — набору вершин, сполучених дугами (ребрами). У семантичній мережі роль вершин виконують поняття бази знань, а дуги (причому направлені) задають відношення між ними. Таким чином, семантична мережа відображає семантику предметної області у вигляді понять і відносин між ними.
Графічне представлення
Основною формою представлення семантичної мережі є граф. Поняття семантичної мережі записуються в овалах або прямокутниках і з'єднуються стрілками з підписами — дугами (див. мал.). Це найзручніша форма яка сприймається людиною.[Джерело?] Її недоліки виявляються, коли ми починаємо будувати складніші мережі або намагаємося врахувати особливості природної мови.