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

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

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

Для добавления файла нужно быть зарегистрированным пользователем. Зарегистрироваться и авторизоваться можно моментально через социальную сеть "ВКонтакте" по кнопке ниже:

Войти через
или

Вы можете зарегистрироваться стандартным методом и авторизоваться по логину и паролю с помощью формы слева.

Не забывайте, что на публикации файлов можно заработать.