СтудИзба » Задачи » Карта задач

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

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