Логическое программирование
Шпаргалка
  • формат doc
  • размер 457,15 КБ
  • добавлен 17 сентября 2014 г.
Системы искусственного интеллекта. Программирование в Visual Prolog
Шпаргалка СИИ Системы искусственного интеллекта. Программирование в среде Visual Prolog. ДНУ им Олеся Гончара ФФЭКС группа КС (компьютерные науки) преподаватель Егоров
51 вопрос
Вопросы:
Поняття "штучний інтелект". Тест Тьюрінга.
Залежності, які можуть бути виявлені методами Data Mining їх характеристика.
Методи (засоби) Data Mining. (Стисло опишіть сутність кожного метода).
Основні відмінності баз даних (БД) від баз знань (БЗ).
Етапи розв'язку задачі людиною.
Числення висловлювань. Символи та речення в численні висловлювань.
Числення висловлювань. Визначення значення істинності речення числення висловлювань. Відмінності від числення предикатів.
Числення предикатів. Відмінності від числення висловлювань. Символи числення предикатів. Логічні операції, які використовуються в численні предикатів.
Числення предикатів. Змінні, константи, предикати та функції у численні предикатів.
Числення предикатів. Квантифікація змінних у численні предикатів. Необхідність використання кванторів. Числення предикатів 1-ого порядку.
Числення предикатів. Атомарні речення числення предикатів.
Числення предикатів. Визначення інтерпретація І в області визначення .
Числення предикатів. Визначення значення істинності виразу числення предикатів.
Числення предикатів. Поняття ''логічно слідує", "задовольняє", "модель", "адекватність".
Числення предикатів. Правила виводу модус поненс, модус толленс, виключення І, введення І, універсальне інстанціювання.
Числення предикатів. Поняття уніфікації. Необхідність використання уніфікації.
Числення предикатів. Застосування підстановки для змінних, зв'язаних кванторами, в процесі уніфікації.
Числення предикатів. Обмеження при застосуванні підстановок під час уніфікації.
Числення предикатів. Композиція підстановок. Приклад.
Числення предикатів. Найбільш загальний уніфікатор. Необхідність пошуку найбільш загального уніфікатору.
Числення предикатів. Приклад уніфікації.
Семантичні мережі. Приклад семантичної мережі.
Поняття "концептуальний граф". Відмінності концептуальних графів від семантичних мереж. Приклад концептуального графу.
Концепт графи. Відмінності імені екземпляру концепт-ного графу від його маркеру. Позначення маркерів в концептуальних графах.
Концеп графи. Ієрархія типів в концепту графі.
Концепт графи. Операції по створенню нових концеп графів. Приклади використ операцій.
Концептуальні графи. Пропозиційні вузли. Приклад.
Концептуальні графи. Алгоритм подання концептуального графу за допомогою числення предикатів.
Семантичні мережі. Приклад подання семантичної мережі мовою Пролог.
Сценарії. Компоненти сценарію.
Сценарії. Приклад опису ситуації за доп сц.
Фрейми. Вміст полів фрейму.
Фрейми. Приклад використання фрейму.
Фрейми. Приклад подання фрейму мовою Пролог.
Продукційні системи. Визначення та структура.
Продукційні системи. Принцип їхньої дії. Класифікація ядер продукції.
Продукційні системи. Комутативні Продукційні системи, їх властивості.
Продукційні системи. Некомутативні Продукційні системи. Стратегії керування послідовністю вибору правил.
Продукційні системи. Переваги та недоліки продукційних систем.
Мова Пролог. Використання опису типів предикатів у розділі DOMAINS мови Пролог. Приклад.
Мова Пролог. Типи пред на Прол, різн між ними.
Мова Пролог. Введення виведення даних. Робота з файлами. Приклад.
Експертні системи. Список задач, які можуть бути розв'язані за допомогою експертних систем.
Експертні системи. Архітектура типової експертної системи. Призначення компонентів.
Експертні системи. Критерії виправданості застосування експертної системи.
Експертні системи. Цикл розробки експертної сис.
Експі сис-ми на основі правил. Переваги та нед.
Експі сис-ми на основі моделей.Переваги та нед.
Експі си-ми на основі досвіду. Переваги та нед.
Експертні системи реального часу, їх властивості.
Експертні системи реального часу, їх архітектура