{'fraction_non_alphanumeric': 0.012403100775193798, 'fraction_numerical': 0.0, 'mean_word_length': 5.65979381443299, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Inductive Logic Programming and Music

First-order logic is one of the most expressive and widely used knowledge representations, and its application to the formalization of musical knowledge raises particularly interesting questions. This paper explores several approaches to learning Horn clauses, an important special case of first-order logic formulas, and provides a representative sample of the issues involved in applying such techniques in a musical context. We then proceed to describe our approach to learning Horn clauses for the harmonization of popular music melodies and their implementation into an automatic harmonization system.