Укажите теорему Гёделя о полноте исчисления предикатов:
К какой категории представления знаний относится логика предикатов?
К какой категории представления знаний относятся дескриптивные логики?
Укажите метод моделирования искусственного интеллекта, основанный на имитации рассуждений и логики человека:
Какой из перечисленных ниже языков программирования описывает формальную аксиоматическую систему со свойствами инкапсуляции, наследования и полиморфизма на основе расширения логики первого порядка?
Использование предиката repeat языка программирования Prolog возможно только с:
Укажите алгоритм поиска решения задачи, при котором может быть найден только путь решения без петель:
