Карта задач: Экзаменационные вопросы


Задача
Предмет ИИ (Искусственный интеллект). Области
Представление задач в пространстве
Сведение задач к
Исчисление высказываний. Словарь и
Семантика исчислений
Правильно построенные формулы. Выполнимость и общезначимость. Принципы
Алгебраический подход к логическим формулам.
Конъюнктивная и дизъюнктивная нормальная
Принцип резолюции в исчислении
Исчисление предикатов. Словарь и
Семантика исчисления
Общезначимость и выполнимость формул исчисления предикатов. Логическое
Приведение к конъюнктивной и нормальной форме. Сколемовские
Универсум Эрбрана. Эрбрановская
Построение семантического дерева. Вершины
Метод резолюции в исчислении
Применение предикатов к решению
Применение метода резолюций в пространстве состояний
Методы полного перебора на
Эвристический




Чтобы не видеть здесь видео-рекламу достаточно стать зарегистрированным пользователем.
Чтобы не видеть никакую рекламу на сайте, нужно стать VIP-пользователем.
Это можно сделать совершенно бесплатно. Читайте подробности тут.