Исследовательский потенациал молодых ученых: взгляд в будущее - 2017

ХIII Региональная научно-практическая конференция аспирантов, соискателей, молодых ученых и магистрантов 198 мального веса, не образующее цикл с уже добавленными, и включает‐ ся в имеющееся множество ребер. Если таких ребер нет, то алгоритм прекращает работу. Теперь рассмотрим используемые предикаты: • city – ищет минимальное ребро. Если оно найдено, то продол‐ жается поиск ребер, а найденное добавляется к существующим. В про‐ тивном случае, алгоритм завершает работу; • pick_minimum_edge_wo_cycle – выбирает минимальное ребро, не образующее цикла; • less_edge – сравнивает длины ребер; • no_cycle – запускает проверку на отсутствие циклов; • search – реализует поиск в глубину, позволяя определить нали‐ чие циклов в образованном графе. Каждый предикат описывается в виде процедуры языка – сово‐ купности предложений. Каждое предложение представляет собой ли‐ бо факт, либо правило. Правило представляет собой импликацию (:‐) и строится при помощи логических операций конъюнкции (,), дизъ‐ юнкции (;), отрицания (not). На наш взгляд, такое достаточно прозрачное с точки зрения ло‐ гики и вербальных описаний построение выполняет не только свою основную функцию – решает задачу о построении минимального ос‐ товного дерева, – но и служит своеобразным связующим звеном для более глубокого осмысления взаимосвязи программирования с мате‐ матическим моделированием и основаниями математики. Литература 1. Зюзьков, В. М. Логическое программирование: Учеб. пособие/ В. М. Зюзьков.– Томск: Межвуз. центр дистанционного образования, 2005. 2. Чень, Ч. Математическая логика и автоматическое доказатель‐ ство теорем/ Ч. Чень, Р. Ли.– М: Наука, 1983.– С. 358. 3. Братко, И. Алгоритмы искусственного интеллекта на языке Prolog / И. Братко.– М: Вильямс, 2004.