Решение задач логико-предметного распознавания образов с использованием тактик обратного метода Маслова

Н.Д. Петухова, Т.М. Косовская

Результат исследований: Научные публикации в периодических изданияхстатья

Аннотация

Статья посвящена модификации Обратного метода Маслова для особой формы предикатных формул, используемых для решения задач искусственного интеллекта, допускающих формализацию средствами исчисления предикатов. Приведен и обоснован алгоритм доказательства выводимости формул особого типа, основанный на обратном методе. Получены оценки числа шагов работы этого алгоритма. Рассмотрен пример применения алгоритма для выделения и распознавания заданного объекта из составного.
Язык оригиналарусский
Страницы (с-по)9-20
ЖурналКОМПЬЮТЕРНЫЕ ИНСТРУМЕНТЫ В ОБРАЗОВАНИИ
Номер выпуска3
СостояниеОпубликовано - 2014

Ключевые слова

  • искусственный интеллект логико-предметное распознавание образов исчисление предикатов обратный метод Маслова

Цитировать