Аннотация:
Работа посвящена проблеме поиска нот музыкальных произведений, записанных в формате MusicXML. Данный формат является одним из самых распространенных и поддерживается многими программами – нотными редакторами. В большинстве современных поисковых систем имеется возможность искать ноты по названию и автору композиции. В данной работе предлагается подход к решению задачи поиска произведений по нотной записи фрагмента мелодии. Для поиска использованы волновые правила, традиционно применяемые в методах автоматизированного доказательства теорем.
Ключевые слова:поиск нотных записей, методы автоматических рассуждений, волновые правила.