Какая логика вырабатывает методы работы со сложными концептами, рассуждений об их свойствах и выводимости на них, а также может быть использована для построения объяснительной компоненты базы знаний?

Что входит в основные конструкции языка исчисления предикатов первого порядка (L)?

Какое из перечисленных направлений является одним из наиболее сформировавшихся в области искусственного интеллекта, связанных с разработкой формальных языков и программных средств для отображения когнитивных структур?

Какие элементы входят в алгебраическую систему?

В задачах удовлетворения ограничений, что понимается под решением проблемы?

Что из перечисленного НЕ входит в область автоматизации рассуждений?

Какие символы используются в языке исчисления предикатов первого порядка?

Какое утверждение верно относительно терма в языке исчисления предикатов первого порядка?

Какой основной проблемой является "фокусировка поиска" при рассуждениях на основе прецедентов (CBR)?

Какие проблемы являются главными при рассуждениях на основе прецедентов (CBR)?