Укажите определение теоремы о достоверности отрицания по конечному неуспеху:

Правильный ответ:

пусть P — логическая программа без отрицаний. Если некоторое утверждение A имеет конечное дерево SLD-резолюции, заканчивающиеся неуспехом, то

пусть P — логическая программа без отрицаний. Если , то существует конечное дерево SLD-резолюции для A, заканчивающееся неуспехом

не выводимо тогда, когда A имеет конечное дерево вывода, заканчивающиеся неуспехом

• # Укажите метод моделирования искусственного интеллекта, основанный на имитации рассуждений и логики человека:
• # Язык логического программирования является:
• # Укажите определение резолюции с выбирающим правилом:
• # Формула находится в конъюнктивной нормальной форме, если:
• # С точки зрения быстродействия удаления элемента из середины: