Ети й завдання досліджень по штучному інтелекті.

2. Ознаки знань. Подання знань.

3. Моделі подання знань. Семантичні мережі.

4. Моделі подання знань. Фрейми.

5. Моделі подання знань. Логічна модель.

6. Моделі подання знань. Продукційна модель.

7. Доказ теорем методом резолюцій. Приклад.

8. Вивід на знаннях. Робота механізму логічного виводу.

9. Стратегії керування виводом. . Прямій і зворотний висновок.

10. Стратегії керування виводом. Пошук завширшки й глибину.

11. Поняття предиката. Алфавіт логіки предикатів. Приклади.

12. Правила висновку в логіку предикатів. Введення й видалення кванторів.

13. Правила эквивилентных перетворень у логіку предикатів. Випереджена нормальна форма. Приклад.

14. Скулемовска стандартна форма. Підстановки й уніфікація. Приклади.

15. Основні поняття теорії нечітких безлічей. Нечіткі безлічі й лінгвістичні змінні..

16. Операції з нечіткими знаннями. Метод нечіткої логіки.

17. Операції з нечіткими знаннями. Метод коефіцієнта впевненості.

18. Операції з нечіткими знаннями. Байесовский підхід.

19. Структурна схема ЕС. Функції розроблювачів і режими роботи.

20. Структурна схема ЕС. Етапи розробки ЕС.

21. Принципи побудови й функціонування ПМ-Систем. Компонент розуміння висловлень.

22. Принципи побудови й функціонування ПМ-Систем. Компонент генерації висловлень.

23. Принципи побудови й функціонування ПМ-Систем. Діалоговий компонент.

24. Інтелектуальні питально-відповідні системи.

25. Принципи побудови й функціонування системи мовного спілкування. Аналізатори мови.

26. Принципи побудови й функціонування системи мовного спілкування. Синтезатори мови.

27. Тенденції розвитку систем штучного інтелекту. Мультіагенти й генетичне програмування.

28. Особливості експертних систем реального часу. Структура експертної системи реального часу G2.

29. Бази знань, сутності й ієрархія класів, модулів і робочих просторів ЕС G2.

30. Особливості логічного виводу ЕС G2. Функції планувальника й підсистеми моделювання.

31. Структура Пролог-Програми. Призначення розділів. Приклади.

32. Типи доменів Пролог-Програми. Стандартні домени. Приклади.

33. Визначення предикатів Пролог-Програми. Приклади.

34. Визначення роздягнула пропозицій. Використання змінних у правилах. Приклади.

35. Види запитів Пролог-Програми. Пошук рішень. Уніфікація й відкіт. Приклади.

36. Примусовий відкіт за допомогою предиката fail. Повторення предикатом repeat. Приклади.

37. Відсікання в Пролог-Програмі. Приклади.

38. Рекурсивне завдання предикатів. Приклади.

39. Складені об'єкти даних. Визначення списку. Уведення й вивід списків. Приклади.

40. Динамічні бази даних Пролог-Програми. Опис, додавання фактів, видалення фактів. Приклади.

1. Загальні відомості про CLIPS. Структура програм CLIPS. Приклад.
2. Формати подання даних в CLIPS. Упорядковані та неупорядковані факти. Приклади.
3. Формати подання даних в CLIPS. Факти, приклади.
4. Функції й правила в CLIPS. Приклади.

Задача:Для довільно списку з цілих елементів згідно варіанту завдання розробити Пролог-програму обчислення кількісних характеристик списку. Список ввесті та вивести.

У списку C=( ) визначити добуток P елементiв бiльших нуля i середнє арифметичне S елементiв менших нуля