сайт РГГУ
 


Curriculum


Высшее университетское образование


Постдипломное образование


Довузовское образование

 
 
 
2845847 посетителей

 
arrow Высшее университетское образование arrow Логика arrow Дополнительные главы интеллектуальных систем
Дополнительные главы интеллектуальных систем print E-mail

Д.П. Скворцов

Цель курса - развить посредством применения средств математической логики ряд важных разделов теории интеллектуальных систем. Прежде всего в курсе рассматриваются проблемы формализации рассуждений: различные варианты построения немонотонных логик, используемых для решения проблем искусственного интеллекта. В этой связи рассматриваются правила "по умолчанию", модальные и многозначные логики. В курсе излагаются логико-математические средства представления знаний в интеллектуальных системах, в том числе относящихся к формализациям ситуаций с неполной информацией. В последнем разделе курса дается изложение ДСМ-метода автоматического порождения гипотез как дедуктивной имитации правдоподобных рассуждений. В этом разделе доказываются теоремы, выражающие корректность ДСМ-метода. В курсе предусмотрено сочетание лекционных и семинарских занятий с самостоятельной работой студентов по построению примеров формализации рассуждений, представления знаний и процедур автоматического порождения гипотез.


СПЕЦИАЛЬНОСТЬ - Интеллектуальные системы в гуманитарной сфере


КАФЕДРА математики, логики и интеллектуальных систем в гуманитарной сфере

Вернуться к списку