Другие журналы
|
научное издание МГТУ им. Н.Э. БауманаНАУКА и ОБРАЗОВАНИЕИздатель ФГБОУ ВПО "МГТУ им. Н.Э. Баумана". Эл № ФС 77 - 48211. ISSN 1994-0408
Учебное пособие "Исчисление предикатов первого порядка в качестве модели представления знаний в системах искусственного интеллекта"
В учебном пособии дается определение формальной системы, описывается исчисление предикатов первого порядка, приводятся примеры "ручного" доказательства теорем, разъясняется понятие интерпретации исчисления предикатов. Рассматривается применение метода резолюции для автоматического доказательства теорем. Публикации с ключевыми словами: искусственный интеллект, исчисление предикатов первого порядка, метод резолюции, интеллектуальная система Публикации со словами: искусственный интеллект, исчисление предикатов первого порядка, метод резолюции, интеллектуальная система Смотри также: Поделиться:
|
|
||||||||||||||||||||||||||||||||
|