Automatic Music Composition using Answer Set Programming
Georg Boenn, Martin Brain, Marina De Vos, John ffitch

TL;DR
This paper presents ANTON, an answer set programming-based system for automated music composition, error diagnosis, and real-time interactive composition, offering a flexible and expressive tool for both composition and live performance contexts.
Contribution
It introduces a novel application of answer set programming for integrated melodic, harmonic, and rhythmic composition, error diagnosis, and live performance support.
Findings
ANTON can compose music in real-time for live performances.
The system effectively diagnoses errors in human compositions.
ANTON is more versatile and simpler than previous systems.
Abstract
Music composition used to be a pen and paper activity. These these days music is often composed with the aid of computer software, even to the point where the computer compose parts of the score autonomously. The composition of most styles of music is governed by rules. We show that by approaching the automation, analysis and verification of composition as a knowledge representation task and formalising these rules in a suitable logical language, powerful and expressive intelligent composition tools can be easily built. This application paper describes the use of answer set programming to construct an automated system, named ANTON, that can compose melodic, harmonic and rhythmic music, diagnose errors in human compositions and serve as a computer-aided composition tool. The combination of harmonic, rhythmic and melodic composition in a single framework makes ANTON unique in the growing…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Semantic Web and Ontologies · Multi-Agent Systems and Negotiation
