Курс предназначен для студентов, специализирующихся в области компьютерных наук, и знакомит их с парадигмой программирования, основанной на логике предикатов, которая отличается от наиболее широко распространенного в современном программировании императивного подхода.
Курс содержит достаточно подробное изложение теоретических основ логического подхода к программированию, а также служит практическим пособием по современным языкам логического программирования – Пролог и Mercury – которые могут использоваться и используются для разработки исследовательских и промышленных систем наряду с более традиционными императивными языками. Наличие систем программирования на этих языках для платформы Microsoft .NET позволяет эффективно применять полученные знания и навыки в промышленных разработках.В курсе также рассматривается использование логического программирования для создания интеллетуальных систем, излагаются основные понятия искусственного интеллекта, такие, как общение на естественном языке, представление знаний, методы эвристического поиска в пространстве состояний и т.д.
Цель: Цель курса – познакомить слушателя с новой парадигмой программирования и соответствующей алгоритмической моделью, дать практические навыки программирования на языках Пролог (P#) и Mercury для платформы Microsoft .NET, познакомить с основными методами решения задач искусственного интеллекта. После изучения первой части курса слушатель должен:
Он должен уметь:
Необходимые знания: Для успешного изучения курса желательно (но не обязательно) предварительное знакомство с некоторыми разделами дискретной математики (логика и исчисление высказываний и предикатов, теория решеток), а также с вычислительной платформой Microsoft .NET.