Журнал «Современная Наука»

Логическое программирование решателей для локальных геометрических задач

Новиков Павел Владимирович (к.т.н., доцент каф. «Вычислительные машины, системы и сети» МАИ Московский авиационный институт (национальный исследовательский университет))

В статье вводится понятие локальной геометрической задачи с позиции клаузальной формы логики. Исследуются возможности логического программирования решателей этих локальных геометрических задач. Показаны особенности программирования симметричных бинарных отношений и транзитивных геометрических свойств на ПРОЛОГе. Созданы доменные типы и предикаты для реализации основных понятий геометрии. Изучается работа различных решателей локальных геометрических задач.

Ключевые слова:локальная геометрическая задача, логическая программа, бинарные отношения, транзитивные геометрические свойства, решатель задачи

Читать полный текст статьи …

Ссылка для цитирования:
Новиков П. В. Логическое программирование решателей для локальных геометрических задач // Современная наука: актуальные проблемы теории и практики. Серия: Естественные и Технические Науки. -2022. -№10. -С. 91-98 DOI 10.37882/2223-2966.2022.10.23

ПРАВОВАЯ ИНФОРМАЦИЯ:
Перепечатка материалов допускается только в некоммерческих целях со ссылкой на оригинал публикации. Охраняется законами РФ. Любые нарушения закона преследуются в судебном порядке.
© ООО "Научные технологии"